Home | ||
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:
Parameterized Verification and Synthesis | Verification of Probabilistic Systems |
Parameterized stochastic systems; Verification and synthesis of infinite-state systems; Petri nets; Population protocols; Constraint-based technology |
Probabilistic model-checking;
Analysis of infinite-state Markov chains;
Applications to reputation systems |
Foundations of Program Analysis | Formal Methods for High-Level Software |
Generic program analyzers; Theory and applications of polynomial equations on semirings; Fixed point algorithms and their convergence speed |
Model-checking Java programs; Testing with
model-checking techniques; Verification
of infinite-state systems; Security infrastructures |
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 |