Developing UPPAAL over 15 years
- 23 January 2011
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 41 (2), 133-142
- https://doi.org/10.1002/spe.1006
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Adaptive Scheduling of Data Paths using Uppaal TigaElectronic Proceedings in Theoretical Computer Science, 2009
- Efficient on-the-fly Algorithm for Checking Alternating Timed SimulationLecture Notes in Computer Science, 2009
- Using model checkers in an introductory course on operating systemsACM SIGOPS Operating Systems Review, 2008
- Automata for modeling real-time systemsPublished by Springer Science and Business Media LLC ,2005
- Black-Box Conformance Testing for Real-Time SystemsLecture Notes in Computer Science, 2004
- On probabilistic timed automataTheoretical Computer Science, 2003
- Automated verification of an audio-control protocol using UppaalThe Journal of Logic and Algebraic Programming, 2002
- Formal design and analysis of a gear controllerLecture Notes in Computer Science, 1998
- Simple linear-time algorithms for minimal fixed pointsLecture Notes in Computer Science, 1998
- The bounded retransmission protocol must be on time!Lecture Notes in Computer Science, 1997