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

Static analysis for detecting high-level races in RTOS kernels., , , , and . Formal Methods Syst. Des., 58 (1-2): 294-321 (2021)Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA.. Comput. Lang. Syst. Struct., (2016)A Formal CHERI-C Semantics for Verification., , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 549-568. Springer, (2023)Static Analysis for Detecting High-Level Races in RTOS Kernels., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 337-353. Springer, (2019)Static Race Detection for Periodic Programs., , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 290-316. Springer, (2022)Global Value Numbering: A Precise and Efficient Algorithm.. CoRR, (2015)Data Races and Static Analysis for Interrupt-Driven Kernels., , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 697-723. Springer, (2019)Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA.. APLAS, volume 9458 of Lecture Notes in Computer Science, page 49-65. Springer, (2015)Static executes-before analysis for event driven programs., , , , and . ESEC/SIGSOFT FSE, page 233-244. ACM, (2022)Static Race Detection for RTOS Applications., , and . FSTTCS, volume 182 of LIPIcs, page 57:1-57:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)