Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Optimal Remapping in Dynamic Bulk Synchronous Computations via a Stochastic Control Approach
IEEE Transactions on Parallel and Distributed Systems
Optimal Remapping in Dynamic Bulk Synchronous Computations via a Stochastic Control Approach
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Optimal periodic remapping of dynamic bulk synchronous computations
Journal of Parallel and Distributed Computing
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
Distribution, Approximation and Probabilistic Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Unification & sharing in timed automata verification
SPIN'03 Proceedings of the 10th international conference on Model checking software
Proceedings of the IEEE/ACM international conference on Automated software engineering
A dynamic firing speculation to speedup distributed symbolic state-space generation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Parallel explicit state reachability analysis and state space construction
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Improving communication for distributed model checking
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Dynamic state space partitioning for external memory state space exploration
Science of Computer Programming
| Hi-index | 0.00 |