Marco Muñiz

According to our database, Marco Muñiz authored at least 22 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Energy Consumption Optimization in Radio Access Networks (ECO-RAN).

Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen

CoRR, 2023

2021

Stubborn Set Reduction for Two-Player Reachability Games.

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Log. Methods Comput. Sci., 2021

An Integer Static Analysis for Better Extrapolation in Uppaal.

Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Stubborn Set Reduction for Timed Reachability and Safety Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes.

Anne Ejsing, Martin Jensen, Marco Muñiz, Jacob Nørhave, Lars Rechter

CoRR, 2020

Fluid Model-Checking in UPPAAL for Covid-19.

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Urgent Partial Order Reduction for Extended Timed Automata.

Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2020

On-the-Fly Synthesis for Strictly Alternating Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Partial Order Reduction for Reachability Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Analyzing Spreadsheets for Parallel Execution via Model Checking.

Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen

Proceedings of the Models, Mindsets, 2018

2017

A Delay-Robust Touristic Plan Recommendation Using Real-World Public Transportation Information.

Victor Anthony Arrascue Ayala, Kemal Cagin Gülsen, Anas Alzogbi, Michael Färber, Marco Muñiz, Georg Lausen

Proceedings of the 2nd Workshop on Recommenders in Tourism co-located with 11th ACM Conference on Recommender Systems (RecSys 2017), 2017

2016

Ready for testing: ensuring conformance to industrial standards through formal verification.

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski

Formal Aspects Comput., 2016

Online and Compositional Learning of Controllers with Application to Floor Heating.

Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Toolchain for user-centered intelligent floor heating control.

Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou

Proceedings of the IECON 2016, 2016

2014

Quasi-dependent variables in hybrid automata.

Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha

Proceedings of the FM 2014: Formal Methods, 2014

2013

Detecting Quasi-equal Clocks in Timed Automata.

Marco Muñiz, Bernd Westphal, Andreas Podelski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Deciding Functional Lists with Sublist Sets.

Thomas Wies, Marco Muñiz, Viktor Kuncak

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Timed Automata with Disjoint Activity.

Marco Muñiz, Bernd Westphal, Andreas Podelski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Reducing Quasi-Equal Clocks in Networks of Timed Automata.

Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

An Efficient Decision Procedure for Imperative Tree Data Structures.

Thomas Wies, Marco Muñiz, Viktor Kuncak

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011