Marius Mikucionis

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Topics

Partial Order Reduction

Temporal Properties

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

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