Stochastic timed automata simulator

Proceedings of the 4th European Computing Conference, ECC '10

Volumn , Issue , 2010, Pages 52-57

  Kaczmarczyk, Václav ^a   Šír, Michal ^a   Bradáč, Zdeněk ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Probabilistic simulation; Simulator; Timed automata; UPPAAL extension; UPPAAL PRO

Indexed keywords

PROBABILISTIC SIMULATION; STATE-SPACE; TIMED AUTOMATA; TRANSITION TIME; UPPAAL EXTENSION; UPPAAL PRO;

AUTOMATA THEORY; MATHEMATICAL MODELS; PROBABILITY DENSITY FUNCTION;

SIMULATORS;

EID: 79952652304     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. LARSEN, K. G. - PETTERSSON, P. - YI, W. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer. 1997
2. MORDECHAI, B. - Principles of the Spin Model Checker. Springer, 2008. ISBN 978-1-846-28769-5
3. BOZGA, M. et al - KRONOS: A Model-Checking Tool for Real-Time systems. Lecture Notes in Computer Science. Springer Berlin/Heidelberg. 1998. ISBN 978-3-540-65003-4
4. ALUR, R. Timed Automata. Lecture Notes in Computer Science. Springer Berlin/Heidelberg. 1999. ISSN 0302-9743
5. D'ARGENIO, P. R. A Compositional Translation of Stochastic Automata into Timed Automata. CTIT Tech. Rep. 00-08, University of Twente. 2000
6. BENGTSSON, J. - YI, W. Timed Automata: Semantics, Algorithms and Tools. Lecture Notes in Computer Science. Springer Berlin/Heidelberg. 2004. ISBN 978-3-540-22261-3
7. UPPAAL PRO: UPPAAL for Probabilistic Timed Automata [online]. 15/06/2009 [cit. 2010-01-10]. http://www.cs.aau.dk/~arild/uppaal-probabilistic/
8. UPPAAL TIGA: UPPAAL for Timed Games [online]. 11/09/2009 [cit. 2010-01-10]. http://www.cs.aau.dk/~adavid/tiga/