Marius Mikucionis

54 papers A* 2A 3B 3C 5Misc 3Journal 10Unranked 27
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
2025 — conf
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.
RP
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski
2025 J jnl
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.
CoRR
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski
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
2024 B conf
Scalable Computation of Inter-Core Bounds Through Exact Abstractions.
COMPSAC
Mohammed Aristide Foughali, Marius Mikucionis, Maryline Zhang
2024 J jnl
Scalable Computation of Inter-Core Bounds Through Exact Abstractions.
CoRR
Mohammed Aristide Foughali, Marius Mikucionis, Maryline Zhang
2022 — conf
Importance Splitting in Uppaal.
ISoLA (3)
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2022 — conf
Playing Wordle with Uppaal Stratego.
A Journey from Process Algebra via Timed Automata to Model Learning
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
2021 A conf
Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking.
DATE
Abdoulaye Gamatié, Gilles Sassatelli, Marius Mikucionis
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 B conf
Urgent Partial Order Reduction for Extended Timed Automata.
ATVA
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
2019 — ch.
Continuous-Time Models for System Design and Analysis.
Computing and Software Science
Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis
2018 — conf
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.
CyPhy/WESE
Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist
2017 — conf
Compositional Testing of Real-Time Systems.
ModelEd, TestEd, TrustEd
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
2016 Misc conf
Importance Sampling for Stochastic Timed Automata.
SETTA
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
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
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
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
2015 J jnl
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 C conf
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
ISORC
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 C conf
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
FMICS
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
2015 — conf
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
CBSE
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 — conf
Resource-Parameterized Timing Analysis of Real-Time Systems.
Haifa Verification Conference
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
2015 — conf
Safe and Optimal Adaptive Cruise Control.
Correct System Design
Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
2015 J jnl
Schedulability of Herschel revisited using statistical model checking.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2015 J jnl
Statistical model checking for biological systems.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2015 J jnl
Uppaal SMC tutorial.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2015 A conf
Uppaal Stratego.
TACAS
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
2014 — conf
Analyzing Industrial Architectural Models by Simulation and Model-Checking.
FTSCS
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
2014 Misc conf
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
TASE
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 — conf
Widening the Schedulability of Hierarchical Scheduling Systems.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — conf
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — conf
Optimizing Control Strategy Using Statistical Model Checking.
NASA Formal Methods
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2013 C conf
Remote Testing of Timed Specifications.
ICTSS
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
2012 J jnl
An evaluation framework for energy aware buildings using statistical model checking.
Sci. China Inf. Sci.
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
2012 — conf
Checking and Distributing Statistical Model Checking.
NASA Formal Methods
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2012 — conf
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
IWIGP
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
2012 — conf
Runtime Verification of Biological Systems.
ISoLA (1)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012 — conf
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.
ISoLA (2)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2012 — conf
Statistical Model Checking for Stochastic Hybrid Systems
HSB
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012 — conf
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
QAPL
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
2011 — conf
Distributed Parametric and Statistical Model Checking
PDMC
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
2011 C conf
Monitoring Dynamical Signals While Testing Timed Aspects of a System.
ICTSS
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
2011 — conf
Statistical Model Checking for Networks of Priced Timed Automata.
FORMATS
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011 J jnl
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
CoRR
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011 A* conf
Time for Statistical Model Checking of Real-Time Systems.
CAV
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
2010 — conf
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.
ISoLA (2)
Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
2010 — conf
Testing Real-Time Systems under Uncertainty.
FMCO
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen
2008 — conf
Testing Real-Time Systems Using UPPAAL.
Formal Methods and Testing
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
2005 Misc conf
Testing real-time embedded software using UPPAAL-TRON: an industrial case study.
EMSOFT
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
2004 — conf
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.
Perspectives of Model-Based Testing
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
2004 — conf
Online Testing of Real-time Systems Using Uppaal.
FATES
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
2004 A* conf
T-UPPAAL: Online Model-based Testing of Real-Time Systems.
ASE
Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen