Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Jan Burchard, M. Sc. Jan Burchard, M. Sc.
Adresse Technische Fakultät
Georges Köhler Allee 51
79110 Freiburg
Deutschland
Büro Gebäude 051, Raum 01-031
Telefon +49 (0)761 203-8157
Fax +49 (0)761 203-8142
eMail burchard@informatik.uni-freiburg.de

Jan Burchard

Jahre: 2017 | 2016 | 2015 | 2013

    2017

    Icon: top nach oben zur Jahresübersicht
    • Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
      Efficient SAT-Based Generation of Hazard-Activated TSO Tests
      2017 IEEE VLSI Test Symposium (VTS'17)
    • Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
      Evaluating the Effectiveness of D-Chains in SAT based ATPG
      2017 IEEE Latin American Test Symposium (LATS'17)
    • Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
      Fast and Waveform-Accurate Hazard-Aware SAT-Based TSOF ATPG
      2017 Conference on Design, Automation and Test in Europe

    2016

    Icon: top nach oben zur Jahresübersicht
    • Jan Burchard, Tobias Schubert, Bernd Becker
      Distributed Parallel #SAT Solving
      2016 IEEE Cluster 2016
    • 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

    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
    • Matthias Sauer, Jan Burchard, Tobias Schubert, Ilia Polian, Bernd Becker
      Waveform-Guided Fault Injection by Clock Manipulation
      2013 TRUDEVICE Workshop