Coordinates
Universität Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik
Georges-Köhler-Allee
building, room
052-00-021
+49 761 203 6954 (phone)
+49 761 203 8242 (fax)
Research Interests
Software model-checking, program analysis.
Publications
- Abstraction Refinement for Quantified Array Assertions. With Andreas Podelski and Thomas Wies. In Proceedings of the 16th International Static Analysis Symposium, SAS 2009.
- ACSAR: Software Model Checking with Transfinite Refinement. With Andreas Podelski. In Proceedings of the 14th International Workshop on Model Checking Software, SPIN 2007.
- Integration of a Software Model Checker into Isabelle. With Matthias Daum, Stefan Maus and Norbert Schirmer. In Proceedings of the 12th International Conference on Logic for programming, Artificial Intelligence and Reasoning, LPAR 2005.
- Parallel and Hybrid Meta Heuristics for Multi-Objective Optimization
Master's Thesis, Université des Sciences et Technologies, Lille, France, Jun 2003.
Talks
- Abstraction Refinement for Quantified Array Assertions. SAS 2009, Los Angeles.
- ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007, Berlin.
- Accelerating Abstraction Refinement by Summarizing Loops. Dagstuhl seminar on Software Verification: Infinite-State Model Checking and Static Program Analysis, February 06.
Software
- ACSAR - Automatic Checker for Safety properties based on Abstraction Refinement
- LotoStem - Tool for specification and verification of concurrent systems based on LOTOS.