Marco Muñiz

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