SFM 2004: Bertinoro, Italy

Marco Bernardo, Flavio Corradini (Eds.): Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185 Springer 2004, ISBN 3-540-23068-8 BibTeX

Models and Languages

Rajeev Alur, P. Madhusudan:
Decision Problems for Timed Automata: A Survey. 1-24
Electronic Edition (link) BibTeX
Elmar Bihler, Walter Vogler:
Timed Petri Nets: Efficiency of Asynchronous Systems. 25-58
Electronic Edition (link) BibTeX
Jos C. M. Baeten, Michel A. Reniers:
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). 59-97
Electronic Edition (link) BibTeX
Diletta Cacciagrano, Flavio Corradini:
Expressiveness of Timed Events and Timed Languages. 98-131
Electronic Edition (link) BibTeX
Mario Bravetti:
Real Time and Stochastic Time. 132-180
Electronic Edition (link) BibTeX
Bran Selic:
On the Semantic Foundations of Standard UML 2.0. 181-199
Electronic Edition (link) BibTeX

Tools and Applications

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen:
A Tutorial on Uppaal. 200-236
Electronic Edition (link) BibTeX
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. 237-267
Electronic Edition (link) BibTeX
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns:
Embedded Software Analysis with MOTOR. 268-294
Electronic Edition (link) BibTeX