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