The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jan Burchard" ( http://dblp.L3S.de/Authors/Jan_Burchard )

  Author page on DBLP  Author page in RDF  Community of Jan Burchard in ASPL-2

Publication years (Num. hits)
2015 (1) 2016 (1) 2017 (7) 2018 (4) 2019 (1)
Publication types (Num. hits)
article(2) inproceedings(11) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker 0001, Matthias Sauer 0002 On Secure Data Flow in Reconfigurable Scan Networks. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker 0001 On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Bernd Becker 0001 Characterization of possibly detected faults by accurately computing their detection probability. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker 0001, Matthias Sauer 0002 Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. Search on Bibsonomy VTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Burchard Applying advanced SAT-based techniques to circuit testing. Search on Bibsonomy 2018   RDF
1Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker 0001 Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. Search on Bibsonomy J. Electronic Testing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer Integrating Algebraic and SAT Solvers. Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker 0001 Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian Towards mixed structural-functional models for algebraic fault attacks on ciphers. Search on Bibsonomy IVSW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Mael Gay, Ange Salome Messeng Ekossono, Jan Horácek, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. Search on Bibsonomy FDTC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker 0001 Evaluating the effectiveness of D-chains in SAT-based ATPG. Search on Bibsonomy LATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker 0001 Efficient SAT-based generation of hazard-activated TSOF tests. Search on Bibsonomy VTS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Distributed Parallel #SAT Solving. Search on Bibsonomy CLUSTER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Laissez-Faire Caching for Parallel #SAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license