Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
An Analysis of Bitstate Hashing
Formal Methods in System Design
Probabilistic state space search
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Parallelizing the Murϕ Verifier
Formal Methods in System Design - Special issue on CAV '97
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
IEEE Transactions on Software Engineering
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Finding Optimal Solutions to Atomix
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
25 Years of Model Checking
Tackling Large Verification Problems with the Swarm Tool
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Distributed colored Petri net model-checking with CYCLADES
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A nearly memory-optimal data structure for sets and mappings
SPIN'03 Proceedings of the 10th international conference on Model checking software
Distributed LTL Model Checking with Hash Compaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrency testing using schedule bounding: an empirical study
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
| Hi-index | 0.00 |