Marco Muñiz
|
Marco Muñiz
University of Freiburg
Georges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-020 |
Research Interests
Decision Procedures, Model Checking
Research
I am working on Verification of Software and Real-Time Systems via model-checking and Automated theorem proving. My current work include: The Construction of compact models for systems which satisfy certain invariants. The use abstract interpretation and decision procedures to infer invariants about systems.
Consultation Hours
- Fridays, 14:00 - 16:00
Publications
- Verification of TDMA Protocols together with Bernd Westphal and Andreas Podelski.
- Deciding Functional Lists with Sublists Sets in VSTTE 2012 , together with Thomas Wies and Viktor Kuncak.
- An efficient decision procedure for imperative tree data structures in CADE 2011 , together with Thomas Wies and Viktor Kuncak.
- Decision Procedures for List Manipulating Programs, Master thesis, University of Freiburg, 2009
Tools
- Working with the Jahob Verification System for reasoning about reachability in Trees and Lists.
Teaching
- Organizing the lecture Theory I SS12
- Co-organizing the Model Checking SS11 lecture together with Sergiy Bogomolov
- Organizing the
Algorithms Theory WS10-11 lecture
- Organizing the
Theory I SS10 lecture
- Co-organizing the
Algorithms Theory WS09-10 lecture
together with
Phillip Heidegger
- Tutorial for the lecture Software Design, Modelling and Analysis in UML
Misc
I am also
- Microsoft Certified Solution Developer
- Systems Engineer