## Marco Bernardo, Flavio Corradini

*Advanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems*

SFM-RT, 2004.

@proceedings{SFM-2004,
address = "Bertinoro, Italy",
editor = "Marco Bernardo and Flavio Corradini",
isbn = "3-540-23068-8",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Advanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems}",
volume = 3185,
year = 2004,
}

### Contents (9 items)

- SFM-2004-AlurM #automaton #overview #problem
- Decision Problems for Timed Automata: A Survey (RA, PM), pp. 1–24.
- SFM-2004-BihlerV #performance #petri net
- Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
- SFM-2004-BaetenR #algebra #process #termination
- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) (JCMB, MAR), pp. 59–97.
- SFM-2004-CacciagranoC
- Expressiveness of Timed Events and Timed Languages (DC, FC), pp. 98–131.
- SFM-2004-Bravetti #probability #realtime
- Real Time and Stochastic Time (MB), pp. 132–180.
- SFM-2004-Selic #on the #semantics #standard #uml
- On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
- SFM-2004-BehrmannDL #tutorial
- A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.
- SFM-2004-BozgaGOOS #tool support
- The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
- SFM-2004-KatoenBKH #analysis #embedded
- Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.