Uppaal

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 555 articles , 3 standard articles )

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

1 2 3 ... 26 27 28 next

  1. Aman, Bogdan; Ciobanu, Gabriel: Modelling and verification of weighted spiking neural systems (2016)
  2. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  3. Benerecetti, Massimo; Peron, Adriano: Timed recursive state machines: expressiveness and complexity (2016)
  4. Bernardeschi, Cinzia; Domenici, Andrea: Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (2016)
  5. Camacho, Carlos; Llana, Luis; Núñez, Alberto: Cost-related interface for software product lines (2016)
  6. Al-Bataineh, Omar; Reynolds, Mark; French, Tim: Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (2015)
  7. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  8. Aman, Bogdan; Ciobanu, Gabriel: Automated verification of stochastic spiking neural P systems (2015)
  9. Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan: Robust reachability in timed automata and games: a game-based approach (2015)
  10. Di Noia, Tommaso; Mongiello, Marina; Di Sciascio, Eugenio: Model checking based query and retrieval in openstreetmap (2015)
  11. Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S.Lizeth: Integrating deployment architectures and resource consumption in timed object-oriented models (2015)
  12. Kim, Jin Hyun; Legay, Axel; Larsen, Kim G.; Mikučionis, Marius; Nielsen, Brian: Resource-parameterized timing analysis of real-time systems (2015)
  13. Kumar, Rajesh; Ruijters, Enno; Stoelinga, Mariëlle: Quantitative attack tree analysis via priced timed automata (2015)
  14. Olderog, Ernst-Rüdiger; Swaminathan, Mani: Structural transformations for data-enriched real-time systems (2015)
  15. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015)
  16. Pham, Thao Phuong; Rabah, Mourad; Estraillier, Pascal: A situation-based multi-agent architecture for handling misunderstandings in interactions (2015)
  17. Thomsen, Bent; Luckow, Kasper Søe; Leth, Lone; Bøgholm, Thomas: From safety critical Java programs to timed process models (2015)
  18. Volkanov, D.Yu.; Zakharov, V.A.; Zorin, D.A.; Podymov, V.V.; Konnov, I.V.: A combined toolset for the verification of real-time distributed systems (2015)
  19. Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen: A model for industrial real-time systems (2015)
  20. Wognsen, Erik Ramsgaard; Haverkort, Boudewijn R.; Jongerden, Marijn; Hansen, René Rydhof; Larsen, Kim Guldstrand: A score function for optimizing the cycle-life of battery-powered embedded systems (2015)

1 2 3 ... 26 27 28 next