Marius Mikucionis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Analysis and Verification of Quantum Communication Protocols in UPPAAL. | Ren Bdker Christensen, Nikolaj Rossander Kristensen, Kim Guldstrand Larsen, Marius Mikucionis, Jir Srba, Loke Walsted |
| 2025 | RV | Extended Timed Regular Expressions. | Marco Muiz, Marius Mikucionis, Kim G. Larsen |
| 2024 | COMPSAC | Scalable Computation of Inter-Core Bounds Through Exact Abstractions. | Mohammed Aristide Foughali, Marius Mikucionis, Maryline Zhang |
| 2022 | ISoLA | Importance Splitting in Uppaal. | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen |
| 2021 | DATE | Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. | Abdoulaye Gamati, Gilles Sassatelli, Marius Mikucionis |
| 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 |
| 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 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 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 |
| 2015 | FMICS | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2015 | TACAS | Uppaal Stratego. | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
| 2014 | TASE | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2012 | ISoLA | Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2011 | CAV | Time for Statistical Model Checking of Real-Time Systems. | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
| 2010 | ISoLA | Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. | Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard |
| 2005 | EMSOFT | Testing real-time embedded software using UPPAAL-TRON: an industrial case study. | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |