Tobias Schubert

44 papers A 7B 2C 3Misc 3Journal 9Unranked 19

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