| Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions | 2 | 0.37 | 2021 |
| A Feature and Classifier Study for Appliance Event Classification | 0 | 0.34 | 2021 |
| Strengthening Deterministic Policies for POMDPs | 0 | 0.34 | 2020 |
| FIRED - A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. | 0 | 0.34 | 2020 |
| Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets | 1 | 0.39 | 2020 |
| Security Compliance Analysis of Reconfigurable Scan Networks | 0 | 0.34 | 2019 |
| Finite-State Controllers Of Pomdps Via Parameter Synthesis | 3 | 0.36 | 2018 |
| Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. | 2 | 0.37 | 2018 |
| Hqspre - An Effective Preprocessor For Qbf And Dqbf | 3 | 0.38 | 2017 |
| Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. | 0 | 0.34 | 2017 |
| PHAETON: A SAT-based Framework for Timing-aware Path Sensitization | 6 | 0.44 | 2016 |
| Distributed Parallel #SAT Solving | 0 | 0.34 | 2016 |
| Dependency Schemes for DQBF. | 3 | 0.37 | 2016 |
| A Flexible Framework for the Automatic Generation of SBST Programs. | 11 | 0.57 | 2016 |
| PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. | 0 | 0.34 | 2016 |
| Accurate Cegar-Based Atpg In Presence Of Unknown Values For Large Industrial Designs | 1 | 0.35 | 2016 |
| Revocable Anonymisation In Video Surveillance: A "Digital Cloak Of Invisibility" | 0 | 0.34 | 2016 |
| Improving diagnosis resolution of a fault detection test set | 2 | 0.37 | 2015 |
| Abstraction-Based Computation Of Reward Measures For Markov Automata | 2 | 0.37 | 2015 |
| Preprocessing for DQBF | 8 | 0.51 | 2015 |
| Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases | 3 | 0.40 | 2015 |
| Formal Vulnerability Analysis of Security Components | 2 | 0.38 | 2015 |
| Improving test pattern generation in presence of unknown values beyond restricted symbolic logic | 2 | 0.39 | 2015 |
| Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects | 6 | 0.49 | 2015 |
| On the automatic generation of SBST test programs for in-field test | 7 | 0.48 | 2015 |
| SAT-Based Test Pattern Generation with Improved Dynamic Compaction | 3 | 0.45 | 2014 |
| Efficient SAT-Based Circuit Initialization for Larger Designs | 1 | 0.36 | 2014 |
| An effective approach to automatic functional processor test generation for small-delay faults | 10 | 0.52 | 2014 |
| Megara: Menu-Based Game Abstraction And Abstraction Refinement Of Markov Automata | 3 | 0.38 | 2014 |
| Symbolic counterexample generation for large discrete-time Markov chains. | 7 | 0.44 | 2014 |
| Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization | 2 | 0.36 | 2014 |
| Incremental Encoding and Solving of Cardinality Constraints. | 4 | 0.40 | 2014 |
| Minimal counterexamples for linear-time probabilistic verification. | 6 | 0.47 | 2014 |
| Proving QBF-hardness in Bounded Model Checking for Incomplete Designs | 4 | 0.40 | 2013 |
| Accurate Computation of Sensitizable Paths Using Answer Set Programming. | 1 | 0.35 | 2013 |
| Accelerating Parametric Probabilistic Verification | 5 | 0.44 | 2013 |
| Pre-characterization procedure for a mixed mode simulation of IR-drop induced delays. | 2 | 0.43 | 2013 |
| Small-delay-fault ATPG with waveform accuracy | 13 | 0.83 | 2012 |
| On the quality of test vectors for post-silicon characterization | 6 | 0.41 | 2012 |
| On the optimality of K longest path generation algorithm under memory constraints | 9 | 0.58 | 2012 |
| Minimal critical subsystems for discrete-time markov models | 23 | 0.67 | 2012 |
| Counterexample generation for Markov chains using SMT-based bounded model checking | 7 | 0.46 | 2011 |
| Modeling and Mitigating Transient Errors in Logic Circuits | 21 | 0.93 | 2011 |
| Parallel QBF Solving with Advanced Knowledge Sharing | 4 | 0.42 | 2011 |
| Incremental preprocessing methods for use in BMC | 18 | 0.74 | 2011 |
| Estimation of component criticality in early design steps | 1 | 0.38 | 2011 |
| An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors | 4 | 0.44 | 2011 |
| Fault Models And Test Algorithms For Nanoscale Technologies | 0 | 0.34 | 2010 |
| Reducing temperature variability by routing heat pipes | 1 | 0.37 | 2009 |
| PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing | 8 | 0.55 | 2009 |
