Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Formal Methods in System Design
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Stepwise CTL Model Checking of State/Event Systems
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Modeling and verification of parallel processes
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal Methods in System Design
Compositional SCC Analysis for Language Emptiness
Formal Methods in System Design
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
Symbolic and compositional reachability for timed automata
RP'10 Proceedings of the 4th international conference on Reachability problems
| Hi-index | 0.00 |