Author of the publication

OTAWA: An Open Toolbox for Adaptive WCET Analysis.

, , , and . SEUS, volume 6399 of Lecture Notes in Computer Science, page 35-46. Springer, (2010)

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

OTAWA: An Open Toolbox for Adaptive WCET Analysis., , , and . SEUS, volume 6399 of Lecture Notes in Computer Science, page 35-46. Springer, (2010)Improving the Performance of WCET Analysis in the Presence of Variable Latencies., , , , and . LCTES, page 119-130. ACM, (2020)Working Around Loops for Infeasible Path Detection in Binary Programs., , and . SCAM, page 1-10. IEEE Computer Society, (2017)Partial Flow Analysis with oRange., , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 479-482. Springer, (2010)Using the abstract interpretation technique for static pointer analysis., , , and . SIGARCH Comput. Archit. News, 27 (1): 47-50 (1999)Data Cache Analysis by Counting Integer Points., , and . RTNS, page 112-122. ACM, (2021)Speculative Execution and Timing Predictability in an Open Source RISC-V Core., , , and . RTSS, page 393-404. IEEE, (2021)Dynamic Branch Resolution Based on Combined Static Analyses., and . WCET, volume 55 of OASIcs, page 8:1-8:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Validating Static WCET Analysis: A Method and Its Application., , and . WCET, volume 72 of OASIcs, page 6:1-6:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Design Flow for Critical Embedded Systems., , , , , , , , , and . SIES, page 229-233. IEEE, (2010)