![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Marco Muñiz
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i3]Anders Mariegaard, Kim G. Larsen, Marco Muñiz
, Thomas Dyhre Nielsen:
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR abs/2304.00277 (2023) - 2021
- [j2]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) - [c18]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: 32-49 - [c17]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: 84-99 - 2020
- [c16]Shyam Lal Karra, Kim Guldstrand Larsen
, Marco Muñiz
, Jirí Srba
:
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets 2020: 109-128 - [c15]Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Jirí Srba
:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - [c14]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: 385-403 - [i2]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 abs/2002.10783 (2020)
2010 – 2019
- 2019
- [c13]Frederik M. Bønneland, Peter Gjøl Jensen
, Kim G. Larsen
, Marco Muñiz
, Jirí Srba
:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [i1]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 abs/1912.09875 (2019) - 2018
- [c12]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: 27-35 - [c11]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: 527-546 - 2017
- [c10]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: 9-17 - 2016
- [j1]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): 499-527 (2016) - [c9]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: 5296-5301 - [c8]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: 244-259 - 2014
- [c7]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: 658-672 - [c6]Sergiy Bogomolov
, Christian Herrera, Marco Muñiz
, Bernd Westphal, Andreas Podelski:
Quasi-dependent variables in hybrid automata. HSCC 2014: 93-102 - 2013
- [c5]Marco Muñiz
, Bernd Westphal, Andreas Podelski:
Detecting Quasi-equal Clocks in Timed Automata. FORMATS 2013: 198-212 - 2012
- [c4]Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz
, Andreas Podelski:
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS 2012: 155-170 - [c3]Marco Muñiz
, Bernd Westphal, Andreas Podelski:
Timed Automata with Disjoint Activity. FORMATS 2012: 188-203 - [c2]Thomas Wies, Marco Muñiz
, Viktor Kuncak:
Deciding Functional Lists with Sublist Sets. VSTTE 2012: 66-81 - 2011
- [c1]Thomas Wies, Marco Muñiz
, Viktor Kuncak:
An Efficient Decision Procedure for Imperative Tree Data Structures. CADE 2011: 476-491
Coauthor Index
aka: Kim Guldstrand Larsen
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint