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:

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