Concepedia

Matthias Sauer

MS

36

Publications

727

Citations

18

H-Index

1995

Active since

Affiliations

University of Freiburg(Current)

University of Passau

University of Stuttgart

Polytechnic University of Turin

University of Iowa

Matthias Sauer is an author at University of Freiburg specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSoftware TestingSystems EngineeringHardware SecurityDesign For Testing

Publications per year

1995–2020

36

Publications

36

A Flexible Framework for the Automatic Generation of SBST Programs

Andreas Riefert, Riccardo Cantoro, Matthias Sauer et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2016 · 63 citations

Software Maintenance, Engineering, Verification +26

Small-delay-fault ATPG with waveform accuracy

Matthias Sauer, Alexander Czutro, Ilia Polian et al. · 2012 · 47 citations

Engineering, Verification, Software Analysis +21

Exploring the Mysteries of System-Level Test

Ilia Polian, Jens Anders, Steffen Becker et al. · 2020 · 44 citations · Full text

Software Maintenance, Engineering, Verification +20

Equivalence checking of partial designs using dependency quantified Boolean formulae

Karina Gitina, Sven Reimer, Matthias Sauer et al. · 2013 · 34 citations

Circuit Complexity, Logic Synthesis, Qbf Approximations +15

Functional test of small-delay faults using SAT and Craig interpolation

Matthias Sauer, Stefan Kupferschmid, Alexander Czutro et al. · 2012 · 29 citations

Engineering, Verification, Computer Architecture +23

Rows per page

1–5 of 36