29.07.2010

Succinct Discrete Time Approximations of Distributed Hybrid Automata

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

13.07.2010

Model-based Safety Analysis for Timed Systems

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

24.06.2010

Timing Analysis and Optimizations of Embedded Software

Prof. Abhik Roychoudhury (Associate Professor of Computer Science, National University of Singapore)[mehr]