Marco Muñiz
Marco Muñiz
University of Freiburg
Georges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-020 |
News
Currently I am a post doctoral researcher at Aalborg University. New web site here
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: Teaching, abstraction techniques and the design of the Hybrid Model Checker SASET.
Publications
- Quasi-Dependent Variables in Hybrid Automata in HSCC14 , together with Sergiy Bogomolov, Christian Herrera, Bernd Westphal and Andreas Podelski.
- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification in FM2014 , together with Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch and Ahmad Siyar Andisha .
- Detecting Quasi-equal Clocks in Timed Automata in FORMATS 2013 , together with Bernd Westphal and Andreas Podelski.
- Timed Automata with Disjoint Activity in FORMATS 2012 , together with Bernd Westphal and Andreas Podelski.
- Reducing Quasi-Equal Clocks in Networks of Timed Automata in FORMATS 2012 , together with Christian Herrera, Sergio Feo, 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
- Designing and implementing in Ocaml the hybrid model checker SASET.
- Modeling using the UPPAAL model checker.
- Working with the Jahob Verification System for reasoning about reachability in Trees and Lists.
Teaching
- Lecturing Model Checking at the San Pablo University in Peru.
- Lecturing 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