Contact
 |
 |
|
| 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 |