Abstract is missing.
- Some Recent Results in Metric Temporal LogicJoël Ouaknine, James Worrell. 1-13 [doi]
- Composing Web Services in an Open World: Issues of Quality of ServiceAlbert Benveniste. 14 [doi]
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri NetsJirí Srba. 15-32 [doi]
- Infinite Runs in Weighted Timed Automata with Energy ConstraintsPatricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba. 33-47 [doi]
- Concavely-Priced Timed AutomataMarcin Jurdzinski, Ashutosh Trivedi. 48-62 [doi]
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong ResetsPatricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski. 63-77 [doi]
- Timed Automata with Integer Resets: Language Inclusion and ExpressivenessP. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa. 78-92 [doi]
- Complexity of Metric Temporal Logics with Counting and the Pnueli ModalitiesAlexander Rabinovich. 93-108 [doi]
- MTL with Bounded Variability: Decidability and ComplexityCarlo A. Furia, Matteo Rossi. 109-123 [doi]
- Timed Parity Games: Complexity and RobustnessKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu. 124-140 [doi]
- On Scheduling Policies for Streams of Structured JobsAldric Degorre, Oded Maler. 141-154 [doi]
- A Framework for Distributing Real-Time FunctionsFrédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu. 155-169 [doi]
- Formal Modeling and Scheduling of Datapaths of Digital Document PrintersGeorgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers. 170-187 [doi]
- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing NetworksAnne Remke, Boudewijn R. Haverkort. 188-202 [doi]
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov ChainsJoost-Pieter Katoen, Alexandru Mereacre. 203-217 [doi]
- Convergence Verification: From Shared Memory to Partially Synchronous SystemsK. Mani Chandy, Sayan Mitra, Concetta Pilotto. 218-232 [doi]
- Compositional Abstraction in Real-Time Model CheckingJasper Berendsen, Frits W. Vaandrager. 233-249 [doi]
- On Conformance Testing for Timed SystemsJulien Schmaltz, Jan Tretmans. 250-264 [doi]
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability GraphsHanifa Boucheneb, Kamel Barkaoui. 265-279 [doi]
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class GraphLouis-Marie Traonouez, Didier Lime, Olivier H. Roux. 280-294 [doi]