02.08.2010

State-based Real-time Communication Scheduling

Prof. Sebastian Fischmeister (Department of Electrical and Computer Engineering, University of Waterloo, Canada) [more]

29.07.2010

Succinct Discrete Time Approximations of Distributed Hybrid Automata

Prof. P.S. Thiagarajan (Department of Computer Science, National University of Singapore)[more]

13.07.2010

Model-based Safety Analysis for Timed Systems

Dr. K.C. Shashidhar (Fraunhofer Institute for Experimental Software Engineering IESE, Kaiserslautern) [more]