@article{Philippou-Lee-Sokolsky/12,
AUTHOR = {Philippou, Anna and Lee, Insup and Sokolsky, Oleg},
TITLE = {PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {2-20},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {real-time process algebra, compositional schedulability analysis, resource demand and resource supply, hierarchical scheduling},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511007134},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cerny-Henzinger-Radhakrishna/12,
AUTHOR = {{\v{C}}ern{\'y}, Pavol and Henzinger, Thomas A. and Radhakrishna, Arjun},
TITLE = {Simulation distances},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {21-35},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {simulation, quantitative analysis, games},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511006633},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Katoen-van_de_Pol-Stoelinga-Timmer/12,
AUTHOR = {Katoen, Joost-Pieter and van de Pol, Jaco and Stoelinga, Mari{\"e}lle and Timmer, Mark},
TITLE = {A linear process-algebraic format with data for probabilistic automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {36-57},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {probabilistic process algebra, linearisation, data-dependent probabilistic choice, symbolic transformations, state space reduction},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511006311},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Andova-Georgievska-Trcka/12,
AUTHOR = {Andova, Suzana and Georgievska, Sonja and Tr{\v{c}}ka, Nikola},
TITLE = {Branching bisimulation congruence for probabilistic systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {58-72},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {branching bisimulation, probabilistic-nondeterministic systems, parallel composition, pctl, process algebra},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751100630X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alessandro/12,
AUTHOR = {Alessandro, Aldini},
TITLE = {Approximating Markovian testing equivalence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {73-86},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {markovian testing equivalence, process algebra, approximate equivalence},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511006293},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Heidarian-Schmaltz-Vaandrager/12,
AUTHOR = {Heidarian, Faranak and Schmaltz, Julien and Vaandrager, Frits},
TITLE = {Analysis of a clock synchronization protocol for wireless sensor networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {87-105},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {industrial application of formal methods, clock synchronization algorithms, timed automata, model checking, theorem proving, wireless sensor networks},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511006281},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hayden-Stefanek-Bradley/12,
AUTHOR = {Hayden, Richard A. and Stefanek, Anton and Bradley, Jeremy T.},
TITLE = {Fluid computation of passage-time distributions in large Markov models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {106-141},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {fluid approximation, passage-time distribution, stochastic process algebra, service level agreement, scalability analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751100627X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Albert-Arenas-Genaim-Puebla-Zanardini/12,
AUTHOR = {Albert, Elvira and Arenas, Puri and Genaim, Samir and Puebla, German and Zanardini, Damiano},
TITLE = {Cost analysis of object-oriented bytecode programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {142-159},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {cost analysis, resource usage analysis, bytecode languages, static analysis, quantitative analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511006190},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bianco-Faella-Mogavero-Murano/12,
AUTHOR = {Bianco, Alessandro and Faella, Marco and Mogavero, Fabio and Murano, Aniello},
TITLE = {Quantitatively fair scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {413},
NUMBER = {1},
PAGES = {160-175},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {fairness, polynomial algorithm, game, scheduling, edge-colored graphs, linear programming},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511005561},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}