Tobias Schubert

Ange-Salomé Messeng Ekossono

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks.

[BibT_eX]

[DOI]

Ange-Salomé Messeng Ekossono

Mael Gay

Proceedings of the 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2017

2016

iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home.

[BibT_eX]

[DOI]

Benjamin Völker

Proceedings of the Sensor Systems and Software - 7th International Conference, S-Cube 2016, 2016

PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform.

[BibT_eX]

[DOI]

Marc Pfeifer

Proceedings of the Sensor Systems and Software - 7th International Conference, S-Cube 2016, 2016

Distributed Parallel #SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

2015

Formal Vulnerability Analysis of Security Components.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Laissez-Faire Caching for Parallel #SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Exact Logic and Fault Simulation in Presence of Unknowns.

[BibT_eX]

[DOI]

Hans-Joachim Wunderlich

ACM Trans. Design Autom. Electr. Syst., 2014

Using MaxBMC for Pareto-optimal circuit initialization.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Incremental Encoding and Solving of Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs.

[BibT_eX]

[DOI]

Inf. Secur. J. A Glob. Perspect., 2013

SAT-Based Analysis of Sensitizable Paths.

[BibT_eX]

[DOI]

IEEE Des. Test, 2013

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Provably optimal test cube generation using quantified boolean formula solving.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

SAT-ATPG using preferences for improved detection of complex defect mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE VLSI Test Symposium, 2012

#SAT-based vulnerability analysis of security components - A case study.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2012

2011

Parallel SAT Solving in Bounded Model Checking.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Parallel QBF Solving with Advanced Knowledge Sharing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Incremental preprocessing methods for use in BMC.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

SAT-based analysis of sensitisable paths.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010

Exploiting Different Strategies for the Parallelization of an SMT Solver.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

PaMiraXT: Parallel SAT Solving with Threads and Message Passing.

[BibT_eX]

[DOI]

Matthew Lewis

J. Satisf. Boolean Model. Comput., 2009

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Picoso - A Parallel Interval Constraint Solver.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

QmiraXT - A Multithreaded QBF Solver.

[BibT_eX]

Matthew Lewis

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Comparison of knowledge sharing strategies in a parallel QBF solver.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.

[BibT_eX]

[DOI]

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008

SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2007

Multithreaded SAT Solving.

[BibT_eX]

[DOI]

Matthew Lewis

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2005

Speedup Techniques Utilized in Modern SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Knowledge Sharing in a Microcontroller based Parallel SAT Solver.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

PaMira - A Parallel SAT Solver with Knowledge Sharing.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

Lemma Exchange in a Microcontroller Based Parallel SAT Solver.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

2004

Early Conflict Detection Based BCP for SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

PICHAFF<sup>2</sup> - A Hierarchical Parallel SAT Solver.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Early Conflict Detection Based SAT Solving.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

A Distributed SAT Solver for Microcontroller.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2004, 2004

Parallel SAT Solving with Microcontrollers.

[BibT_eX]

[DOI]