Tamagotchis Need Not Die - Verification of STATEMENT Design

LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design

A Compositional Real-Time Semantics of STATEMATE Designs

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

An OCL Extension for Real-Time Constraints

Object Modeling with the OCL, The Rationale behind the Object Constraint Language

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification

Model Checking Synchronous Timing Diagrams

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

Implementing Statecharts in PROMELA/SPIN

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Toward an integratred verification environment for embedded systems

MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation

Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems

International Journal of Internet Technology and Secured Transactions

Structure preserving data abstractions for statecharts

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems