( en | de | ru )

 

Disambiguierung von "Kunz, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UPEC-PN: Exhaustive constant time verification of low-level software using property checking.

, , , , und . MBMV, Seite 1-8. VDE/IEEE, (2023)

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.

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

 

Weitere Publikationen von Autoren mit dem selben Namen

goSAT: Floating-point satisfiability as global optimization., , und . FMCAD, Seite 11-14. IEEE, (2017)Reasoning in Boolean Networks - Logic Synthesis and Verification Using Testing Techniques., und . Frontiers in electronic testing Springer, (1997)Formal hardware/software co-verification by interval property checking with abstraction., , , und . DAC, Seite 510-515. ACM, (2011)A New Formal Verification Approach for Hardware-dependent Embedded System Software., , , , , , , und . IPSJ Trans. Syst. LSI Des. Methodol., (2013)Accelerated dynamic learning for test pattern generation in combinational circuits., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (5): 684-694 (1993)Area Estimation Framework for Digital Hardware Design using Machine Learning., , , , , und . MBMV, Seite 1-10. VDE / IEEE, (2020)Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers., , , und . DSD, Seite 109-116. IEEE, (2020)A property language for the specification of hardware-dependent embedded system software., , , , und . FDL, Seite 1-8. IEEE, (2014)A Scalable Formal Verification Methodology for Data-Oblivious Hardware., , , , und . CoRR, (2023)Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , und . CoRR, (2021)