Formal Verification of a Partial-Order Reduction Technique for Model Checking
Journal of Automated Reasoning
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Infinite Product of Traces Represented by Projections
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae
Model checking with fairness assumptions using PAT
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |