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

Software monitoring with bounded overhead., , , , , , , and . IPDPS, page 1-8. IEEE, (2008)Aspect-Oriented Instrumentation with GCC., , , , , , , and . RV, volume 6418 of Lecture Notes in Computer Science, page 405-420. Springer, (2010)Redflag: A Framework for Analysis of Kernel-Level Concurrency., , , , , and . ICA3PP (1), volume 7016 of Lecture Notes in Computer Science, page 66-79. Springer, (2011)Model Predictive Control for Memory Profiling., , , , and . IPDPS, page 1-7. IEEE, (2007)Adaptive Runtime Verification., , , , , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 168-182. Springer, (2012)InterAspect: aspect-oriented instrumentation with GCC., , , , , , , and . Formal Methods in System Design, 41 (3): 295-320 (2012)Building workload-independent storage with VT-trees., , , , , and . FAST, page 17-30. USENIX, (2013)Software monitoring with controllable overhead., , , , , , , and . STTT, 14 (3): 327-347 (2012)Runtime Verification with State Estimation., , , , , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 193-207. Springer, (2011)