| On Preprocessing for Weighted MaxSAT. | 0 | 0.34 | 2021 |
| The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. | 0 | 0.34 | 2019 |
| On Integrating Lightweight Encryption in Reconfigurable Scan Networks | 1 | 0.36 | 2019 |
| SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching | 0 | 0.34 | 2019 |
| Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. | 2 | 0.37 | 2017 |
| Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model | 1 | 0.35 | 2017 |
| Sensitized path PUF: A lightweight embedded physical unclonable function. | 1 | 0.37 | 2017 |
| Motion Planning Under Partial Observability Using Game-Based Abstraction | 2 | 0.36 | 2017 |
| Cost vs. Time in Stochastic Games and Markov Automata. | 2 | 0.38 | 2017 |
| From DQBF to QBF by Dependency Elimination. | 2 | 0.36 | 2017 |
| Accurate ICP-based floating-point reasoning. | 1 | 0.40 | 2016 |
| On Optimal Power-Aware Path Sensitization | 0 | 0.34 | 2016 |
| Satisfiability Checking meets Symbolic Computation (Project Paper). | 4 | 0.47 | 2016 |
| Satisfiability Checking and Symbolic Computation. | 0 | 0.34 | 2016 |
| Sc2: Satisfiability Checking Meets Symbolic Computation (Project Paper) | 0 | 0.34 | 2016 |
| Identification of high power consuming areas with gate type and logic level information | 6 | 0.47 | 2015 |
| Verification of partial designs using incremental QBF. | 3 | 0.39 | 2015 |
| Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. | 0 | 0.34 | 2014 |
| Using interval constraint propagation for pseudo-Boolean constraint solving | 1 | 0.41 | 2014 |
| QBF with Soft Variables. | 1 | 0.35 | 2014 |
| Accurate Multi-cycle ATPG in Presence of X-Values | 9 | 0.58 | 2013 |
| Early-life-failure detection using SAT-based ATPG | 4 | 0.42 | 2013 |
| Search Space Reduction for Low-Power Test Generation | 3 | 0.42 | 2013 |
| Exact stuck-at fault classification in presence of unknowns | 11 | 0.55 | 2012 |
| Variation-Aware Fault Grading | 6 | 0.44 | 2012 |
| Fault diagnosis aware ATE assisted test response compaction | 0 | 0.34 | 2011 |
| Reachability analysis for incomplete networks of Markov decision processes | 1 | 0.37 | 2011 |
| Towards Variation-Aware Test Methods | 5 | 0.42 | 2011 |
| Bounded Model Checking of Incomplete Networks of Timed Automata | 8 | 0.53 | 2010 |
| Massive statistical process variations: A grand challenge for testing nanoelectronic circuits | 7 | 0.49 | 2010 |
| Exploiting Different Strategies for the Parallelization of an SMT Solver. | 2 | 0.38 | 2010 |
| Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. | 0 | 0.34 | 2010 |
| Picoso - A Parallel Interval Constraint Solver | 4 | 0.39 | 2009 |
| An Analysis Framework for Transient-Error Tolerance | 32 | 1.99 | 2007 |
| Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. | 2 | 0.40 | 2007 |
| Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis | 9 | 0.81 | 2006 |
| Knowledge Sharing In A Microcontroller Based Parallel Sat Solver | 0 | 0.34 | 2005 |
| Securing Wireless Networks in a University Environment | 2 | 0.47 | 2005 |
| A Distributed SAT Solver for Microcontroller | 3 | 0.40 | 2004 |
| Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems | 3 | 0.44 | 2004 |
| Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST | 7 | 0.50 | 2003 |
| Simulating Resistive-Bridging and Stuck-At Faults | 33 | 1.48 | 2003 |
| Word-Level Decision Diagrams, WLCDs and Division | 9 | 0.76 | 1998 |
| On the testability of iterative logic arrays | 2 | 0.42 | 1995 |
| A performance driven generator for efficient testable conditional-sum-adders | 2 | 0.40 | 1992 |
