| ICP and IC3. | 0 | 0.34 | 2021 |
| Introducing MILM - A Hybrid Minimal-Intrusive Load Monitoring Approach - Poster. | 0 | 0.34 | 2021 |
| A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home. | 0 | 0.34 | 2019 |
| Applying Tailored Formal Methods to X-ATPG. | 0 | 0.34 | 2016 |
| Towards Verification of Artificial Neural Networks. | 7 | 0.77 | 2015 |
| Mobile Learning mit kontextbezogenen mobilen Diensten in der "KMU Smart Factory": Szenarien und Lösungsansätze für Fertigungsprozesse. | 0 | 0.34 | 2014 |
| Implication Graph Compression inside the SMT Solver iSAT3. | 4 | 0.46 | 2014 |
| Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. | 17 | 0.61 | 2014 |
| Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. | 1 | 0.35 | 2013 |
| Recent Improvements in the SMT Solver iSAT. | 14 | 0.63 | 2013 |
| Symbolic Counterexample Generation for Discrete-Time Markov Chains. | 4 | 0.41 | 2012 |
| Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | 5 | 0.41 | 2012 |
| SMILE - Smartphones in A University Learning Environment - A Classroom Response System. | 0 | 0.34 | 2012 |
| Verifying Incomplete Networks of Timed Automata. | 3 | 0.40 | 2011 |
| Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. | 0 | 0.34 | 2011 |
| Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas | 2 | 0.38 | 2011 |
| DTMC Model Checking by SCC Reduction | 22 | 0.90 | 2010 |
| SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. | 0 | 0.34 | 2010 |
| 10271 Abstracts Collection - Verification over discrete-continuous boundaries. | 0 | 0.34 | 2010 |
| PaMiraXT: Parallel SAT Solving with Threads and Message Passing | 35 | 1.14 | 2009 |
| 09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. | 0 | 0.34 | 2009 |
| Comparison of knowledge sharing strategies in a parallel QBF solver. | 3 | 0.38 | 2009 |
| QmiraXT - A Multithreaded QBF Solver. | 13 | 0.59 | 2009 |
| The Demand for Reliability in Probabilistic Verification. | 0 | 0.34 | 2008 |
| Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors | 11 | 1.08 | 2008 |
| AVACS -- Automatic Verification and Analysis of Complex Systems. | 1 | 0.37 | 2007 |
| Memory-aware Bounded Model Checking for Linear Hybrid Systems. | 0 | 0.34 | 2006 |
| A Definition and Classification of Timing Anomalies | 73 | 3.53 | 2006 |
| Transient Fault Characterization in Dynamic Noisy Environments | 21 | 1.56 | 2005 |
| Automated Text Extraction And Indexing Of Video Presentation Recordings For Keyword Search Via A Web Interface. | 1 | 0.37 | 2005 |
| Early Conflict Detection Based SAT Solving. | 1 | 0.36 | 2004 |
| Early Conflict Detection Based BCP for SAT Solving | 5 | 0.53 | 2004 |
| The Case for 2-POF. | 0 | 0.34 | 2003 |
| Modeling feedback bridging faults with non-zero resistance. | 0 | 0.34 | 2003 |
| Crossing Reduction by Windows Optimization | 10 | 0.62 | 2002 |
| Symbolic Simulation of Algorithms Specified in HDL. | 0 | 0.34 | 2002 |
| Supervised Dynamic Recording in Model Checking. | 0 | 0.34 | 2001 |
| Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. | 0 | 0.34 | 2001 |
| Multi-objective Optimisation Based on Relation Favour | 56 | 2.55 | 2001 |
| Exploiting don't cares to minimize *BMDs | 0 | 0.34 | 2001 |
| Specialized Hardware for Implementation of Evolutionary Algorithms | 2 | 0.56 | 2000 |
| State Traversal guided by Hamming Distance Profiles. | 0 | 0.34 | 2000 |
| k-Layer Straightline Crossing Minimization by Speeding Up Sifting | 3 | 0.44 | 2000 |
| A Scalable BIST Architecture for Delay Faults | 8 | 0.58 | 1999 |
| Manipulation Algorithms for K*BMDs | 2 | 0.39 | 1997 |
| Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions | 0 | 0.34 | 1997 |
| On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms | 3 | 0.47 | 1997 |
| Learning heuristics by genetic algorithms | 6 | 0.82 | 1995 |
| Efficient graph based representation of multi-valued functions with an application to genetic algorithms | 5 | 0.49 | 1994 |
| Testability of circuits derived from functional decision diagrams | 2 | 0.63 | 1994 |
