Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Using partial-order methods in the formal validation of industrial concurrent programs
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An Efficient Algorithm for Minimizing Real-Time Transition Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Deadlock detection in communicating finite state machines by even reachability analysis
Mobile Networks and Applications - Special issue: protocols for mobile environments
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Analysis of Bitstate Hashing
Formal Methods in System Design
Saving Space by Fully Exploiting Invisible Transitions
Formal Methods in System Design
Analysis tools for Ada concurrency designs
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
A Compositional Approach to Multiparadigm Programming
IEEE Software
Protocol Validation for Large-Scale Applications
IEEE Software
On-the-Fly Verification of Linear Temporal Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On Reachability Analysis of Communicating Finite State Machines
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
More efficient on-the-fly LTL verification with Tarjan's algorithm
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Correcting a Space-Efficient Simulation Algorithm
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Hierarchical Adaptive State Space Caching Based on Level Sampling
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Local Search in Model Checking
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
RAFFS: Model Checking a Robust Abstract Flash File Store
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modeling IETF session initiation protocol and its services in SDL
SDL'03 Proceedings of the 11th international conference on System design
Efficient approximate verification of Promela models via symmetry markers
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Efficient approximate verification of B and Z models via symmetry markers
Annals of Mathematics and Artificial Intelligence
A modular methodology to verify communication protocols
Computer Communications
Research: Designing bug-free protocols with SPIN
Computer Communications
Reachability and reverse reachability analysis of CFSMs
Computer Communications
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
Self-adaptive containers: building resource-efficient applications with low programmer overhead
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
| Hi-index | 0.00 |