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; IF-2.0; NuSMV; Uppaal2k; PVS; CMC; PHAVer; CADP; TINA; Maude; PPL; Bandera; CESAR; Coq; Romeo; Rabbit Cited in: 541 Documents Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year A tutorial on UPPAAL. Zbl 1105.68350Behrmann, Gerd; David, Alexandre; Larsen, Kim G. 2004 UPPAAL – now, next, and future. Zbl 0985.68664Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre 2001 Uppaal in a nutshell. Zbl 1060.68577Larsen, Kim G.; Pettersson, Paul; Yi, Wang 1997 all top 5 Cited by 913 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 Sirjani, Marjan 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 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 Ghassemi, Fatemeh 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 Khamespanah, Ehsan ...and 813 more Authors all top 5 Cited 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 10 Information and Computation 9 Acta Informatica 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 3 Logical Methods in Computer Science 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 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 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 all top 5 Cited in 16 Fields 516 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 41 Systems theory; control (93-XX) 25 Operations research, mathematical programming (90-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 General and overarching topics; collections (00-XX) 5 Information and communication theory, circuits (94-XX) 4 Biology and other natural sciences (92-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Citations by Year