UPPAAL - Now, Next, and Future

  title={UPPAAL - Now, Next, and Future},
  author={Tobias Amnell and Gerd Behrmann and Johan Bengtsson and Pedro R. D'Argenio and Alexandre David and Ansgar Fehnker and Thomas Hune and Bertrand Jeannet and Kim G. Larsen and M. Oliver M{\"o}ller and Paul Pettersson and Carsten Weise and Wang Yi},
Uppaal is a tool for modeling, simulation and veri cation of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as a collection of non-deterministic processes with nite control structure and real-valued clocks, communicating through channels or shared variables. Typical application areas include real-time controllers and communication protocols, in particular… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 112 citations. REVIEW CITATIONS


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

113 Citations

Citations per Year
Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 49 references

A Fast Mutual Ex lusion Algorithm

  • Lars Asplund, Kim G. Larsen, Gerd Behrmann
  • ACM Trans . onComputer Systems
  • 2001

EÆcient Guiding Towards Cost-Optimality in uppaal. Accepted for publication in TACAS'2001

  • BFH Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
  • 2001

Report from astec-rt auto project | central locking system case study

  • Tobias Amnell, Pontus Jansson
  • In preparation,
  • 2001

, and JeremySproston . Automati Veri ation of Real - Time Systems with Probability Distributions

  • Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
  • 1999

Similar Papers

Loading similar papers…