Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Schubert, Dr. Tobias Schubert, Dr.
Adresse Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Deutschland
Büro Gebäude 51, Raum 01..033
Telefon ++49 +761 203-8153
Fax ++49 +761 203-8142
eMail schubert@informatik.uni-freiburg.de

Tobias Schubert

Jahre: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2007 | 2006 | 2005 | 2004 | 2003 | 2000

    2017

    Icon: top nach oben zur Jahresübersicht
    • Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
      Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers
      2017 International Verification and Security Workshop (IVSW) 2017
    • Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
      Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers
      2017 RESCUE Workshop on Reliability, Security and Quality at ETS 2017

    2016

    Icon: top nach oben zur Jahresübersicht
    • Benjamin Völker, Tobias Schubert, Bernd Becker
      iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home
      2016 7th EAI International Conference on Sensor Systems and Software
    • Jan Burchard, Tobias Schubert, Bernd Becker
      Distributed Parallel #SAT Solving
      2016 IEEE Cluster 2016
    • Marc Pfeifer, Tobias Schubert, Bernd Becker
      PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform
      2016 7th EAI International Conference on Sensor Systems and Software
    • Maël Gay, Jan Burchard, Jan Horáček, Ange-Salomé Messeng Ekossono, Tobias Schubert, Bernd Becker, Ilia Polian, Martin Kreuzer
      Small Scale AES Toolbox: Algebraic and Propositional Formulas, Circuit-Implementations and Fault Equations
      2016 FCTRU'16

    2015

    Icon: top nach oben zur Jahresübersicht
    • Jan Burchard, Tobias Schubert, Bernd Becker
      Laissez-Faire Caching for Parallel #SAT Solving
      2015 International Conference on Theory and Applications of Satisfiability Testing, Band: 9340, Seiten: 46 - 61
    • Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker
      Formal Vulnerability Analysis of Security Components
      2015 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Band: 34, Nummer: 8, Seiten: 1358 - 1369

    2014

    Icon: top nach oben zur Jahresübersicht
    • Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
      Incremental Encoding and Solving of Cardinality Constraints
      2014 International Symposium on Automated Technology for Verification and Analysis, Springer International Publishing, Band: 8837, Seiten: 297 - 313
    • Tobias Schubert, Marc Pfeifer, Bernd Becker
      Accurate Controlling of Velocity on a Mobile Robot
      2014 29th International Conference on Computers and Their Applications
    • Dominik Erb, Michael Koche, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
      Exact Logic and Fault Simulation in Presence of Unknowns
      2014 ACM Transactions on Design Automation of Electronic Systems (TODAES), Band: 19, Seiten: 28:1 - 28:17
    • Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
      Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs
      2014 Information Security Journal: A Global Perspective, Band: 22, Nummer: 5-6, Seiten: 265 - 273
    • Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
      Using MaxBMC for Pareto-Optimal Circuit Initialization
      2014 Conf. on Design, Automation and Test in Europe

    2013

    Icon: top nach oben zur Jahresübersicht
    • Tobias Schubert, Jan Burchard, Matthias Sauer, Bernd Becker
      S-Trike: A Mobile Robot Platform for Higher Education
      2013 International Conference on Computer Applications in Industry and Engineering, Seiten: 243 - 248
    • Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Victor Tomashevich, Eberhard Böhl, Ilia Polian, Bernd Becker
      #SAT for Vulnerability Analysis of Security Components
      2013 (Workshop-Paper, Informal Proceedings) IEEE European Test Symposium
    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
      Accurate Computation of Sensitizable Paths using Answer Set Programming
      2013 Int. Conf. on Logic Programming and Nonmonotonic Reasoning, Seiten: 92 - 101
    • Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
      Analysis of Ring Oscillator PUFs on 60nm FPGAs
      2013 TRUDEVICE Workshop, Avignon
    • Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin, Bernd Becker
      Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits
      2013 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
      Efficient SAT-Based Dynamic Compaction and Relaxation for Longest Sensitizable Paths
      2013 Conf. on Design, Automation and Test in Europe, Seiten: 448 - 453
    • Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
      Provably Optimal Test Cube Generation Using Quantified Boolean Formula Solving
      2013 ASP Design Automation Conf.
    • Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
      SAT-based Analysis of Sensitisable Paths
      2013 IEEE Design & Test of Computers, Band: 30, Nummer: 4, Seiten: 81 - 88
    • Matthias Sauer, Jan Burchard, Tobias Schubert, Ilia Polian, Bernd Becker
      Waveform-Guided Fault Injection by Clock Manipulation
      2013 TRUDEVICE Workshop

    2012

    Icon: top nach oben zur Jahresübersicht
    • 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
      2012 IEEE International Symposium on Defect and Fault Tolerance (DFT), Seiten: 49 - 54
    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
      Accurate Computation of Longest Sensitizable Paths using Answer Set Programming
      2012 GMM/ITG-Fachtagung “Zuverlässigkeit und Entwurf”
    • Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker
      SAT-ATPG Using Preferences for Improved Detection of Complex Defect Mechanisms
      2012 VLSI Test Symp.

    2011

    Icon: top nach oben zur Jahresübersicht
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental preprocessing methods for use in BMC
      2011 Formal Methods in System Design, Band: 39, Seiten: 185 - 204
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Parallel QBF Solving with Advanced Knowledge Sharing
      2011 Fundamenta Informaticae, Band: 107, Nummer: 2-3, Seiten: 139 - 166
    • Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
      Parallel SAT Solving in Bounded Model Checking
      2011 Journal of Logic and Computation, Band: 21, Nummer: 1, Seiten: 5 - 21
    • Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
      SAT-Based Analysis of Sensitisable Paths
      2011 IEEE Design and Diagnostics of Electronic Circuits and Systems, Seiten: 93 - 98

    2010

    Icon: top nach oben zur Jahresübersicht
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental Preprocessing Methods for use in BMC
      2010 Int'l Workshop on Hardware Verification
    • Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
      Exploiting Different Strategies for the Parallelization of an SMT Solver
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Fraunhofer Verlag, Seiten: 97 - 106

    2009

    Icon: top nach oben zur Jahresübersicht
    • Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
      Picoso - A Parallel Interval Constraint Solver
      2009 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications, CSREA Press, Seiten: 473 - 479
    • Paolo Marin, Matthew Lewis, Massimo Narizzano, Tobias Schubert, Enrico Giunchiglia, Bernd Becker
      Comparison of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 High-Performance Computing and Simulation Conference, Seiten: 161 - 167
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      DPLL-based Reasoning in a Multi-Core Environment
      2009 Int'l Workshop on Microprocessor Test and Verification
    • Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Tobias Schubert, Matthew Lewis, Bernd Becker
      PaMiraXT: Parallel SAT Solving with Threads and Message Passing
      2009 Journal on Satisfiability, Boolean Modeling, and Computation, Band: 6, Seiten: 203 - 222
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing
      2009 Int'l Conf. on Theory and Applications of Satisfiability Testing, Band: 5584, Seiten: 509 - 523
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      QMiraXT - A Multithreaded QBF Solver
      2009 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2007

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Multithreaded SAT Solving
      2007 ASP Design Automation Conf., Seiten: 926 - 921
    • Martin Fränzle, Christian Herde, Tino Teige, S. Ratschan, Tobias Schubert
      Efficient Solving of Large Non-Linear Arithmetic Constraint Systems with Complex Boolean Structure
      2007 Journal on Satisfiability, Boolean Modeling, and Computation, Band: 1, Nummer: 3-4, Seiten: 209 - 236

    2006

    Icon: top nach oben zur Jahresübersicht
    • Martin Fränzle, Christian Herde, S. Ratschan, Tobias Schubert, Tino Teige
      Interval Constraint Solving Using Propositional SAT Solving Techniques
      2006 Int'l Workshop on the Integration of SAT and CP Techniques, Seiten: 81 - 95
    • Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
      Parallel SAT-Solving in Bounded Model Checking
      2006 Int'l Workshop on Parallel and Distributed Methods in Verification, Springer-Verlag, Band: 4346, Seiten: 301 - 315

    2005

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Speedup Techniques Utilized in Modern SAT Solvers - An Analysis in the MIRA Environment
      2005 Theory and Applications of Satisfiability Testing, Springer, Band: 3569, Seiten: 437 - 443
    • Tobias Schubert, Bernd Becker
      A Hardware Lab Anywhere at Any Time
      2005 Journal of Systemics, Cybernetics, and Informatics: JSCI, Band: 2, Nummer: 6
    • Tobias Schubert, Bernd Becker
      Accelerating Boolean SAT Engines Using Hyper-Threading Technology
      2005 Asian Applied Computing Conf.
    • Tobias Schubert, Bernd Becker
      Knowledge Sharing in a Microcontroller based Parallel SAT Solver
      2005 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications
    • Tobias Schubert, Bernd Becker
      Lemma Exchange in a Microcontroller based Parallel SAT Solver
      2005 IEEE Int'l Symp. on VLSI
    • Tobias Schubert, Bernd Becker, Matthew Lewis
      PaMira - A Parallel SAT Solver with Knowledge Sharing
      2005 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Band: 00, Seiten: 29 - 36

    2004

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Early Conflict Detection Based BCP for SAT Solving
      2004 Int'l Conf. on Theory and Applications of Satisfiability Testing, Seiten: 29 - 36
    • Tobias Schubert, Bernd Becker
      A Distributed SAT Solver for Microchip Microcontroller
      2004 Workshop on Parallel Systems and Algorithms
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Early Conflict Detection Based SAT Solving
      2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Tobias Schubert, Bernd Becker
      PICHAFF2 - A Hierarchical Parallel SAT Solver
      2004 Int'l Workshop on Microprocessor Test and Verification
    • Tobias Schubert, Bernd Becker
      Parallel SAT Solving with Microcontrollers
      2004 Asian Applied Computing Conf.

    2003

    Icon: top nach oben zur Jahresübersicht
    • Tobias Schubert, Bernd Becker
      PICHAFF: A Distributed SAT Solver for Microcontrollers
      2003 Euromicro Conf.
    • Tobias Schubert, Bernd Becker
      A Hardware Lab Anywhere At Anytime
      2003 Int'l Conf. on Education and Information Systems: Technologies and Applications, Seiten: 130 - 135
    • Andreas Hett, Tobias Schubert
      A Hardware Lab in a Pocket
      2003 World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education
    • Tobias Schubert, Andreas Hett
      A Hardware Lab in a Pocket
      2003 Int'l Conf. on Multimedia and Information and Communication Technologies in Education
    • Tobias Schubert, Bernd Becker
      Das Mobile Hardware-Praktikum
      2003 European Conf. on Media in Higher Education

    2000

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker
      Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System
      2000 Euromicro Conf., Seiten: 1:425 - 431
    • Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
      Specialized Hardware for Implementation of Evolutionary Algorithms
      2000 Int'l Workshop on Boolean Problems, Seiten: 175 - 182
    • Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
      Specialized Hardware for Implementation of Evolutionary Algorithms
      2000 Conf. on Genetic and Evolutionary Computation, Seite: 369