INGI Fall 2011 Doctoral School Day on Software Engineering and Programming Systems - November 29, 2011
Programme of the day
09:00–10:00 Measuring and mining evolution of software projects. Alexander Serebrenik (Assistant Professor, TU Eindhoven, NL)
10:15–11:15 Clara: Proving safety and security properties by evaluating runtime monitors ahead of time. 
Eric Bodden (Research Group Leader, European Center for Security and Privacy by Design, DE)
11:30–12:30 High-level Abstractions for Instrumentation-based Dynamic Program Analysis . Walter Binder (Assistant Professor, University of Lugano, CH)
12:30–14:00 Lunch
14:00–15:00 Adopting MDE to support the evolution of component-based FOSS systems. Davide Di Ruscio (Assistant Professor, University of L'Aquila, IT)
15:15–16:15 Statistical Model Checking: An Overview. Axel Legay (Post-doctoral researcher, IRISA/INRIA Rennes, FR)
16:30–17:30 Maintaining Source Code Quality: Tools and Techniques. Andy Kellens (Post-doctoral researcher, Vrije Universiteit Brussel, BE)
Video broadcast
