Tobias Schubert

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 6

Top Venues

S-CUBE

DATE

e-Energy

Inf. Secur. J. A Glob. Perspect.

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Benjamin Völker, Philipp M. Scholl, Tobias Schubert, Bernd Becker
Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. e-Energy (2018)
Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW (2017)
Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC (2017)
Benjamin Völker, Tobias Schubert, Bernd Becker
iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. S-CUBE (2016)
Marc Pfeifer, Tobias Schubert, Bernd Becker
PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. S-CUBE (2016)
Jan Burchard, Tobias Schubert, Bernd Becker
Distributed Parallel #SAT Solving. CLUSTER (2016)
Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker
Formal Vulnerability Analysis of Security Components. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (8) (2015)
Jan Burchard, Tobias Schubert, Bernd Becker
Laissez-Faire Caching for Parallel #SAT Solving. SAT (2015)
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
Incremental Encoding and Solving of Cardinality Constraints. ATVA (2014)
Dominik Erb, Michael A. Kochte, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
Exact Logic and Fault Simulation in Presence of Unknowns. ACM Trans. Design Autom. Electr. Syst. 19 (3) (2014)
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
Using MaxBMC for Pareto-optimal circuit initialization. DATE (2014)
Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
Provably optimal test cube generation using quantified boolean formula solving. ASP-DAC (2013)
Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR (2013)
Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
SAT-Based Analysis of Sensitizable Paths. IEEE Des. Test 30 (4) (2013)
Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. DATE (2013)
Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. Inf. Secur. J. A Glob. Perspect. 22 (5-6) (2013)
Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker
#SAT-based vulnerability analysis of security components - A case study. DFT (2012)
Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker
SAT-ATPG using preferences for improved detection of complex defect mechanisms. VTS (2012)
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21 (1) (2011)
Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
SAT-based analysis of sensitisable paths. DDECS (2011)
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107 (2-3) (2011)
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
Incremental preprocessing methods for use in BMC. Formal Methods Syst. Des. 39 (2) (2011)
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV (2010)
Matthew Lewis, Tobias Schubert, Bernd Becker
QmiraXT - A Multithreaded QBF Solver. MBMV (2009)
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA (2009)
Tobias Schubert, Matthew Lewis, Bernd Becker
PaMiraXT: Parallel SAT Solving with Threads and Message Passing. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS (2009)
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
Picoso - A Parallel Interval Constraint Solver. PDPTA (2009)
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT (2009)
Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Matthew Lewis, Tobias Schubert, Bernd Becker
Multithreaded SAT Solving. ASP-DAC (2007)
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC (2006)
Tobias Schubert, Matthew D. T. Lewis, Bernd Becker
PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV (2005)
Tobias Schubert, Bernd Becker
Knowledge Sharing in a Microcontroller based Parallel SAT Solver. PDPTA (2005)
Tobias Schubert, Bernd Becker
Lemma Exchange in a Microcontroller Based Parallel SAT Solver. ISVLSI (2005)
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
Speedup Techniques Utilized in Modern SAT Solvers. SAT (2005)
Tobias Schubert, Bernd Becker
A Distributed SAT Solver for Microcontroller. ARCS Workshops (2004)
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
Early Conflict Detection Based SAT Solving. MBMV (2004)
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
Early Conflict Detection Based BCP for SAT Solving. SAT (2004)
Tobias Schubert, Bernd Becker
- A Hierarchical Parallel SAT Solver. MTV (2004)
Tobias Schubert, Bernd Becker
Parallel SAT Solving with Microcontrollers. AACC (2004)
Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO (2000)
Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO (2000)

Tobias Schubert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tobias Schubert