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

Models and Languages

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

Tools and Applications

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

Last update Sat May 18 15:32:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page