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

Intersert: Assertions on Distributed Process Interaction Sessions., , , , , and . QRS, page 216-223. IEEE, (2017)A Race Healing Framework in Simulated ARINC-653., , , , and . FGIT-FGCN (2), volume 120 of Communications in Computer and Information Science, page 238-246. Springer, (2010)Power-Aware Real-Time Virtual Machine Schedulers in Discrete DVFS Systems., , and . DASC, page 459-463. IEEE Computer Society, (2014)Efficient Detection of First Races in Concurrent Signal Handlers., , and . FGIT-GDC/IESH/CGAG, volume 351 of Communications in Computer and Information Science, page 157-164. Springer, (2012)Supporting fault-tolerance in a compositional real-time scheduling framework., , , , and . SIGBED Review, 12 (2): 7-15 (2015)Dynamic Race Detection Techniques for Interrupt-Driven Programs., , and . FGIT, volume 7709 of Lecture Notes in Computer Science, page 148-153. Springer, (2012)Power-aware scheduling of compositional real-time frameworks., , and . J. Syst. Softw., (2015)EventHealer: Bypassing data races in event-driven programs., , and . J. Syst. Softw., (2016)Runtime verification of LTL on lossy traces., , and . SAC, page 1379-1386. ACM, (2017)A Reordering Framework for Testing Message-Passing Systems., , and . ISORC, page 109-116. IEEE Computer Society, (2017)