Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. - Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen (Perspectives of Model-Based Testing, 2004)

Online Testing of Real-time Systems Using Uppaal. - Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen (FATES, 2004)

T-UPPAAL: Online Model-based Testing of Real-Time Systems. - Marius Mikucionis; Kim Guldstrand Larsen; Brian Nielsen (ASE, 2004)

Testing real-time embedded software using UPPAAL-TRON: an industrial case study. - Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen; Arne Skou (EMSOFT, 2005)

Testing Real-Time Systems Using UPPAAL. - Anders Hessel; Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen; Paul Pettersson; Arne Skou (Formal Methods and Testing, 2008)

Testing Real-Time Systems under Uncertainty. - Alexandre David; Kim Guldstrand Larsen; Shuhao Li; Marius Mikucionis; Brian Nielsen (FMCO, 2010)

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 (ISoLA (2), 2010)

Time for Statistical Model Checking of Real-Time Systems. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Zheng Wang 005 (CAV, 2011)

Statistical Model Checking for Networks of Priced Timed Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (FORMATS, 2011)

Monitoring Dynamical Signals While Testing Timed Aspects of a System. - Goran Frehse; Kim G. Larsen; Marius Mikucionis; Brian Nielsen (ICTSS, 2011)

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (CoRR, 2011)

Distributed Parametric and Statistical Model Checking - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Axel Legay (PDMC, 2011)

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (ISoLA (2), 2012)

Runtime Verification of Biological Systems. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (ISoLA (1), 2012)

Checking and Distributing Statistical Model Checking. - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (NASA Formal Methods, 2012)

An evaluation framework for energy aware buildings using statistical model checking. - Alexandre David; Dehui Du; Kim G. Larsen; Marius Mikucionis; Arne Skou (Sci. China Inf. Sci., 2012)

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis (IWIGP, 2012)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Danny Bøgsted Poulsen; Axel Legay; Zheng Wang 005 (QAPL, 2012)

Statistical Model Checking for Stochastic Hybrid Systems - Alexandre David; Dehui Du; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (HSB, 2012)

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2013)

Optimizing Control Strategy Using Statistical Model Checking. - Alexandre David; Dehui Du; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (NASA Formal Methods, 2013)

Remote Testing of Timed Specifications. - Alexandre David; Kim G. Larsen; Marius Mikucionis; Omer Nguena-Timo; Antoine Rollet (ICTSS, 2013)

Widening the Schedulability of Hierarchical Scheduling Systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2014)

Analyzing Industrial Architectural Models by Simulation and Model-Checking. - Raluca Marinescu; Henrik Kaijser; Marius Mikucionis; Cristina Seceleanu; Henrik Lönn; Alexandre David (FTSCS, 2014)

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 (TASE, 2014)

Safe and Optimal Adaptive Cruise Control. - Kim Guldstrand Larsen; Marius Mikucionis; Jakob Haahr Taankvist (Correct System Design, 2015)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. - Jin Hyun Kim; Abdeldjalil Boudjadar; Ulrik Nyman; Marius Mikucionis; Kim G. Larsen; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (CBSE, 2015)

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. - Jin Hyun Kim; Kim G. Larsen; Brian Nielsen; Marius Mikucionis; Petur Olsen (FMICS, 2015)

Resource-Parameterized Timing Analysis of Real-Time Systems. - Jin Hyun Kim; Axel Legay; Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen (Haifa Verification Conference, 2015)

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 001; Linh Thi Xuan Phan (ISORC, 2015)

Uppaal Stratego. - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marius Mikucionis; Jakob Haahr Taankvist (TACAS, 2015)

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2015)

Schedulability of Herschel revisited using statistical model checking. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (Int. J. Softw. Tools Technol. Transf., 2015)

Uppaal SMC tutorial. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 2015)

Statistical model checking for biological systems. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (Int. J. Softw. Tools Technol. Transf., 2015)

Toolchain for user-centered intelligent floor heating control. - Mads Kronborg Agesen; Kim Guldstrand Larsen; Marius Mikucionis; Marco Muñiz; Petur Olsen; Thomas Pedersen; Jirí Srba; Arne Skou (IECON, 2016)

Importance Sampling for Stochastic Timed Automata. - Cyrille Jégourel; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (SETTA, 2016)

Online and Compositional Learning of Controllers with Application to Floor Heating. - Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Jirí Srba; Jakob Haahr Taankvist (TACAS, 2016)

Statistical and exact schedulability analysis of hierarchical scheduling systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2016)

Compositional Testing of Real-Time Systems. - Kim G. Larsen; Axel Legay; Marius Mikucionis; Brian Nielsen; Ulrik Nyman (ModelEd, TestEd, TrustEd, 2017)

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. - Kim Guldstrand Larsen; Adrien Le Coënt; Marius Mikucionis; Jakob Haahr Taankvist (CyPhy/WESE, 2018)

Continuous-Time Models for System Design and Analysis. - Rajeev Alur; Mirco Giacobbe; Thomas A. Henzinger; Kim G. Larsen; Marius Mikucionis (Computing and Software Science, 2019)

Urgent Partial Order Reduction for Extended Timed Automata. - Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Jirí Srba (ATVA, 2020)

Fluid Model-Checking in UPPAAL for Covid-19. - Peter Gjøl Jensen; Kenneth Yrke Jørgensen; Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Danny Bøgsted Poulsen (ISoLA (1), 2020)

Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. - Abdoulaye Gamatié; Gilles Sassatelli; Marius Mikucionis (DATE, 2021)

Playing Wordle with Uppaal Stratego. - Peter Gjøl Jensen; Kim G. Larsen; Marius Mikucionis (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Importance Splitting in Uppaal. - Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (ISoLA (3), 2022)

GPU Accelerating Statistical Model Checking for Extended Timed Automata. - 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 (Principles of Verification (2), 2024)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions. - Mohammed Aristide Foughali; Marius Mikucionis; Maryline Zhang (COMPSAC, 2024)