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

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

1 2 3 ... 31 32 33 next

  1. Aman, Bogdan; Ciobanu, Gabriel: Dynamics of reputation in mobile agents systems and weighted timed automata (2022)
  2. Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru: An automated system repair framework with signal temporal logic (2022)
  3. André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David: Parametric schedulability analysis of a launcher flight control system under reactivity constraints (2021)
  4. André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle: Parametric analyses of attack-fault trees (2021)
  5. Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca: Analysing an autonomous tramway positioning system with the \textscUppaalstatistical model checker (2021)
  6. Bennour, Imed Eddine: Formal verification of timed synchronous dataflow graphs using lustre (2021)
  7. Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim: Verification and parameter synthesis for real-time programs using refinement of trace abstraction (2021)
  8. Clemente, Lorenzo; Lasota, Sławomir: Reachability relations of timed pushdown automata (2021)
  9. Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip: Tweaking the odds in probabilistic timed automata (2021)
  10. Ho, Hsi-Ming; Zhou, Ruoyu; Jones, Timothy M.: Timed hyperproperties (2021)
  11. Jezequel, Loïg; Lime, Didier; Sérée, Bastien: A lazy query scheme for reachability analysis in Petri nets (2021)
  12. Lund, Sebastian; van Diepen, Jesper; Larsen, Kim G.; Muñiz, Marco; Ringholm Jørgensen, Tobias; Skaarup Daa Andersen, Tobias: An integer static analysis for better extrapolation in Uppaal (2021)
  13. Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico: On checking equivalence of simulation scripts (2021)
  14. Mari, Thomas; Dang, Thao; Gössler, Gregor: Explaining safety violations in real-time systems (2021)
  15. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Strategies, model checking and branching-time properties in Maude (2021)
  16. Szymoniak, Sabina: Security protocols analysis including various time parameters (2021)
  17. Xie, Wanling; Zhu, Huibiao; Xu, Qiwen: A process calculus BigrTiMo of mobile systems and its formal semantics (2021)
  18. Zhao, Wenqi; Li, Hui; Yuan, Yuming: Understand volatility of algorithmic stablecoin: modeling, verification and empirical analysis (2021)
  19. Ait Oumeziane, F.; Kara, R.; Amari, S.: Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (2020)
  20. Aman, Bogdan; Ciobanu, Gabriel: Employing costs in multiagent systems with timed migration and timed communication (2020)

1 2 3 ... 31 32 33 next