Abstract is missing.
- UPPAAL Implementation SecretsGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. 3-22 [doi]
- Software Hazard and Safety AnalysisJohn A. McDermid. 23-36 [doi]
- Real-Time Operating Systems: Problems and Novel SolutionsGiorgio C. Buttazzo. 37-52 [doi]
- Real-Time UMLBruce Powel Douglass. 53-70 [doi]
- Eager Class Initialization for JavaDexter Kozen, Matthew Stillerman. 71-80 [doi]
- Applications of Formal Methods in BiologyAmir Pnueli. 81-82 [doi]
- An Overview of Formal Verification for the Time-Triggered ArchitectureJohn M. Rushby. 83-106 [doi]
- Scheduler Modeling Based on the Controller Synthesis ParadigmJoseph Sifakis. 107-110 [doi]
- Component-Based Synthesis of Dependable Embedded SoftwareArshad Jhumka, Martin Hiller, Neeraj Suri. 111-128 [doi]
- From the Specification to the Scheduling of Time-Dependent SystemsChristophe Lohr, Jean-Pierre Courtiat. 129-146 [doi]
- On Control with Bounded Computational ResourcesOded Maler, Bruce H. Krogh, Moez Mahfoudh. 147-164 [doi]
- Decidability of Safety Properties of Timed Multiset RewritingMitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya. 165-184 [doi]
- Extending Timed Automaton and Real-Time Logic to Many-Valued ReasoningAna Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo. 185-204 [doi]
- Fault Diagnosis for Timed AutomataStavros Tripakis. 205-224 [doi]
- Verification of Timed Automata via Satisfiability CheckingPeter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain. 225-244 [doi]
- Take It NP-Easy: Bounded Model Construction for Duration CalculusMartin Fränzle. 245-264 [doi]
- Towards Bounded Model Checking for the Universal Fragment of TCTLWojciech Penczek, Bozena Wozna, Andrzej Zbrzezny. 265-290 [doi]
- A Typed Interrupt CalculusJens Palsberg, Di Ma. 291-310 [doi]
- Parametric Verification of a Group Membership AlgorithmAhmed Bouajjani, Agathe Merceron. 311-330 [doi]
- A Method for Testing the Conformance of Real Time SystemsAhmed Khoumsi. 331-354 [doi]
- A Probabilistic Extension of UML StatechartsDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen. 355-374 [doi]
- Eliminating Queues from RT UML Model RepresentationsWerner Damm, Bengt Jonsson. 375-394 [doi]
- Model Checking - Timed UML State Machines and CollaborationsAlexander Knapp, Stephan Merz, Christopher Rauh. 395-416 [doi]
- Partial Order Path Technique for Checking Parallel Timed AutomataJianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng. 417-432 [doi]
- Constructing Test Automata from Graphical Real-Time RequirementsHenning Dierks, Marc Lettrari. 433-454 [doi]