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

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

1 2 3 ... 28 29 30 next

  1. Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan: Analyzing timed systems using tree automata (2018)
  2. Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James: Model checking real-time systems (2018)
  3. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  4. Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael: An axiomatic semantics for $\mathsfioco \underline\mathsfs$ conformance relation (2018)
  5. Jovanović, Aleksandra; Kwiatkowska, Marta: Parameter synthesis for probabilistic timed automata using stochastic game abstractions (2018)
  6. Koutavas, Vasileios; Gazda, Maciej; Hennessy, Matthew: Distinguishing between communicating transactions (2018)
  7. Majumdar, Rupak; Raskin, Jean-François: Symbolic model checking in non-Boolean domains (2018)
  8. Schwammberger, Maike: An abstract model for proving safety of autonomous urban traffic (2018)
  9. Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros: Modeling for verification (2018)
  10. Al-Bataineh, Omar; Reynolds, Mark; French, Tim: Finding minimum and maximum termination time of timed automata models with cyclic behaviour (2017)
  11. Camilleri, John J.; Schneider, Gerardo: Modelling and analysis of normative documents (2017)
  12. Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana: Faster statistical model checking for unbounded temporal properties (2017)
  13. Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
  14. Jezequel, Loïg; Lime, Didier: Let’s be lazy, we have time -- or, lazy reachability analysis for timed automata (2017)
  15. Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin: Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (2017)
  16. Lorber, Florian; Rosenmann, Amnon; Ničković, Dejan; Aichernig, Bernhard K.: Bounded determinization of timed automata with silent transitions (2017)
  17. Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko: Timed runtime monitoring for multiparty conversations (2017)
  18. 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)
  19. Rocha, Camilo; Meseguer, José; Muñoz, César: Rewriting modulo SMT and open system analysis (2017)
  20. Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen: Controller synthesis for dynamic hierarchical real-time plants using timed automata (2017)

1 2 3 ... 28 29 30 next