Coordinates
University of Freiburg
Department of Computer Science
Chair of Software Engineering
Georges-Köhler-Allee 52
79110 Freiburg
building, room
052-00-021
+49 761 203 8200 (phone)
+49 761 203 8242 (fax)
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests include Model Checking and AI Planning. I'm a member of the Transregional Collaborative Research Center AVACS.
Publications
- Martin Wehrle and Malte Helmert, The Causal Graph Revisited for Directed Model Checking, In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science 5673, pages 86-101, Springer Verlag, 2009.
- Martin Wehrle, Sebastian Kupferschmid, and Andreas Podelski, Transition-based Directed Model Checking, In Proceedings of the 15th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS 2009), Lecture Notes in Computer Science 5505, pages 186-200, Springer Verlag, 2009.
- Martin Wehrle, Sebastian Kupferschmid, and Andreas Podelski, Useless Actions are Useful, In Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), pages 388-395,
AAAI Press, 2008. Note: The version available
for download here contains a correction of Proposition 1.
- Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, and Andreas Podelski, Faster than Uppaal?, In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Lecture Notes in Computer Science 5123, pages 552-555, Springer Verlag, 2008.
- Martin Wehrle and Jussi Rintanen, Planning as satisfiability with relaxed E-step plans, In AI 2007 : Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Proceedings, Lecture Notes in Computer Science 4830, pages 244-253, Springer Verlag, 2007. The winner of the AI 2007 Best Paper Award
Tools
- MCTA, a directed model checker for timed automata systems
Teaching
- Tutorials for the lecture Verification (WS 07/08)
- Tutorials for the lecture Verification (WS 06/07)