UPPAAL

Known as: UMC 
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
2004
Review
2004
This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We describe a prototype extension of the Uppaal real-time model checking tool with symmetry reduction. The symmetric data type… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper we present an algorithm for efficiently computing the minimum cost of reaching a goal state in the model of… (More)
  • table 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Uppaal is a tool for modeling, simulation and veri cation of real-time systems, developed jointly by BRICS at Aalborg University… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Uppaal is a tool-set for the design and analysis of real-time systems. In 6] a relatively complete description of Uppaal before… (More)
Is this relevant?
Review
1997
Review
1997
This paper presents the overal structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In this paper we apply the tool Uppaal to an automatic analysis of a version of the Philips Audio Control Protocol with two… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Uppaal is a tool suite for automatic veri cation of safety and bounded liveness properties of real-time systems modeled as… (More)
Is this relevant?