Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. - Rolf Drechsler; Nicole Drechsler; Elke Mackensen; Tobias Schubert 001; Bernd Becker 001 (EUROMICRO, 2000)

Specialized Hardware for Implementation of Evolutionary Algorithms. - Tobias Schubert 001; Elke Mackensen; Nicole Drechsler; Rolf Drechsler; Bernd Becker 001 (GECCO, 2000)

Parallel SAT Solving with Microcontrollers. - Tobias Schubert 001; Bernd Becker 001 (AACC, 2004)

A Distributed SAT Solver for Microcontroller. - Tobias Schubert 001; Bernd Becker 001 (ARCS Workshops, 2004)

Early Conflict Detection Based SAT Solving. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (MBMV, 2004)

PICHAFF2 - A Hierarchical Parallel SAT Solver. - Tobias Schubert 001; Bernd Becker 001 (MTV, 2004)

Early Conflict Detection Based BCP for SAT Solving. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (SAT, 2004)

Lemma Exchange in a Microcontroller Based Parallel SAT Solver. - Tobias Schubert 001; Bernd Becker 001 (ISVLSI, 2005)

PaMira - A Parallel SAT Solver with Knowledge Sharing. - Tobias Schubert 001; Matthew D. T. Lewis; Bernd Becker 001 (MTV, 2005)

Knowledge Sharing in a Microcontroller based Parallel SAT Solver. - Tobias Schubert 001; Bernd Becker 001 (PDPTA, 2005)

Speedup Techniques Utilized in Modern SAT Solvers. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (SAT, 2005)

Multithreaded SAT Solving. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (ASP-DAC, 2007)

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. - Martin Fränzle; Christian Herde; Tino Teige; Stefan Ratschan; Tobias Schubert 001 (J. Satisf. Boolean Model. Comput., 2007)

SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System. - Tobias Schubert 001 (2008)

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Paolo Marin; Matthew Lewis 004; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (RCRA@AI*IA, 2009)

Comparison of knowledge sharing strategies in a parallel QBF solver. - Paolo Marin; Massimo Narizzano; Enrico Giunchiglia; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (HPCS, 2009)

QmiraXT - A Multithreaded QBF Solver. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (MBMV, 2009)

Picoso - A Parallel Interval Constraint Solver. - Natalia Kalinnik; Tobias Schubert 001; Erika Ábrahám; Ralf Wimmer 001; Bernd Becker 001 (PDPTA, 2009)

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Paolo Marin; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (SAT, 2009)

PaMiraXT: Parallel SAT Solving with Threads and Message Passing. - Tobias Schubert 001; Matthew Lewis 004; Bernd Becker 001 (J. Satisf. Boolean Model. Comput., 2009)

Exploiting Different Strategies for the Parallelization of an SMT Solver. - Natalia Kalinnik; Erika Ábrahám; Tobias Schubert 001; Ralf Wimmer 001; Bernd Becker 001 (MBMV, 2010)

SAT-based analysis of sensitisable paths. - Matthias Sauer 002; Alexander Czutro; Tobias Schubert 001; Stefan Hillebrecht; Ilia Polian; Bernd Becker 001 (DDECS, 2011)

Incremental preprocessing methods for use in BMC. - Stefan Kupferschmid; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (Formal Methods Syst. Des., 2011)

Parallel QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001; Paolo Marin; Massimo Narizzano; Enrico Giunchiglia (Fundam. Informaticae, 2011)

Parallel SAT Solving in Bounded Model Checking. - Erika Ábrahám; Tobias Schubert 001; Bernd Becker 001; Martin Fränzle; Christian Herde (J. Log. Comput., 2011)

#SAT-based vulnerability analysis of security components - A case study. - Linus Feiten; Matthias Sauer 002; Tobias Schubert 001; Alexander Czutro; Eberhard Böhl; Ilia Polian; Bernd Becker 001 (DFT, 2012)

SAT-ATPG using preferences for improved detection of complex defect mechanisms. - Alexander Czutro; Matthias Sauer 002; Tobias Schubert 001; Ilia Polian; Bernd Becker 001 (VTS, 2012)

Provably optimal test cube generation using quantified boolean formula solving. - Matthias Sauer 002; Sven Reimer; Ilia Polian; Tobias Schubert 001; Bernd Becker 001 (ASP-DAC, 2013)

Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. - Matthias Sauer 002; Sven Reimer; Tobias Schubert 001; Ilia Polian; Bernd Becker 001 (DATE, 2013)

Accurate Computation of Sensitizable Paths Using Answer Set Programming. - Benjamin Andres; Matthias Sauer 002; Martin Gebser; Tobias Schubert 001; Bernd Becker 001; Torsten Schaub (LPNMR, 2013)

SAT-Based Analysis of Sensitizable Paths. - Matthias Sauer 002; Alexander Czutro; Tobias Schubert 001; Stefan Hillebrecht; Ilia Polian; Bernd Becker 001 (IEEE Des. Test, 2013)

Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. - Linus Feiten; Andreas Spilla; Matthias Sauer 002; Tobias Schubert 001; Bernd Becker 001 (Inf. Secur. J. A Glob. Perspect., 2013)

Incremental Encoding and Solving of Cardinality Constraints. - Sven Reimer; Matthias Sauer 002; Tobias Schubert 001; Bernd Becker 001 (ATVA, 2014)

Using MaxBMC for Pareto-optimal circuit initialization. - Sven Reimer; Matthias Sauer 002; Tobias Schubert 001; Bernd Becker 001 (DATE, 2014)

Exact Logic and Fault Simulation in Presence of Unknowns. - Dominik Erb; Michael A. Kochte; Matthias Sauer 002; Stefan Hillebrecht; Tobias Schubert 001; Hans-Joachim Wunderlich; Bernd Becker 001 (ACM Trans. Design Autom. Electr. Syst., 2014)

Laissez-Faire Caching for Parallel #SAT Solving. - Jan Burchard; Tobias Schubert 001; Bernd Becker 001 (SAT, 2015)

Formal Vulnerability Analysis of Security Components. - Linus Feiten; Matthias Sauer 002; Tobias Schubert 001; Victor Tomashevich; Ilia Polian; Bernd Becker 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Distributed Parallel #SAT Solving. - Jan Burchard; Tobias Schubert 001; Bernd Becker 001 (CLUSTER, 2016)

PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. - Marc Pfeifer; Tobias Schubert 001; Bernd Becker 001 (S-CUBE, 2016)

iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. - Benjamin Völker; Tobias Schubert 001; Bernd Becker 001 (S-CUBE, 2016)

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. - Jan Burchard; Mael Gay; Ange-Salomé Messeng Ekossono; Jan Horácek; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (FDTC, 2017)

Towards mixed structural-functional models for algebraic fault attacks on ciphers. - Jan Burchard; Ange-Salomé Messeng Ekossono; Jan Horácek; Mael Gay; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (IVSW, 2017)

Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. - Benjamin Völker; Philipp M. Scholl; Tobias Schubert 001; Bernd Becker 001 (e-Energy, 2018)