Uppaal 4.0

@article{Behrmann2006Uppaal4,
  title={Uppaal 4.0},
  author={Gerd Behrmann and Alexandre David and Kim G. Larsen and John H{\aa}kansson and Paul Pettersson and Wang Yi and Martijn Hendriks},
  journal={Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)},
  year={2006},
  pages={125-126}
}
UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements and polish to the easy to use graphical user interface, and is accompanied by several open source libraries. The tool and libraries are available free of charge for academic, educational and evaluation purposes from http://www.uppaal.com/. We describe three of the new features: user defined functions, priorities and… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 72 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 53 extracted citations

Application of formal methods for validation and verification of embedded system communication protocol

2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST) • 2016
View 6 Excerpts
Highly Influenced

Formal verification of a remote serial network

2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST) • 2016
View 4 Excerpts
Highly Influenced

[Journal First] ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 6 Excerpts
Highly Influenced

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow

2015 Asia-Pacific Software Engineering Conference (APSEC) • 2015
View 6 Excerpts
Highly Influenced

Automation of automotive integration testing process

2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS) • 2013
View 5 Excerpts
Highly Influenced

From the Internet of Things to Trusted Apps for Things

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing • 2013
View 4 Excerpts
Highly Influenced

Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops • 2012
View 5 Excerpts
Highly Influenced

Better Abstractions for Timed Automata

2012 27th Annual IEEE Symposium on Logic in Computer Science • 2012
View 3 Excerpts
Highly Influenced

Scheduling and Analysis of Real-Time Software Families

2012 IEEE 36th Annual Computer Software and Applications Conference • 2012
View 5 Excerpts
Highly Influenced

72 Citations

051015'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…