Home
Lectures
Notes
Application Form
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
With a click on the button above, your browser will establish a connection to Facebook.
See the Impressum for more information.
|
Patrice Godefroid
Microsoft Research, Redmond
USA
Talk: Software Model Checking via Software Testing (abstract)
|
Orna Grumberg
TECHNION, Israel Institute of Technology
Israel
Talk: SAT-Based Model Checking: Interpolation, IC3 and Beyond (abstract)
|
Sumit Gulwani
Microsoft Research, Redmond
USA
Talk: Program Synthesis (abstract)
|
Gerwin Klein
The University of New South Wales, Sydney
Australia
Talk: Interactive Proof: Applications to Data Flow Analysis and Security (abstract)
|
Marta Kwiatkowska
Oxford University
United Kingdom
Talk: Probabilistic Model Checking for Biology (abstract)
|
Ralf Küsters
Universität Trier
Germany
Talk: E-Voting Systems (abstract)
|
Rupak Majumdar
Max Planck Institute for Software Systems, Kaiserslautern
Germany
Talk: Infinite State Model Checking (abstract)
|
Sharad Malik
Princeton University
USA
Talk: Boolean Satisfiability: Solvers and Extensions (abstract)
Material: material from 2011
Exercises: (exercise / solution)
|
Tobias Nipkow
Technische Universität München
Germany
Talk: Interactive Proof: Hands-on Introduction (abstract)
|
David Sands
Chalmers University of Technology, Gothenburg
Sweden
Talk: Software Security by Information Flow Control (abstract)
|
Helmut Seidl
Technische Universität München
Germany
Talk: A General Infra-structure for Interprocedural Analysis of Concurrent C (abstract)
|
Eran Yahav
The Technion, Israel Institute of Technology, Haifa
Israel
Talk: Practical Program Analysis and Synthesis (abstract)
|
|
