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

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

1 2 3 ... 30 31 32 next

  1. Aman, Bogdan; Ciobanu, Gabriel: Employing costs in multiagent systems with timed migration and timed communication (2020)
  2. Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M.: Using formal verification to evaluate the execution time of Spark applications (2020)
  3. Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo: PuRSUE -- from specification of robotic environments to synthesis of controllers (2020)
  4. Fahrenberg, Uli; Legay, Axel; Quaas, Karin: Computing branching distances with quantitative games (2020)
  5. Fraser, Douglas; Giaquinta, Ruben; Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin: Collaborative models for autonomous systems controller synthesis (2020)
  6. Glonina, A. B.: Tool system for testing real-time constraints for modular computational system configurations (2020)
  7. Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael: Automated temporal equilibrium analysis: verification and synthesis of multi-player games (2020)
  8. Mestel, David; Roscoe, A. W.: Translating between models of concurrency (2020)
  9. André, Étienne; Jerray, Jawher; Mhiri, Sahar: Time4sys2imi: a tool to formalize real-time system models under uncertainty (2019)
  10. Murgia, Maurizio: Input urgent semantics for asynchronous timed session types (2019)
  11. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  12. Podymov, V. V.: A flattening algorithm for hierarchical timed automata (2019)
  13. Tappler, Martin; Aichernig, Bernhard K.; Larsen, Kim Guldstrand; Lorber, Florian: Time to learn -- learning timed automata from tests (2019)
  14. van Glabbeek, Rob: Ensuring liveness properties of distributed systems: open problems (2019)
  15. Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan: Analyzing timed systems using tree automata (2018)
  16. Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James: Model checking real-time systems (2018)
  17. Dennis, Louise A.; Fisher, Michael; Webster, Matt: Two-stage agent program verification (2018)
  18. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  19. Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael: An axiomatic semantics for (\mathsfioco\underline\mathsfs) conformance relation (2018)
  20. Jovanović, Aleksandra; Kwiatkowska, Marta: Parameter synthesis for probabilistic timed automata using stochastic game abstractions (2018)

1 2 3 ... 30 31 32 next