Matthias Sauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
14
Active years
1992–2025
Best venue rank
B
Where they publish
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETS | Towards Understanding of System-Level Test Unique Fails. | Nourhan Elhamawy, Jens Anders, Ilia Polian, Matthias Sauer |
| 2025 | ETS | Automated Test Equipment Drift Characterization Based on Gauge Repeatability and Reproducibility. | Anand Venkatachalam, Ernst Aderholz, Matthias Sauer, Simon Schweizer, Matthias Werner, Ilia Polian |
| 2025 | ITC | Influence of Automated Test Equipment Drift on Process Capability Studies. | Anand Venkatachalam, Ernst Aderholz, Matthias Sauer, Simon Schweizer, Matthias Werner, Ilia Polian |
| 2024 | ETS | Optimizing System-Level Test Program Generation via Genetic Programming. | Denis Schwachhofer, Francesco Angione, Steffen Becker, Stefan Wagner, Matthias Sauer, Paolo Bernardi, Ilia Polian |
| 2024 | ETS | Training Large Language Models for System-Level Test Program Generation Targeting Non-functional Properties. | Denis Schwachhofer, Peter Domanski, Steffen Becker, Stefan Wagner, Matthias Sauer, Dirk Pflger, Ilia Polian |
| 2024 | VTS | Scenario-based Test Content Optimization: Scan Test vs. System-Level Test. | Nourhan Elhamawy, Jens Anders, Ilia Polian, Matthias Sauer |
| 2023 | ETS | A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. | Jens Anders, Pablo Andreu, Bernd Becker, Steffen Becker, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, Nourhan Elhamawy, Tobias Faller, Carles Hernndez, Nele Mentens, Mahnaz Namazi Rizi, Ilia Polian, Abolfazl Sajadi, Matthias Sauer, Denis Schwachhofer, Matteo Sonza Reorda, Todor Stefanov, Ilya Tuzov, Stefan Wagner, Nusa Zidaric |
| 2023 | ETS | Automating Greybox System-Level Test Generation. | Denis Schwachhofer, Maik Betka, Steffen Becker, Stefan Wagner, Matthias Sauer, Ilia Polian |
| 2022 | DATE | Intelligent Methods for Test and Reliability. | Hussam Amrouch, Jens Anders, Steffen Becker, Maik Betka, Gerd Bleher, Peter Domanski, Nourhan Elhamawy, Thomas Ertl, Athanasios Gatzastras, Paul R. Genssler, Sebastian Hasler, Martin Heinrich, Andr van Hoorn, Hanieh Jafarzadeh, Ingmar Kallfass, Florian Klemme, Steffen Koch, Ralf Ksters, Andrs Lalama, Raphal Latty, Yiwen Liao, Natalia Lylina, Zahra Paria Najafi-Haghi, Dirk Pflger, Ilia Polian, Jochen Rivoir, Matthias Sauer, Denis Schwachhofer, Steffen Templin, Christian Volmer, Stefan Wagner, Daniel Weiskopf, Hans-Joachim Wunderlich, Bin Yang, Martin Zimmermann |
| 2022 | ETS | Machine Learning for Test, Diagnosis, Post-Silicon Validation and Yield Optimization. | Hussam Amrouch, Krishnendu Chakrabarty, Dirk Pflger, Ilia Polian, Matthias Sauer, Matteo Sonza Reorda |
| 2021 | ETS | Security, Reliability and Test Aspects of the RISC-V Ecosystem. | Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Grkaynak, Helena Handschuh, Carles Hernndez, Michael Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni |
| 2021 | IOLTS | System-Level Test: State of the Art and Challenges. | Davide Appello, H. H. Chen, Matthias Sauer, Ilia Polian, Paolo Bernardi, Matteo Sonza Reorda |
| 2021 | VTS | New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core. | Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matthias Sauer, Bernd Becker, Matteo Sonza Reorda |
| 2019 | DATE | On Secure Data Flow in Reconfigurable Scan Networks. | Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer |
| 2019 | ETS | On Integrating Lightweight Encryption in Reconfigurable Scan Networks. | Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer |
| 2019 | ITC | Security Compliance Analysis of Reconfigurable Scan Networks. | Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich |
| 2018 | ETS | Online prevention of security violations in reconfigurable scan networks. | Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich |
| 2018 | ETS | Towards the formal verification of security properties of a Network-on-Chip router. | Johanna Seplveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer |
| 2018 | IOLTS | Detecting and Resolving Security Violations in Reconfigurable Scan Networks. | Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodrguez Gmez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer |
| 2018 | VTS | Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. | Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer |
| 2017 | DATE | Sensitized path PUF: A lightweight embedded physical unclonable function. | Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rhrmair, Ilia Polian |
| 2017 | ETS | Specification and verification of security in reconfigurable scan networks. | Michael A. Kochte, Matthias Sauer, Laura Rodrguez Gmez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich |
| 2016 | ASPDAC | Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. | Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker |
| 2016 | ETS | Formal verification of secure reconfigurable scan network infrastructure. | Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich |
| 2016 | VTS | Effective generation and evaluation of diagnostic SBST programs. | Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker |
| 2015 | DATE | Solving DQBF through quantifier elimination. | Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker |
| 2015 | DATE | On the automatic generation of SBST test programs for in-field test. | Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker |
| 2015 | ETS | Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. | Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker |
| 2015 | ETS | Identification of high power consuming areas with gate type and logic level information. | Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara |
| 2015 | VTS | Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. | Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker |
| 2015 | VTS | Improving diagnosis resolution of a fault detection test set. | Andreas Riefert, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker |
| 2014 | ATVA | Incremental Encoding and Solving of Cardinality Constraints. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | Efficient SMT-based ATPG for interconnect open defects. | Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker |
| 2014 | DATE | Using MaxBMC for Pareto-optimal circuit initialization. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | An effective approach to automatic functional processor test generation for small-delay faults. | Andreas Riefert, Lyl M. Ciganda, Matthias Sauer, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker |
| 2014 | ETS | Variation-aware deterministic ATPG. | Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker |
| 2014 | ITC | Test pattern generation in presence of unknown values based on restricted symbolic logic. | Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker |
| 2014 | VLSID | Efficient SAT-Based Circuit Initialization for Larger Designs. | Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker |
| 2013 | ASPDAC | Provably optimal test cube generation using quantified boolean formula solving. | Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker |
| 2013 | DATE | Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. | Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2013 | ICCD | Equivalence checking of partial designs using dependency quantified Boolean formulae. | Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2013 | ITC | Early-life-failure detection using SAT-based ATPG. | Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2013 | VTS | Identification of critical variables using an FPGA-based fault injection framework. | Andreas Riefert, Jrg Mller, Matthias Sauer, Wolfram Burgard, Bernd Becker |
| 2012 | DATE | On the optimality of K longest path generation algorithm under memory constraints. | Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian |
| 2012 | ETS | Multi-conditional SAT-ATPG for power-droop testing. | Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker |
| 2012 | ETS | On the quality of test vectors for post-silicon characterization. | Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian |
| 2012 | ICCAD | Small-delay-fault ATPG with waveform accuracy. | Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker |
| 2012 | ITC | Functional test of small-delay faults using SAT and Craig interpolation. | Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker |
| 2012 | VLSID | Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. | Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker |
| 2012 | VTS | SAT-ATPG using preferences for improved detection of complex defect mechanisms. | Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2011 | DDECS | SAT-based analysis of sensitisable paths. | Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker |
| 2011 | IOLTS | Estimation of component criticality in early design steps. | Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker |
| 2011 | IOLTS | An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. | Matthias Sauer, Victor Tomashevich, Jrg Mller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard |
| 1994 | ISCAS | A New Retiming Algorithm for Circuit Design. | Sven Simon, Ernst G. Bernard, Matthias Sauer, Josef A. Nossek |
| 1993 | ICASSP | A CORDIC-based Jacobi-like algorithm for eigenvalue computation. | Jrgen Gtze, Steffen Paul, Matthias Sauer |
| 1993 | ISCAS | Block Sequential CORDIC Architectures. | Matthias Sauer, Ernst G. Bernard, Josef A. Nossek |
| 1992 | ICASSP | A pipeline architecture for modified higher radix FFT. | Ernst G. Bernard, Josef G. Krammer, Matthias Sauer, R. Schweizer |