Samanta Roopsha

Robustness Analysis of Networked Systems
Wednesday, January 30, 2013 at 16:00

Javier Esparza

Parameterized Verification of Asynchronous Shared-Memory Systems

Alexander Pretschner

Model-Based Security Testing: From Models to the Real World
Thursday, January 17, 2013 at 17:00