Transposition table driven work scheduling in distributed search
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Parallelizing the Murϕ Verifier
Formal Methods in System Design - Special issue on CAV '97
Addressing dynamic issues of program model checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Distributed LTL model-checking in SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search
IEEE Transactions on Parallel and Distributed Systems
Proceedings of the 24th International Conference on Software Engineering
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits
Formal Methods in System Design
Distributed-Memory Model Checking with SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Local Parallel Model Checking for the Alternation-Free µ-Calculus
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Scalable Distributed On-the-Fly Symbolic Model Checking
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Exploiting Transition Locality in the Disk Based Mur phi Verifier
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Parallel Model Checking for the Alternation Free µ-Calculus
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Exploiting Transition Locality in Automatic Verification
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Distributed LTL Model Checking Based on Negative Cycle Detection
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Modeling and verification of parallel processes
Efficiently verifying safety properties with idle office computers
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Distributed verification with LoLA
Fundamenta Informaticae - Concurrency specification and programming
Proceedings of the 42nd annual Design Automation Conference
CTL* model checking on a shared-memory architecture
Formal Methods in System Design
A work-efficient distributed algorithm for reachability analysis
Formal Methods in System Design
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
Parallel test generation and execution with Korat
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
A Stack-Slicing Algorithm for Multi-Core Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A Database Approach to Distributed State Space Generation
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Verification of Multi-threaded C++ Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Large-Scale Parallel Computing on Grids
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Parallel and Distributed Invariant Checking of Microcontroller Software
Electronic Notes in Theoretical Computer Science (ENTCS)
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Dynamic State Space Partitioning for External Memory Model Checking
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science (ENTCS)
Under-approximation Heuristics for Grid-based Bounded Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Symbolic Bounded Property Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Cloud9: a software testing service
ACM SIGOPS Operating Systems Review
"To store or not to store" reloaded: reclaiming memory on demand
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Parallel algorithms for finding SCCs in implicitly given graphs
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
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
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Distributed explicit fair cycle detection: set based approach
SPIN'03 Proceedings of the 10th international conference on Model checking software
dmcG: a distributed symbolic model checker based on GreatSPN
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Tutorial: parallel model checking
Proceedings of the 14th international SPIN conference on Model checking software
Generating counter-examples through randomized guided search
Proceedings of the 14th international SPIN conference on Model checking software
Distributed dynamic partial order reduction based verification of threaded software
Proceedings of the 14th international SPIN conference on Model checking software
Distributed synthesis of fault-tolerant programs in the high atomicity model
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Journal of Systems and 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
Parallel symbolic execution for automated real-world software testing
Proceedings of the sixth conference on Computer systems
Search-order independent state caching
Transactions on Petri nets and other models of concurrency IV
January: a parallel algorithm for bug hunting based on insect behavior
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
A new reachability algorithm for symmetric multi-processor architecture
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Exploiting hub states in automatic verification
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Time-Efficient model checking with magnetic disk
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Parallel external directed model checking with linear i/o
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
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
Parallel and distributed model checking in eddy
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Sequential and distributed on-the-fly computation of weak tau-confluence
Science of Computer Programming
Parallelizing top-down interprocedural analyses
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Parallel model checking using abstraction
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Distributed Verification with LoLA
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
ACM SIGSOFT Software Engineering Notes
Scaling symbolic execution using ranged analysis
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Improving communication for distributed model checking
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Evaluation of a simple, scalable, parallel best-first search strategy
Artificial Intelligence
Dynamic state space partitioning for external memory state space exploration
Science of Computer Programming
Distributed explicit state model checking of deadlock freedom
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |