Abstract is missing.
- On the Semantics of Group CommunicationFlaviu Cristian. 1-21
- Unifying Verification ParadigmsNatarajan Shankar. 22-39
- Formal Methods for Early Fault DetectionGerard J. Holzmann. 40-54
- Retiming Techniques for StatechartsAndrea Maggiolo-Schettini, Adriano Peron. 55-71
- Compiling ARGOS into Boolean EquationsFlorence Maraninchi, Nicolas Halbwachs. 72-89
- Real-Time Mode-MachinesStephen Paynter. 90-109
- A Calculus for Timed AutomataPedro R. D Argenio, Ed Brinksma. 110-129
- Minimizable Timed AutomataJan Springintveld, Frits W. Vaandrager. 130-147
- Weak Chop Inverses and Liveness in Mean-Value CalculusParitosh K. Pandya. 148-167
- Synthesizing Controllers from Duration CalculusMartin Fränzle. 168-187
- Sampling Semantics of Duration CalculusDang Van Hung, Phan Hong Giang. 188-207
- The Production Cell: A Verified Real-Time SystemHenning Dierks. 208-227
- Verification-Driven Development of a Collision-Avoidance Protocol for the EthernetKonsta Karsisto, Antti Valmari. 228-245
- Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time ApplicationAnnie Choquet, Dominique Geniet, Francis Cottet. 246-262
- Scheduling Data Flow Programs in Hard Real-Time EnvironmentsRenzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini. 263-278
- Dynamic Scheduling in the Presence of Faults: Specification and VerificationTomasz Janowski, Mathai Joseph. 279-297
- Efficient Broadcasting on Faulty Star NetworksAohan Mei, Yoshihide Igarashi, Naoki Shimizu. 298-305
- Model-Checking for Extended Timed Temporal LogicsAhmed Bouajjani, Yassine Lakhnech, Sergio Yovine. 306-326
- Partial Orders and Verification of Real-Time systemsFlorence Pagani. 327-346
- Toward a Modal Theory of Types for the pi-CalculusRoberto M. Amadio, Mads Dam. 347-365
- Graphical Formalization of Real-Time RequirementsCheryl Dietz. 366-384
- On Specifying Real-Time Systems in a Causality-Based SettingJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. 385-404
- Verification of Embedded Systems Using Synchronous ObserversMartin Westhead, Simin Nadjm-Tehrani. 405-419
- Compositionality in Real-Time Shared Variable ConcurrencyFrank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst. 420-439
- Formal Analysis of a Real-Time Kernel SpecificationSimon Fowler, Andy J. Wellings. 440-458
- Mona: Decidable Arithmetic in PracticeMorten Biehl, Nils Klarlund, Theis Rauhe. 459-462
- Verifying Synchronous Reactive Systems Programmed in ESTERELAmar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma. 463-466
- AutoFocus: A Tool for Distributed Systems SpecificationFranz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies. 467-470
- A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and SynthesisRajesh K. Bawa, Emmanuelle Encrenaz. 471-474
- EVGC: A Tool for Visualizing LOTOS Behavioural SpecificationsMario Marrero, Álvaro Suárez. 475-478