PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Fey, Görschwin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.

, , , , , und . MEMOCODE, Seite 181-187. IEEE Computer Society, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maximilian Fey University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Targeting Leakage Constraints during ATPG., , , und . ATS, Seite 225-230. IEEE Computer Society, (2008)SAT-based ATPG for Path Delay Faults in Sequential Circuits., , und . ISCAS, Seite 3671-3674. IEEE, (2007)FoREnSiC- An Automatic Debugging Environment for C Programs., , , , , , , , und . Haifa Verification Conference, Volume 7857 von Lecture Notes in Computer Science, Seite 260-265. Springer, (2012)Property mining using dynamic dependency graphs., , und . ASP-DAC, Seite 244-250. IEEE, (2017)Analysis of the effects of soft errors on compression algorithms through fault injection inside program variables., , , und . LATS, Seite 14-19. IEEE, (2016)A High-Level Approach to Analyze the Effects of Soft Errors on Lossless Compression Algorithms., , , und . J. Electronic Testing, 33 (1): 53-64 (2017)Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis., , und . ECEASST, (2013)Approximation of Neural Networks for Verification., und . MBMV, Seite 1-10. VDE Verlag, (2019)Formal Verification on the Word Level using SAT-like Proof Techniques., , , , und . MBMV, Seite 81-90. Shaker, (2007)Verbesserte SAT basierte Fehlerdiagnose durch Widerspruchanalyse., , und . MBMV, Seite 101-110. Shaker, (2007)