| The Java Pathfinder Workshop 2019 | 0 | 0.34 | 2020 |
| Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. | 0 | 0.34 | 2016 |
| JPF Verification of Habanero Java Programs using Gradual Type Permission Regions | 1 | 0.36 | 2015 |
| Detecting MPI Zero Buffer Incompatibility by SMT Encoding. | 4 | 0.38 | 2015 |
| Vector-clock based partial order reduction for JPF | 2 | 0.37 | 2014 |
| JPF verification of habanero Java programs | 6 | 0.51 | 2014 |
| Towards a lazier symbolic pathfinder | 0 | 0.34 | 2014 |
| Proving MCAPI executions are correct using SMT | 5 | 0.41 | 2013 |
| Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision | 0 | 0.34 | 2012 |
| Modeling asynchronous message passing for c programs | 2 | 0.40 | 2012 |
| Computing and visualizing the impact of change with Java PathFinder extensions | 3 | 0.38 | 2012 |
| Slicing and dicing bugs in concurrent programs | 1 | 0.35 | 2010 |
| MCC: A runtime verification tool for MCAPI user applications | 12 | 0.67 | 2009 |
| Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 | 9 | 0.76 | 2009 |
| Dynamic Verification Of Multicore Communication Applications In Mcapi | 1 | 0.36 | 2009 |
| Model checking machine code with the GNU debugger | 28 | 1.34 | 2005 |
| Explicit State Model Checking with Hopper | 12 | 0.59 | 2004 |
| Synchronous Interlocked Pipelines | 39 | 2.82 | 2002 |
