Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg University in Denmark and the Department of Information Technology at Uppsala University in Sweden. It is appropriate for systems that can be modeled as a collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application areas include real-time controllers and communication protocols in particular, those where timing aspects are critical.

References in zbMATH (referenced in 538 articles , 3 standard articles )

Showing results 1 to 20 of 538.
Sorted by year (citations)

1 2 3 ... 25 26 27 next

  1. Al-Bataineh, Omar; Reynolds, Mark; French, Tim: Finding minimum and maximum termination time of timed automata models with cyclic behaviour (2017)
  2. Camilleri, John J.; Schneider, Gerardo: Modelling and analysis of normative documents (2017)
  3. Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
  4. Park, Junkil; Lee, Insup; Sokolsky, Oleg; Hwang, Dae Yon; Ahn, Sojin; Choi, Jin-Young; Kang, Inhye: A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (2017)
  5. Rocha, Camilo; Meseguer, José; Muñoz, César: Rewriting modulo SMT and open system analysis (2017)
  6. Aman, Bogdan; Ciobanu, Gabriel: Modelling and verification of weighted spiking neural systems (2016)
  7. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  8. Benerecetti, Massimo; Peron, Adriano: Timed recursive state machines: expressiveness and complexity (2016)
  9. Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien: Formal verification of mobile robot protocols (2016)
  10. Bernardeschi, Cinzia; Domenici, Andrea: Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (2016)
  11. Camacho, Carlos; Llana, Luis; Núñez, Alberto: Cost-related interface for software product lines (2016)
  12. Feo-Arenis, Sergio; Westphal, Bernd; Dietsch, Daniel; Muñiz, Marco; Andisha, Siyar; Podelski, Andreas: Ready for testing: ensuring conformance to industrial standards through formal verification (2016) ioport
  13. Ghassemi, Fatemeh; Fokkink, Wan: Model checking mobile ad hoc networks (2016)
  14. Jegourel, Cyrille; Legay, Axel; Sedwards, Sean: Command-based importance sampling for statistical model checking (2016)
  15. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  16. Wimmer, Simon: Formalized timed automata (2016)
  17. Al-Bataineh, Omar; Reynolds, Mark; French, Tim: Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (2015)
  18. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  19. Aman, Bogdan; Ciobanu, Gabriel: Automated verification of stochastic spiking neural P systems (2015)
  20. Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan: Robust reachability in timed automata and games: a game-based approach (2015)

1 2 3 ... 25 26 27 next