Abstract is missing.
- Modular Performance Analysis of Distributed Embedded SystemsLothar Thiele. 1 [doi]
- Real Time Temporal Logic: Past, Present, FutureOded Maler, Dejan Nickovic, Amir Pnueli. 2-16 [doi]
- Translating Timed I/O Automata Specifications for Theorem Proving in PVSHongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra. 17-31 [doi]
- Specification and Refinement of Soft Real-Time Requirements Using Sequence DiagramsAtle Refsdal, Knut Eilif Husa, Ketil Stølen. 32-48 [doi]
- On Optimal Timed StrategiesThomas Brihaye, Véronique Bruyère, Jean-François Raskin. 49-64 [doi]
- Average Reward Timed GamesB. Thomas Adler, Luca de Alfaro, Marco Faella. 65-80 [doi]
- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded LivenessGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. 81-94 [doi]
- Verification of Parameterized Timed SystemsParosh Aziz Abdulla. 95-97 [doi]
- Model Checking the Time to Reach AgreementMartijn Hendriks. 98-111 [doi]
- Diagonal Constraints in Timed Automata: Forward Analysis of Timed SystemsPatricia Bouyer, François Laroussinie, Pierre-Alain Reynier. 112-126 [doi]
- A New Verification Procedure for Partially Clairvoyant SchedulingK. Subramani, Dejan Desovski. 127-141 [doi]
- Timing Analysis and Simulation Tools for Real-Time ControlKarl-Erik Årzén. 142-143 [doi]
- Automatic Rectangular Refinement of Affine Hybrid SystemsLaurent Doyen, Thomas A. Henzinger, Jean-François Raskin. 144-161 [doi]
- Reachability Problems on Extended O-Minimal Hybrid AutomataRaffaella Gentilini. 162-176 [doi]
- Counterexamples for Timed Probabilistic ReachabilityHusain Aljazzar, Holger Hermanns, Stefan Leue. 177-195 [doi]
- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri NetsThomas Chatain, Claude Jard. 196-210 [doi]
- Comparison of the Expressiveness of Timed Automata and Time Petri NetsBéatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux. 211-225 [doi]
- Quantifying Similarities Between Timed SystemsThomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu. 226-241 [doi]
- Performance of Pipelined Asynchronous SystemsFlavio Corradini, Walter Vogler. 242-257 [doi]
- Is Timed Branching Bisimilarity an Equivalence Indeed?Wan Fokkink, Jun Pang, Anton Wijs. 258-272 [doi]
- Implementation of Timed Automata: An Issue of Semantics or Modeling?Karine Altisen, Stavros Tripakis. 273-288 [doi]
- Timed Abstract Non-interferenceRoberto Giacobazzi, Isabella Mastroeni. 289-303 [doi]