Marius Mikucionis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Playing Wordle with Uppaal Stratego.

[BibT_eX]

[DOI]

Peter Gjøl Jensen

Kim G. Larsen

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking.

[BibT_eX]

[DOI]

Abdoulaye Gamatié

Gilles Sassatelli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Fluid Model-Checking in UPPAAL for Covid-19.

[BibT_eX]

[DOI]

Peter Gjøl Jensen

Kenneth Yrke Jørgensen

Kim G. Larsen

Marco Muñiz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Urgent Partial Order Reduction for Extended Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Continuous-Time Models for System Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

2018

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.

[BibT_eX]

[DOI]

Adrien Le Coënt

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017

Compositional Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Statistical and exact schedulability analysis of hierarchical scheduling systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Online and Compositional Learning of Controllers with Application to Floor Heating.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Importance Sampling for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Toolchain for user-centered intelligent floor heating control.

[BibT_eX]

[DOI]

Mads Kronborg Agesen

Proceedings of the IECON 2016, 2016

2015

Statistical model checking for biological systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Uppaal SMC tutorial.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Schedulability of Herschel revisited using statistical model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Uppaal Stratego.

[BibT_eX]

[DOI]

Peter Gjøl Jensen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Resource-Parameterized Timing Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.

[BibT_eX]

[DOI]

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Safe and Optimal Adaptive Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 2015

2014

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Analyzing Industrial Architectural Models by Simulation and Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Ulrik Nyman

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Remote Testing of Timed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

Optimizing Control Strategy Using Statistical Model Checking.

[BibT_eX]

[DOI]

Dehui Du

Proceedings of the NASA Formal Methods, 2013

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.

[BibT_eX]

[DOI]

Ulrik Nyman

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

Statistical Model Checking for Stochastic Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

[BibT_eX]

[DOI]

Peter E. Bulychev

Zheng Wang

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

An evaluation framework for energy aware buildings using statistical model checking.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

Checking and Distributing Statistical Model Checking.

[BibT_eX]

[DOI]

Peter E. Bulychev

Proceedings of the NASA Formal Methods, 2012

Runtime Verification of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Distributed Parametric and Statistical Model Checking

[BibT_eX]

[DOI]

Peter E. Bulychev

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

CoRR, 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Time for Statistical Model Checking of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

[BibT_eX]

[DOI]

Jacob Illum Rasmussen

Steen Ulrik Palm

Jan Storbank Pedersen

Poul Hougaard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Testing Real-Time Systems under Uncertainty.

[BibT_eX]

[DOI]

Shuhao Li

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Testing Real-Time Systems Using UPPAAL.

[BibT_eX]

[DOI]

Anders Hessel

Proceedings of the Formal Methods and Testing, 2008

2005

Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

2004

T-UPPAAL: Online Model-based Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Online Testing of Real-time Systems Using Uppaal.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.

[BibT_eX]

[DOI]