Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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