Brian Nielsen

Florian Lorber

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Model-Based Mutation Testing of Real-Time Systems via Model Checking.

[BibT_eX]

[DOI]

Florian Lorber

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

20 Years of Real Real Time Model Validation.

[BibT_eX]

[DOI]

Florian Lorber

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Mutation-Based Test-Case Generation with Ecdar.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

[BibT_eX]

[DOI]

Zhengkui Zhang

Gilles Nies

Marvin Stenger

Holger Hermanns

Proceedings of the Formal Methods and Software Engineering, 2017

Compositional Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Learning deterministic probabilistic automata from a model checking perspective.

[BibT_eX]

[DOI]

Mach. Learn., 2016

Time optimal reachability analysis using swarm verification.

[BibT_eX]

[DOI]

Zhengkui Zhang

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Distributed Algorithms for Time Optimal Reachability Analysis.

[BibT_eX]

[DOI]

Zhengkui Zhang

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

WUppaal: A web-service for the Uppaal model-checker.

[BibT_eX]

[DOI]

Peter Fogh

Thomas C. Hald

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Resource-Parameterized Timing Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Jin Hyun Kim

Axel Legay

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

2014

Towards a Method for Combined Model-based Testing and Analysis.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2012

Learning Markov Decision Processes for Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Learning Markov Models for Stationary System Behaviors.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

2011

Learning Probabilistic Automata for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

2010

Scenario-based verification of real-time systems using Uppaal.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 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]

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

Scenario-based analysis and synthesis of real-time systems using uppaal.

[BibT_eX]

[DOI]

Saulius Pusinskas

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Timed Testing under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Verifying Real-Time Systems against Scenario-Based Requirements.

[BibT_eX]

[DOI]

Saulius Pusinskas

Proceedings of the FM 2009: Formal Methods, 2009

2008

Quasimodo.

[BibT_eX]

[DOI]

ERCIM News, 2008

Model-Driven Development of Embedded Real-Time Systems.

[BibT_eX]

[DOI]

ERCIM News, 2008

Cooperative Testing of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Testing Real-Time Systems Using UPPAAL.

[BibT_eX]

[DOI]

Anders Hessel

Proceedings of the Formal Methods and Testing, 2008

A Game-Theoretic Approach to Real-Time System Testing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 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

Connectivity Testing Through Model-Checking.

[BibT_eX]

[DOI]

Jens Chr. Godskesen

Proceedings of the Formal Techniques for Networked and Distributed Systems, 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]

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003

Automated test generation from timed automata.

[BibT_eX]

[DOI]

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

Time-Optimal Test Cases for Real-Time Systems.

[BibT_eX]

[DOI]

Anders Hessel

Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.

[BibT_eX]

[DOI]

Anders Hessel

Paul Pettersson

Proceedings of the Formal Approaches to Software Testing, 2003

2001

Test Generation for Time Critical Systems: Tool and Case Study.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

1999

Towards Reusable Real-Time Objects.

[BibT_eX]

[DOI]

Gul Agha

Ann. Softw. Eng., 1999

Real-Time Layered Video Compression Using SIMD Computation.

[BibT_eX]

[DOI]

Morten Vadskær Jensen

Proceedings of the Parallel Computation, 1999

1998

Specification of Real-Time Interaction Constraints.

[BibT_eX]

[DOI]