| Dependency safety for Java - Implementing and testing failboxes. | 0 | 0.34 | 2019 |
| Model checking: recent improvements and applications. | 0 | 0.34 | 2018 |
| Modular Termination Verification of Single-Threaded and Multithreaded Programs. | 1 | 0.35 | 2018 |
| HIFUtk: Visual Analytics for High Intensity Focused Ultrasound Simulation. | 0 | 0.34 | 2017 |
| Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). | 0 | 0.34 | 2016 |
| Many-core on-the-fly model checking of safety properties using GPUs. | 8 | 0.50 | 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 |
| 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 |
| Modular Termination Verification. | 4 | 0.39 | 2015 |
| Towards Verified Java Code Generation from Concurrent State Machines. | 2 | 0.39 | 2014 |
| Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria | 0 | 0.34 | 2014 |
| GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. | 10 | 0.54 | 2014 |
| Rna-Editing With Combined Insertion And Deletion Preserves Regularity | 0 | 0.34 | 2013 |
| Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome. | 0 | 0.34 | 2013 |
| Combining Insertion And Deletion In Rna-Editing Preserves Regularity | 0 | 0.34 | 2012 |
| Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. | 10 | 0.49 | 2012 |
| Mining Maximal Frequent Subgraphs in KEGG Reaction Networks | 0 | 0.34 | 2009 |
| In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition | 2 | 0.37 | 2009 |
| Large Scale Analysis of Small Repeats via Mining of the Human Genome | 2 | 0.62 | 2009 |
| Partial-order reduction for general state exploring algorithms | 16 | 0.67 | 2009 |
| On commutativity based Edge Lean search | 3 | 0.41 | 2009 |
| Stochastic Analysis of Amino Acid Substitution in Protein Synthesis | 5 | 0.44 | 2008 |
| Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets | 1 | 0.39 | 2008 |
| Multi-Core Model Checking with SPIN | 20 | 1.09 | 2007 |
| Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings | 15 | 2.91 | 2007 |
| The Design of a Multicore Extension of the SPIN Model Checker | 8 | 0.61 | 2007 |
| Using Fairness to Make Abstractions Work | 7 | 0.47 | 2004 |
| Genetic Code as a Gray Code Revisited | 2 | 0.63 | 2003 |
| A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction | 2 | 0.38 | 2002 |
| Symmetric Spin | 39 | 2.36 | 2002 |
| Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings | 23 | 2.17 | 2002 |
| A Heuristic for Symmetry Reductions with Scalarsets | 10 | 0.74 | 2001 |
| Enhancing Partial-Order Reduction via Process Clustering | 6 | 0.49 | 2001 |
| Model Checking SDL with Spin | 18 | 1.11 | 2000 |
| Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness | 4 | 0.44 | 1999 |
| Integrating Real Time into Spin: A Prototype Implementation | 34 | 1.72 | 1998 |
| Discrete-Time Promela and Spin | 18 | 1.09 | 1998 |
