| A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions | 0 | 0.34 | 2021 |
| Compositional model checking with divergence preserving branching bisimilarity is lively | 0 | 0.34 | 2020 |
| Lock and Fence When Needed - State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. | 0 | 0.34 | 2020 |
| Towards verified construction of correct and optimised GPU software. | 0 | 0.34 | 2020 |
| Formal Methods for GPGPU Programming - Is the Demand Met? | 0 | 0.34 | 2020 |
| Multiple Decision Making in Conflict-Driven Clause Learning | 0 | 0.34 | 2020 |
| Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. | 0 | 0.34 | 2019 |
| Dependency safety for Java - Implementing and testing failboxes. | 0 | 0.34 | 2019 |
| Sigma: Gpu Accelerated Simplification Of Sat Formulas | 1 | 0.36 | 2019 |
| Parallel SAT Simplification on GPU Architectures. | 1 | 0.36 | 2019 |
| The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | 0 | 0.34 | 2019 |
| Model checking: recent improvements and applications. | 0 | 0.34 | 2018 |
| On The Scalability Of The Gpuexplore Explicit-State Model Checker | 0 | 0.34 | 2018 |
| To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. | 0 | 0.34 | 2018 |
| A formal verification technique for behavioural model-to-model transformations. | 2 | 0.37 | 2018 |
| The SLCO Framework for Verified, Model-Driven Construction of Component Software. | 0 | 0.34 | 2018 |
| An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. | 6 | 0.50 | 2017 |
| Compositional Model Checking With Incremental Counter-Example Construction | 0 | 0.34 | 2017 |
| Analysing The Performance Of Gpu Hash Tables For State Space Exploration | 0 | 0.34 | 2017 |
| Compositional Model Checking Is Lively. | 3 | 0.41 | 2017 |
| Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). | 0 | 0.34 | 2016 |
| An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation | 0 | 0.34 | 2016 |
| Many-core on-the-fly model checking of safety properties using GPUs. | 8 | 0.50 | 2016 |
| Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. | 2 | 0.37 | 2016 |
| Dependency Safety for Java: Implementing Failboxes. | 0 | 0.34 | 2016 |
| Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. | 0 | 0.34 | 2016 |
| Bfs-Based Model Checking Of Linear-Time Properties With An Application On Gpus | 3 | 0.39 | 2016 |
| GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. | 1 | 0.36 | 2016 |
| Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. | 2 | 0.40 | 2016 |
| Partial-Order Reduction for GPU Model Checking. | 1 | 0.35 | 2016 |
| Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. | 2 | 0.39 | 2015 |
| GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. | 5 | 0.40 | 2014 |
| Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. | 6 | 0.43 | 2014 |
| Towards Verified Java Code Generation from Concurrent State Machines. | 2 | 0.39 | 2014 |
| REFINER: Towards Formal Verification of Model Transformations. | 9 | 0.64 | 2014 |
| Partial-Order Reduction for Multi-core LTL Model Checking. | 5 | 0.43 | 2014 |
| GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. | 10 | 0.54 | 2014 |
| Efficient property preservation checking of model refinements | 5 | 0.45 | 2013 |
| Sequential and distributed on-the-fly computation of weak tau-confluence | 6 | 0.44 | 2012 |
| Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. | 10 | 0.49 | 2012 |
| Extended beam search for non-exhaustive state space analysis. | 0 | 0.34 | 2012 |
| Multi-core nested depth-first search | 22 | 0.83 | 2011 |
| Parallel probabilistic model checking on general purpose graphics processors | 16 | 0.69 | 2011 |
| Property-dependent reductions for the modal Mu-calculus | 6 | 0.46 | 2011 |
| The Hive Tool For Informed Swarm State Space Exploration | 1 | 0.35 | 2011 |
| Forgetting the Time in Timed Process Algebra | 0 | 0.34 | 2010 |
| Hierarchical Adaptive State Space Caching Based on Level Sampling | 7 | 0.45 | 2009 |
| Is Timed Branching Bisimilarity a Congruence Indeed? | 2 | 0.38 | 2008 |
| Survey on Directed Model Checking | 14 | 0.52 | 2008 |
| Distributed Partial Order Reduction for Security Protocols | 4 | 0.40 | 2008 |
