Milton Keynes, U.K. Abstract (original) (raw)
Related papers
A framework and Patterns for the Specification of Reactive Systems
Information and Software Technology, 1998
A semantics of communicating reactive objects with timing
International Journal on Software Tools for Technology Transfer, 2006
A Framework and Patterns for the Support of Reactive Specifications
cse.wustl.edu
Logical Time for Reactive Software
2023
Verification of Reactive Systems Using Temporal Logic with Clocks
Theoretical Computer Science, 1999
Temporal logics for real-time system specification
ACM Computing Surveys, 2000
Specifying Timing Properties of Reactive Systems with TLC
1997
Temporal theories as modularisation units for concurrent system specification
Formal Aspects of Computing, 1992
Comments on temporal logics for real-time system specification
ACM Computing Surveys, 2009
A formal approach for the development of reactive systems
Information and Software Technology, 2011
Temporal Logics, Automata, and Classical Theories for Defining Real-Time Languages
1999
TCCS : A Temporal Calculus of Communicating Systems (DRAFT)
The DisCo language and temporal logic of actions
1990
1993
Reactive systems: modelling, specification and verification
2007
Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Variations on the semantics of graphical models for reactive systems
IEEE International Conference on Systems, Man and Cybernetics, 2002
Author's personal copy A formal approach for the development of reactive systems
A logic for the stepwise development of reactive systems
Theoretical Computer Science, 2018
On specifying real-time systems in a causality-based setting
Lecture Notes in Computer Science, 1996
2007
A specification idiom for reactive systems
2009
Expressing and organizing real-time specification patterns via temporal logics
Journal of Systems and Software, 2009
Formal specification and verification of real-time systems using Graph Grammars
Journal of the Brazilian Computer Society, 2007
A scenario based notation for specifying temporal properties
2006
An object-oriented dual language for specifying reactive systems
1994
Modeling and verifying real-time properties of reactive systems
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2013
Specification and verification of reactive system behaviour: The railroad crossing example
Real-Time Systems, 1996