03.08.2010

Energy-Efficient Streaming Using Non-Volatile Memory

Dr. Mohammed G. Khatib (University of Twente, NL) [mehr]

02.08.2010

State-based Real-time Communication Scheduling

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

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]