Marco Muñiz

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 16

Top Topics

Dependent Variables

Randomly Assigned

Partial Order Reduction

Top Venues

Publications

Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR (2023)
Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS (2021)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17 (1) (2021)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS (2021)
Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) (2020)
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
Urgent Partial Order Reduction for Extended Timed Automata. ATVA (2020)
Anne Ejsing, Martin Jensen, Marco Muñiz, Jacob Nørhave, Lars Rechter
Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes. CoRR (2020)
Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets (2020)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. CoRR (2019)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Partial Order Reduction for Reachability Games. CONCUR (2019)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) (2018)
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta (2018)
Victor Anthony Arrascue Ayala, Kemal Cagin Gülsen, Anas Alzogbi, Michael Färber, Marco Muñiz, Georg Lausen
A Delay-Robust Touristic Plan Recommendation Using Real-World Public Transportation Information. RecTour@RecSys (2017)
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS (2016)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28 (3) (2016)
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
Toolchain for user-centered intelligent floor heating control. IECON (2016)
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
Quasi-dependent variables in hybrid automata. HSCC (2014)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. FM (2014)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Detecting Quasi-equal Clocks in Timed Automata. FORMATS (2013)
Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS (2012)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Timed Automata with Disjoint Activity. FORMATS (2012)
Thomas Wies, Marco Muñiz, Viktor Kuncak
Deciding Functional Lists with Sublist Sets. VSTTE (2012)
Thomas Wies, Marco Muñiz, Viktor Kuncak
An Efficient Decision Procedure for Imperative Tree Data Structures. CADE (2011)