| ICP and IC3. | 0 | 0.34 | 2021 |
| Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. | 0 | 0.34 | 2021 |
| Towards Formal Verification of Optimized and Industrial Multipliers | 1 | 0.36 | 2020 |
| Quantifier Localization for DQBF. | 0 | 0.34 | 2019 |
| The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. | 0 | 0.34 | 2019 |
| Localizing Quantifiers for DQBF | 0 | 0.34 | 2019 |
| Incremental Inprocessing in SAT Solving. | 0 | 0.34 | 2019 |
| Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. | 0 | 0.34 | 2018 |
| Sequential Verification Using Reverse PDR. | 0 | 0.34 | 2017 |
| From DQBF to QBF by Dependency Elimination. | 2 | 0.36 | 2017 |
| Dependency Schemes for DQBF. | 3 | 0.37 | 2016 |
| Clauses Versus Gates in CEGAR-Based 2QBF Solving. | 2 | 0.36 | 2016 |
| 2QBF: Challenges and Solutions. | 3 | 0.40 | 2016 |
| The QBF Solver AIGSolve. | 2 | 0.36 | 2016 |
| Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments. | 0 | 0.34 | 2016 |
| Skolem Functions for DQBF. | 2 | 0.39 | 2016 |
| Preprocessing for DQBF | 8 | 0.51 | 2015 |
| Improving Interpolants for Linear Arithmetic. | 1 | 0.35 | 2015 |
| Fully symbolic TCTL model checking for complete and incomplete real-time systems | 2 | 0.37 | 2015 |
| Modeling Unknown Values in Test and Verification | 0 | 0.34 | 2015 |
| Solving DQBF through quantifier elimination | 11 | 0.49 | 2015 |
| Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. | 0 | 0.34 | 2014 |
| A dynamic virtual memory management under real-time constraints | 1 | 0.36 | 2014 |
| Simple interpolants for linear arithmetic | 4 | 0.46 | 2014 |
| Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns | 4 | 0.41 | 2013 |
| Proving QBF-hardness in Bounded Model Checking for Incomplete Designs | 4 | 0.40 | 2013 |
| Lemma localization: a practical method for downsizing SMT-interpolants | 3 | 0.38 | 2013 |
| Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. | 1 | 0.35 | 2013 |
| Equivalence Checking for Partial Implementations Revisited. | 2 | 0.39 | 2013 |
| Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. | 0 | 0.34 | 2012 |
| Enhanced Integration of QBF Solving Techniques. | 4 | 0.40 | 2012 |
| Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces | 16 | 0.62 | 2012 |
| Verifying Incomplete Networks of Timed Automata. | 3 | 0.40 | 2011 |
| Fully symbolic model checking for timed automata | 10 | 0.54 | 2011 |
| Bounded Model Checking of Incomplete Networks of Timed Automata | 8 | 0.53 | 2010 |
| A probabilistic and energy-efficient scheduling approach for online application in real-time systems | 6 | 0.52 | 2010 |
| SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. | 0 | 0.34 | 2010 |
| An AIG-Based QBF-solver using SAT for preprocessing | 21 | 0.82 | 2010 |
| Exploiting structure in an AIG based QBF solver | 14 | 0.68 | 2009 |
| Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. | 2 | 0.38 | 2009 |
| Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints | 14 | 1.31 | 2009 |
| Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. | 1 | 0.35 | 2009 |
| Improving energy-efficient real-time scheduling by exploiting code instrumentation | 0 | 0.34 | 2008 |
| Dynamische Verwaltung Virtuellen Speichers für Echtzeitsysteme. | 0 | 0.34 | 2008 |
| Counterexample Generation for Incomplete Designs. | 0 | 0.34 | 2007 |
| Computation of minimal counterexamples by using black box techniques and symbolic methods | 14 | 0.70 | 2007 |
| Towards an Experimental Autonomous Blimp Platform | 7 | 0.58 | 2007 |
| Exact state set representations in the verification of linear hybrid systems with large discrete state space | 27 | 1.75 | 2007 |
| Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling | 18 | 0.93 | 2006 |
| Automatic verification of hybrid systems with large discrete state space | 7 | 0.61 | 2006 |
