The semantics and tool support of OZTA (original) (raw)
Related papers
Timed patterns: TCOZ to timed automata
2004
A semantic unit for timed automata based modeling languages
2006
TAME: A Specialized Specification and Verification System for Timed Automata
1996
Compiling real-time specifications into extended automata
IEEE Transactions on Software Engineering, 1992
A constraint-based approach for specification and verification of real-time systems
1997
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
Lecture Notes in Computer Science, 2010
Timed rewriting logic with an application to object-based specification
Science of Computer Programming, 1997
Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Lecture Notes in Computer Science, 2004
Temporal Logics, Automata, and Classical Theories for Defining Real-Time Languages
1999
Specification of Real-Time Systems in UML
J. Van Katwijk, Ella Roubtsova
Electronic Notes in Theoretical Computer Science, 2000
Specifying and proving properties of timed I/O automata using Tempo
Design Automation for Embedded Systems, 2008
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
Lecture Notes in Computer Science, 2013
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems* 1
Information Sciences, 1999
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science, 2002
From timed automata to DEVS models
2003
Timed Automata: Semantics, Algorithms and Tools
2003
A wide-spectrum language for object-based development of real-time systems
Information Sciences, 1999
Languages and methods for specifying real-time systems
2002
Formal Modelling Languages to Specify Real-Time Systems: A Survey
International Journal of Future Computer and Communication, 2013
A process algebraic framework for specification and validation of real-time systems
Formal Aspects of Computing, 2009
Polychronous automata and their use for formal validation of AADL models
Frontiers of Computer Science
Modeling Timed Automata Theory in PVS
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach
Mechanical verification of timed automata: a case study
1996
Tempo: A Toolkit for The Timed Input/Output Automata Formalism
Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, 2008
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata
ATOM: an object-based formal method for real-time systems
1999
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Lecture Notes in Computer Science