Autor der Publikation

EATBit: Effective automated test for binary translation with high code coverage.

, , , und . DATE, Seite 1-6. European Design and Automation Association, (2014)

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

An Efficient and Dependable FOTA-Based Upgrade Mechanism for In-Vehicle Systems., , und . iThings/GreenCom/CPSCom/SmartData, Seite 196-201. IEEE, (2019)Synchronization Identification through On-the-Fly Test., , , , , , und . Euro-Par, Volume 8097 von Lecture Notes in Computer Science, Seite 4-15. Springer, (2013)Localization of concurrency bugs using shared memory access pairs., , , , , , , , und . ASE, Seite 611-622. ACM, (2014)HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines., , , , , , , und . VEE, Seite 53-64. ACM, (2015)ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks., , , , , , , , , und . ICSE (1), Seite 824-834. IEEE Computer Society, (2015)Providing fairness on shared-memory multiprocessors via process scheduling., , , , und . SIGMETRICS, Seite 295-306. ACM, (2012)Using Local Clocks to Reproduce Concurrency Bugs., , , , , , , , , und 2 andere Autor(en). IEEE Trans. Software Eng., 44 (11): 1112-1128 (2018)Dynamic and Adaptive Calling Context Encoding., , , , und . CGO, Seite 120. ACM, (2014)EATBit: Effective automated test for binary translation with high code coverage., , , und . DATE, Seite 1-6. European Design and Automation Association, (2014)A FrameBuffer Oriented Graphical Human-Machine Interaction Mechanism for Intelligent In-Vehicle Systems., , und . iThings/GreenCom/CPSCom/SmartData, Seite 202-207. IEEE, (2019)