| 1. |
- Behrmann, Gerd, et al.
(författare)
-
Developing UPPAAL over 15 years
- 2011
-
Ingår i: Software, practice & experience. - : Wiley. - 0038-0644 .- 1097-024X. ; 41:2, s. 133-142
-
Tidskriftsartikel (refereegranskat)
|
|
| 2. |
- Behrmann, Gerd, et al.
(författare)
-
UPPAAL - Present and Future
- 2001
-
Ingår i: Proceedings of the 40th IEEE Conference on Decision and Control.
-
Konferensbidrag (refereegranskat)
|
|
| 3. |
- Behrmann Gerd,, et al.
(författare)
-
UPPAAL Implementation Secrets
- 2002
-
Ingår i: International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. ; , s. 3-
-
Konferensbidrag (refereegranskat)
|
|
| 4. |
- Berhmann, Gerd, et al.
(författare)
-
Developing UPPAAL over 15 years
- 2011
-
Ingår i: Software - Practice and Experience. - 0038-0644. ; 41:2, s. 133-142
-
Tidskriftsartikel (refereegranskat)abstract
- UPPAAL is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling language, a user-friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give the future directions of the tool.
|
|
| 5. |
- Berhmann, Gerd, et al.
(författare)
-
UPPAAL 4.0
- 2006
-
Ingår i: Third International Conference on the Quantitative Evaluation of Systems, QEST 2006. - 0769526659 ; , s. 125-126
-
Konferensbidrag (refereegranskat)abstract
- 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 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 symmetry reduction.
|
|
| 6. |
- David, Alexandre, et al.
(författare)
-
Outils pour le Model-Checking de Systèmes Temporisés
- 2008
-
Ingår i: Approches formelles des systèmes embarqués communicants. - Paris : Hermès science publications. - 9782746219427
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
