I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo

Welcome to the Chair for Foundations of Software Reliability and Theoretical Computer Science. The interests of the group span

  • all aspects of software reliability, with special emphasis on model-checking and program analysis techniques;
  • foundations of software analysis techniques, in particular automata theory, logic, and complexity;

Current research topics include:

Formal Methods for High-Level Software Verification of Probabilistic Systems
Model-checking Java programs; Testing with model-checking techniques; Verification of infinite-state systems; Security infrastructures
Probabilistic model-checking; Analysis of infinite-state Markov chains; Applications to reputation systems
Foundations of Program Analysis Formal Methods for Embedded Systems
Generic program analyzers; Theory and applications of polynomial equations on semirings; Fixed point algorithms and their convergence speed Model checking embedded software; Execution time analysis; Model based testing; Runtime verification
Model Checking and Constraint Solving Automata, Logic, and Complexity
Malicious code detection; Automated abstraction; Parameterized verification; SAT and constraint solving Mathematical methods for discrete systems; Classification and algorithms for hard problems; Temporal logic and foundations of verification

old homepages: 2004-2007 or before 2004