The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Sauer 0002" ( http://dblp.L3S.de/Authors/Matthias_Sauer_0002 )

URL (Homepage):  https://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=66  Author page on DBLP  Author page in RDF  Community of Matthias Sauer 0002 in ASPL-2

Publication years (Num. hits)
2011-2013 (25) 2014-2015 (21) 2016-2018 (16) 2019 (2)
Publication types (Num. hits)
article(11) inproceedings(52) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 65 publication records. Showing 64 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
1Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker 0001, Matthias Sauer 0002 On Integrating Lightweight Encryption in Reconfigurable Scan Networks. Search on Bibsonomy ETS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johanna Sepúlveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker 0001, Matthias Sauer 0002 Towards the formal verification of security properties of a Network-on-Chip router. Search on Bibsonomy ETS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ahmed Atteya, Michael A. Kochte, Matthias Sauer 0002, Pascal Raiola, Bernd Becker 0001, Hans-Joachim Wunderlich Online prevention of security violations in reconfigurable scan networks. Search on Bibsonomy ETS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker 0001, Matthias Sauer 0002 Detecting and Resolving Security Violations in Reconfigurable Scan Networks. Search on Bibsonomy IOLTS 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
1Matthias Sauer 0002, Pascal Raiola, Linus Feiten, Bernd Becker 0001, Ulrich Rührmair, Ilia Polian Sensitized path PUF: A lightweight embedded physical unclonable function. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael A. Kochte, Matthias Sauer 0002, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker 0001, Hans-Joachim Wunderlich Specification and verification of security in reconfigurable scan networks. Search on Bibsonomy ETS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer 0002, Bernd Becker 0001 Systemic Frequency Biases in Ring Oscillator PUFs on FPGAs. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 A Flexible Framework for the Automatic Generation of SBST Programs. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Bernd Becker 0001, Ilia Polian PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002 Extracting the RC4 secret key of the Open Smart Grid Protocol. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Bernd Becker 0001 On Metrics to Quantify the Inter-Device Uniqueness of PUFs. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael A. Kochte, Rafal Baranowski, Matthias Sauer 0002, Bernd Becker 0001, Hans-Joachim Wunderlich Formal verification of secure reconfigurable scan network infrastructure. Search on Bibsonomy ETS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. Search on Bibsonomy ASP-DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker 0001, Ilia Polian On Optimal Power-Aware Path Sensitization. Search on Bibsonomy ATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 SAT-Based Combinational and Sequential Dependency Computation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 Effective generation and evaluation of diagnostic SBST programs. Search on Bibsonomy VTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Tobias Schubert 0001, Victor Tomashevich, Ilia Polian, Bernd Becker 0001 Formal Vulnerability Analysis of Security Components. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer 0002, Christoph Scholl, Bernd Becker 0001 Solving DQBF through quantifier elimination. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 On the automatic generation of SBST test programs for in-field test. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Linus Feiten, Tobias Martin, Matthias Sauer 0002, Bernd Becker 0001 Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kohei Miyase, Matthias Sauer 0002, Bernd Becker 0001, Xiaoqing Wen, Seiji Kajihara Identification of high power consuming areas with gate type and logic level information. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl, Ralf Wimmer Modeling Unknown Values in Test and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. Search on Bibsonomy VTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Improving diagnosis resolution of a fault detection test set. Search on Bibsonomy VTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Paolo Marin, Bernd Becker 0001 QBF with Soft Variables. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Matthias Sauer 0002, Stefan Hillebrecht, Tobias Schubert 0001, Hans-Joachim Wunderlich, Bernd Becker 0001 Exact Logic and Fault Simulation in Presence of Unknowns. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Using MaxBMC for Pareto-optimal circuit initialization. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Bernd Becker 0001 Efficient SMT-based ATPG for interconnect open defects. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Lyl M. Ciganda, Matthias Sauer 0002, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker 0001 An effective approach to automatic functional processor test generation for small-delay faults. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker 0001 Variation-aware deterministic ATPG. Search on Bibsonomy ETS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. Search on Bibsonomy ATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Incremental Encoding and Solving of Cardinality Constraints. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Test pattern generation in presence of unknown values based on restricted symbolic logic. Search on Bibsonomy ITC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Sudhakar M. Reddy, Bernd Becker 0001 Efficient SAT-Based Circuit Initialization for Larger Designs. Search on Bibsonomy VLSI Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer 0002 Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization. Search on Bibsonomy DTIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002 Testing time - time to test?: using formal methods for the timing analysis of digital circuits. Search on Bibsonomy 2014   RDF
1Linus Feiten, Andreas Spilla, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. Search on Bibsonomy Information Security Journal: A Global Perspective The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Tobias Schubert 0001, Stefan Hillebrecht, Ilia Polian, Bernd Becker 0001 SAT-Based Analysis of Sensitizable Paths. Search on Bibsonomy IEEE Design & Test The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Tobias Schubert 0001, Ilia Polian, Bernd Becker 0001 Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Ilia Polian, Tobias Schubert 0001, Bernd Becker 0001 Provably optimal test cube generation using quantified boolean formula solving. Search on Bibsonomy ASP-DAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Accurate Multi-cycle ATPG in Presence of X-Values. Search on Bibsonomy Asian Test Symposium The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kohei Miyase, Matthias Sauer 0002, Bernd Becker 0001, Xiaoqing Wen, Seiji Kajihara Search Space Reduction for Low-Power Test Generation. Search on Bibsonomy Asian Test Symposium The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence Checking for Partial Implementations Revisited. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub Accurate Computation of Sensitizable Paths Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Matthias Sauer 0002, Bernd Becker 0001, Subhasish Mitra Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics. Search on Bibsonomy CICC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence checking of partial designs using dependency quantified Boolean formulae. Search on Bibsonomy ICCD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Jörg Müller 0004, Matthias Sauer 0002, Wolfram Burgard, Bernd Becker 0001 Identification of critical variables using an FPGA-based fault injection framework. Search on Bibsonomy VTS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker 0001 Early-life-failure detection using SAT-based ATPG. Search on Bibsonomy ITC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jie Jiang, Matthias Sauer 0002, Alexander Czutro, Bernd Becker 0001, Ilia Polian On the optimality of K longest path generation algorithm under memory constraints. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Bernd Becker 0001, Ilia Polian On the quality of test vectors for post-silicon characterization. Search on Bibsonomy European Test Symposium The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Czutro, Matthias Sauer 0002, Ilia Polian, Bernd Becker 0001 Multi-conditional SAT-ATPG for power-droop testing. Search on Bibsonomy European Test Symposium The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Czutro, Michael E. Imhof, J. Jiang, Abdullah Mumtaz, Matthias Sauer 0002, Bernd Becker 0001, Ilia Polian, Hans-Joachim Wunderlich Variation-Aware Fault Grading. Search on Bibsonomy Asian Test Symposium The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Ilia Polian, Bernd Becker 0001 Small-delay-fault ATPG with waveform accuracy. Search on Bibsonomy ICCAD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Tobias Schubert 0001, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker 0001 #SAT-based vulnerability analysis of security components - A case study. Search on Bibsonomy DFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Czutro, Matthias Sauer 0002, Tobias Schubert 0001, Ilia Polian, Bernd Becker 0001 SAT-ATPG using preferences for improved detection of complex defect mechanisms. Search on Bibsonomy VTS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker 0001 Functional test of small-delay faults using SAT and Craig interpolation. Search on Bibsonomy ITC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker 0001 Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. Search on Bibsonomy VLSI Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Tobias Schubert 0001, Stefan Hillebrecht, Ilia Polian, Bernd Becker 0001 SAT-based analysis of sensitisable paths. Search on Bibsonomy DDECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Jie Jiang, Alejandro Czutro, Ilia Polian, Bernd Becker 0001 Efficient SAT-Based Search for Longest Sensitisable Paths. Search on Bibsonomy Asian Test Symposium The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Victor Tomashevich, Jörg Müller 0004, Matthew D. T. Lewis, Andreas Spilla, Ilia Polian, Bernd Becker 0001, Wolfram Burgard An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. Search on Bibsonomy IOLTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alejandro Czutro, Ilia Polian, Bernd Becker 0001 Estimation of component criticality in early design steps. Search on Bibsonomy IOLTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #64 of 64 (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