Marco Muiz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
10
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RV | Extended Timed Regular Expressions. | Marco Muiz, Marius Mikucionis, Kim G. Larsen |
| 2020 | ATVA | Urgent Partial Order Reduction for Extended Timed Automata. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba |
| 2020 | ISoLA | Fluid Model-Checking in UPPAAL for Covid-19. | Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen |
| 2019 | CONCUR | Partial Order Reduction for Reachability Games. | Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba |
| 2018 | CAV | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. | Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba |
| 2017 | RecSys | A Delay-Robust Touristic Plan Recommendation Using Real-World Public Transportation Information. | Victor Anthony Arrascue Ayala, Kemal Cagin Glsen, Anas Alzogbi, Michael Frber, Marco Muiz, Georg Lausen |
| 2016 | IECON | Toolchain for user-centered intelligent floor heating control. | Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muiz, Petur Olsen, Thomas Pedersen, Jir Srba, Arne Skou |
| 2016 | TACAS | Online and Compositional Learning of Controllers with Application to Floor Heating. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba, Jakob Haahr Taankvist |
| 2014 | FM | The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha |
| 2011 | CADE | An Efficient Decision Procedure for Imperative Tree Data Structures. | Thomas Wies, Marco Muiz, Viktor Kuncak |