| Automated Requirements-Based Testing of Black-Box Reactive Systems | 0 | 0.34 | 2020 |
| Automata based test generation with SpecPro | 0 | 0.34 | 2019 |
| Poster: Automatic Consistency Checking of Requirements with ReqV | 0 | 0.34 | 2019 |
| Property specification patterns at work: verification and inconsistency explanation | 1 | 0.38 | 2019 |
| Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. | 1 | 0.38 | 2018 |
| Learning middleware models for verification of distributed control programs. | 1 | 0.41 | 2017 |
| Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant. | 2 | 0.38 | 2017 |
| SEEG assistant: a 3DSlicer extension to support epilepsy surgery. | 6 | 0.69 | 2017 |
| Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. | 0 | 0.34 | 2016 |
| Automatic segmentation of deep intracerebral electrodes in computed tomography scans. | 9 | 0.72 | 2015 |
| An Empirical Perspective on Ten Years of QBF Solving. | 0 | 0.34 | 2015 |
| Automatic Test-Pattern Generation for Grey-Box Programs | 0 | 0.34 | 2015 |
| Parallel QBF Solving with Advanced Knowledge Sharing | 4 | 0.42 | 2011 |
| Clause/term resolution and learning in the evaluation of quantified Boolean formulas | 63 | 1.82 | 2011 |
| sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning | 26 | 0.92 | 2010 |
| Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting | 14 | 0.70 | 2010 |
| Automatic generation of high quality test sets via CBMC. | 1 | 0.36 | 2010 |
| QuBE7.0 | 0 | 0.34 | 2010 |
| Automatic Test Generation for Coverage Analysis of ERTMS Software | 3 | 0.42 | 2009 |
| Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver | 0 | 0.34 | 2009 |
| Improving the Automatic Test Generation process for Coverage Analysis using CBMC | 1 | 0.35 | 2009 |
| PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing | 8 | 0.55 | 2009 |
| Evaluating and certifying QBFs: A comparison of state-of-the-art tools | 18 | 0.86 | 2009 |
| Comparison of knowledge sharing strategies in a parallel QBF solver. | 3 | 0.38 | 2009 |
| Automatic Test Generation for Coverage Analysis Using CBMC | 4 | 0.50 | 2009 |
| Preprocessing Techniques for QBFs | 2 | 0.40 | 2008 |
| Ranking and Reputation Systems in the QBF Competition | 2 | 0.42 | 2007 |
| Quantifier structure in search based procedures for QBFs | 18 | 0.80 | 2007 |
| Report of the Third QBF Solvers Evaluation | 13 | 0.85 | 2006 |
| The QBFEVAL web portal | 7 | 0.81 | 2006 |
| QuBE++: An Efficient QBF Solver | 21 | 1.04 | 2004 |
| The second QBF solvers comparative evaluation | 12 | 0.65 | 2004 |
| Monotone Literals and Learning in QBF Reasoning | 8 | 0.56 | 2004 |
| QBF Reasoning on Real-World Instances | 8 | 0.64 | 2004 |
| Watched Data Structures for QBF Solvers | 18 | 0.85 | 2003 |
| Learning for quantified boolean logic satisfiability | 35 | 2.24 | 2002 |
| Towards an Efficient Library for SAT: a Manifesto | 2 | 0.74 | 2001 |
| QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability | 86 | 3.99 | 2001 |
| An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability | 5 | 0.72 | 2001 |
| Backjumping for quantified Boolean logic satisfiability | 49 | 2.77 | 2001 |
