Autor der Publikation

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA.

. FCCM, Seite 228-229. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Symptomatic Bug Localization for Functional Debug of Hardware Designs., und . VLSID, Seite 517-522. IEEE Computer Society, (2016)HeteroFlow: An Accelerator Programming Model with Decoupled Data Placement for Software-Defined FPGAs., , , , , , und . FPGA, Seite 78-88. ACM, (2022)VeriBug: An Attention-Based Framework for Bug Localization in Hardware Designs., , , und . DATE, Seite 1-2. IEEE, (2024)DETECTive: Machine Learning-driven Automatic Test Pattern Prediction for Faults in Digital Circuits., , , und . ACM Great Lakes Symposium on VLSI, Seite 32-37. ACM, (2024)Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs., , , und . HOST, Seite 128-138. IEEE, (2024)Hopf bifurcation and patterns formation in a diffusive two prey-one predator system with fear in preys and help., , , und . Appl. Math. Comput., (2024)Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection., , , , und . ICCAD, Seite 1-8. IEEE, (2015)Using automatically generated invariants for regression testing and bug localization., , , und . ASE, Seite 634-639. IEEE, (2013)A Library for Passive Online Verification of Analog and Mixed-Signal Circuits., , und . VLSI Design, Seite 364-369. IEEE Computer Society, (2012)Formal Verification of Source-to-Source Transformations for HLS., , , , , , und . FPGA, Seite 97-107. ACM, (2024)