Jan Burchard

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 12

Top Venues

DATE

VTS

CLUSTER

SAT

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
On Secure Data Flow in Reconfigurable Scan Networks. DATE (2019)
Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. VTS (2018)
Jan Burchard, Dominik Erb, Bernd Becker
Characterization of possibly detected faults by accurately computing their detection probability. DATE (2018)
Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (10) (2018)
Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
Efficient SAT-based generation of hazard-activated TSOF tests. VTS (2017)
Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. DATE (2017)
Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS (2017)
Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. J. Electron. Test. 33 (6) (2017)
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 Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
Integrating Algebraic and SAT Solvers. MACIS (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)
Jan Burchard, Tobias Schubert, Bernd Becker
Distributed Parallel #SAT Solving. CLUSTER (2016)
Jan Burchard, Tobias Schubert, Bernd Becker
Laissez-Faire Caching for Parallel #SAT Solving. SAT (2015)

Jan Burchard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Burchard