×

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; IF-2.0; NuSMV; Uppaal2k; UPPAAL TIGA; PVS; CMC; PHAVer; CADP; TINA; Maude; PPL; Bandera; Coq; CESAR; Romeo; Rabbit
Referenced in: 539 Publications
all top 5

Referenced by 912 Authors

61 Larsen, Kim Guldstrand
19 Bouyer, Patricia
18 David, Alexandre
16 Yi, Wang
14 Pettersson, Paul
13 Behrmann, Gerd
12 André, Étienne
12 Legay, Axel
10 Fribourg, Laurent
9 Cassez, Franck
9 Kwiatkowska, Marta Z.
9 Podelski, Andreas
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 Srba, Jiří
7 Tripakis, Stavros
6 Dierks, Henning
6 Gomez, Rodolfo
6 Katoen, Joost-Pieter
6 Laroussinie, François
6 Olderog, Ernst-Rüdiger
6 Rasmussen, Jacob Illum
6 Sirjani, Marjan
5 Bérard, Béatrice
5 Bowman, Howard
5 Braberman, Víctor
5 Chatain, Thomas
5 Fahrenberg, Uli
5 Henzinger, Thomas A.
5 Hune, Thomas
5 Kupferschmid, Sebastian
5 Maler, Oded
5 Mikucionis, Marius
5 Olivero, Alfredo
5 Reniers, Michel Adriaan
5 Reynier, Pierre-Alain
5 Rooda, Jacobus E.
5 Skou, Arne
5 Wąsowski, Andrzej
4 Aman, Bogdan
4 Asarin, Eugene
4 Baeten, Jos C. M.
4 Brinksma, Ed
4 Bulychev, Peter E.
4 Ciobanu, Gabriel
4 Dang, Zhe
4 Dong, JinSong
4 Fleury, Emmanuel
4 Hansen, Michael Reichhardt
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 Stoelinga, Mariëlle
4 Sun, Jun
4 van Beek, D. A.
4 Verwer, Sicco
4 Wang, Farn
3 Aceto, Luca
3 Akshay, S.
3 Balaguer, Sandie
3 Baresi, Luciano
3 Bengtsson, Johan
3 Beyer, Dirk
3 Bodeveix, Jean-Paul
3 Bøgsted Poulsen, Danny
3 Brihaye, Thomas
3 Corradini, Flavio
3 de Weerdt, Mathijs M.
3 De Wulf, Martin
3 Doyen, Laurent
3 Faconti, G. P.
3 Fehnker, Ansgar
3 Fokkink, Willem Jan
3 Furfaro, Angelo
3 Gastin, Paul
3 Hartmanns, Arnd
3 Hendriks, Martijn
3 Hoenicke, Jochen
3 Hoffmann, Jörg
3 Jacobsen, Lasse
3 Jacobsen, Morten
3 Jaghoori, Mohammad Mahdi
3 Jensen, Henrik Ejersbo
3 Jensen, Peter Gjøl
3 Jonsson, Bengt
3 Krishna, Shankara Narayanan
3 Larsson, Fredrik
...and 812 more Authors
all top 5

Referenced in 59 Serials

35 Theoretical Computer Science
32 Formal Methods in System Design
30 Formal Aspects of Computing
16 Real-Time Systems
15 Lecture Notes in Computer Science
12 Journal of Logical and Algebraic Methods in Programming
9 Acta Informatica
9 Information and Computation
9 Fundamenta Informaticae
9 The Journal of Logic and Algebraic Programming
7
6 Science of Computer Programming
6 Nordic Journal of Computing
3 Information Processing Letters
3 Journal of Computer Science and Technology
3 Machine Learning
3 Discrete Event Dynamic Systems
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 Distributed Computing
2 International Journal of Robust and Nonlinear Control
2 Computing and Informatics
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
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 Journal of Southeast University. Natural Science Edition
1 International Journal of Flexible Manufacturing Systems
1 Mathematical Biosciences and Engineering
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 Lecture Notes in Business Information Processing

Referencing Publications by Year