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

Data Cache Analysis by Counting Integer Points., , and . RTNS, page 112-122. ACM, (2021)Relational Analysis and Precision via Probabilistic Abstract Interpretation., , and . QAPL, volume 220 of Electronic Notes in Theoretical Computer Science, page 23-42. Elsevier, (2008)Early WCET Prediction Using Machine Learning., , , and . WCET, volume 57 of OASIcs, page 5:1-5:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Policy Iteration within Logico-Numerical Abstract Domains., , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 290-305. Springer, (2011)Inferring Effective Types for Static Analysis of C Programs., and . NSAD@SAS, volume 288 of Electronic Notes in Theoretical Computer Science, page 37-47. Elsevier, (2011)Warp-Level CFG Construction for GPU Kernel WCET Analysis., , , and . WCET, volume 114 of OASIcs, page 1:1-1:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Precise Interprocedural Analysis in the Presence of Pointers to the Stack., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 459-479. Springer, (2011)Identifying Relevant Parameters to Improve WCET Analysis., , , , and . WCET, volume 39 of OASIcs, page 93-102. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)