Marco Muñiz

Marco Muñiz  University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-020 +49 761 203 80411 muniz@informatik.uni-freiburg.de2

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