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,
}

Event page: http://www.sti.uniurb.it/events/sfm04rt/

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.