×

Uppaal

swMATH ID: 4702
Software Authors: Uppsala University, Sweden; Aalborg University in Denmark
Description: 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.
Homepage: http://www.uppaal.org/
Keywords: modeling real-time systems; dynamic modeling; modeling tools; UPPAAL
Related Software: Kronos; HyTech; SPIN; PRISM; UPPAAL TIGA; NuSMV; IF-2.0; Uppaal2k; PVS; CMC; PHAVer; CADP; TINA; Maude; PPL; Rabbit; Bandera; CESAR; GitHub; z3
Cited in: 571 Documents
all top 5

Cited by 966 Authors

64 Larsen, Kim Guldstrand
20 Bouyer, Patricia
18 David, Alexandre
17 Yi, Wang
15 Pettersson, Paul
13 Behrmann, Gerd
13 Legay, Axel
12 André, Étienne
10 Fribourg, Laurent
9 Cassez, Franck
9 Kwiatkowska, Marta Z.
9 Podelski, Andreas
9 Srba, Jiří
9 Vaandrager, Frits W.
8 Lime, Didier
8 Markey, Nicolas
8 Nielsen, Brian
7 Alur, Rajeev
7 Dang, Thao
7 D’Argenio, Pedro Rubén
7 Meseguer Guaita, José
7 Norman, Gethin
7 Olveczky, Peter Csaba
7 Raskin, Jean-François
7 Sirjani, Marjan
7 Tripakis, Stavros
6 Dierks, Henning
6 Fahrenberg, Uli
6 Gomez, Rodolfo
6 Katoen, Joost-Pieter
6 Laroussinie, François
6 Mikucionis, Marius
6 Olderog, Ernst-Rüdiger
6 Rasmussen, Jacob Illum
6 Reynier, Pierre-Alain
5 Aman, Bogdan
5 Bérard, Béatrice
5 Bowman, Howard
5 Braberman, Víctor
5 Chatain, Thomas
5 Ciobanu, Gabriel
5 Henzinger, Thomas A.
5 Hune, Thomas
5 Kupferschmid, Sebastian
5 Maler, Oded
5 Olivero, Alfredo
5 Reniers, Michel Adriaan
5 Rooda, Jacobus E.
5 Skou, Arne
5 Stoelinga, Mariëlle
5 Sun, Jun
5 Wąsowski, Andrzej
4 Asarin, Eugene
4 Baeten, Jos C. M.
4 Bøgsted Poulsen, Danny
4 Brihaye, Thomas
4 Brinksma, Ed
4 Bulychev, Peter E.
4 Dang, Zhe
4 Dong, JinSong
4 Fleury, Emmanuel
4 Gastin, Paul
4 Hansen, Michael Reichhardt
4 Herbreteau, Frédéric
4 Hung, Dang Van
4 Ivančić, Franjo
4 Lanotte, Ruggero
4 Ouaknine, Joel O.
4 Roux, Olivier H.
4 Schiffelers, R. R. H.
4 Sproston, Jeremy
4 Srivathsan, Balaguru
4 van Beek, D. A.
4 Verwer, Sicco
4 Wang, Farn
3 Aceto, Luca
3 Akshay, S.
3 Balaguer, Sandie
3 Barbot, Benoît
3 Baresi, Luciano
3 Bengtsson, Johan
3 Beyer, Dirk
3 Bodeveix, Jean-Paul
3 Corradini, Flavio
3 de Weerdt, Mathijs M.
3 De Wulf, Martin
3 Doyen, Laurent
3 Faconti, G. P.
3 Fehnker, Ansgar
3 Finkbeiner, Bernd
3 Fokkink, Willem Jan
3 Furfaro, Angelo
3 Ghassemi, Fatemeh
3 Hartmanns, Arnd
3 Hendriks, Martijn
3 Ho, Hsi-Ming
3 Hoenicke, Jochen
3 Hoffmann, Jörg
3 Jacobsen, Lasse
3 Jacobsen, Morten
...and 866 more Authors
all top 5

Cited in 59 Serials

35 Theoretical Computer Science
34 Formal Methods in System Design
29 Formal Aspects of Computing
16 Real-Time Systems
15 Lecture Notes in Computer Science
12 Journal of Logical and Algebraic Methods in Programming
10 Information and Computation
9 Acta Informatica
9 Fundamenta Informaticae
9 The Journal of Logic and Algebraic Programming
6 Science of Computer Programming
6 Nordic Journal of Computing
5 Logical Methods in Computer Science
3 Information Processing Letters
3 Journal of Computer Science and Technology
3 Machine Learning
3 Discrete Event Dynamic Systems
3 Distributed Computing
3 European Journal of Control
2 ACM Computing Surveys
2 Automatica
2 Journal of Computer and System Sciences
2 Annals of Pure and Applied Logic
2 Journal of Automated Reasoning
2 International Journal of Robust and Nonlinear Control
2 Natural Computing
2 ACM Transactions on Computational Logic
2 Frontiers of Computer Science
1 Artificial Intelligence
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 The Computer Journal. Section A / Section B
1 Computing
1 International Journal of Production Research
1 Computational Mathematics and Modeling
1 Annals of Operations Research
1 Journal of Logic and Computation
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Automata, Languages and Combinatorics
1 Optimization Methods & Software
1 Higher-Order and Symbolic Computation
1 International Journal of Applied Mathematics and Computer Science
1 Theory and Practice of Logic Programming
1 Computing and Informatics
1 Journal of Southeast University. Natural Science Edition
1 International Journal of Flexible Manufacturing Systems
1 DIMACS. Series in Discrete Mathematics and Theoretical Computer Science
1 Electronic Notes in Theoretical Computer Science
1 Studies in Computational Intelligence
1 Mathematics in Computer Science
1 Computer Science Review
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Modelirovanie i Analiz Informatsionnykh Sistem
1 Lecture Notes in Business Information Processing

Citations by Year