Statecharts: A visual formalism for complex systems
Science of Computer Programming
Priorities in process algebras
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
A process algebra for timed systems
Information and Computation
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Compositional Semantics of Non-Deterministic Synchronous Languages
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
A Front-End Generator for Verification Tools
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Compositional Semantics for Statecharts using Labeled Transition Systems
CONCUR '94 Proceedings of the Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A Process Algebraic Semantics for Statecharts via State Refinement
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Modeling Statecharts Behaviour in a Fully Abstract Way
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
A Concise Compositionalj Statecharts Semantics Definition
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
IEEE Transactions on Software Engineering
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
StateStream: a developer-centric approach towards unifying interaction models and architecture
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
What is in a step: new perspectives on a classical question
Time for verification
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Data warehousing and knowledge discovery: a chronological view of research challenges
DaWaK'05 Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |