Martha Schnieber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2022–2026
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ETS | Path Delay Fault Testable KFDD Circuits with Polynomial Test Pattern Generation. | Martha Schnieber, Rolf Drechsler |
| 2025 | DSD | Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits. | Martha Schnieber, Rolf Drechsler |
| 2023 | MEMOCODE | Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. | Rolf Drechsler, Martha Schnieber |
| 2023 | MEMOCODE | Polynomial Formal Verification of KFDD Circuits. | Martha Schnieber, Rolf Drechsler |
| 2022 | DSD | Polynomial Formal Verification of Approximate Adders. | Martha Schnieber, Saman Frhlich, Rolf Drechsler |