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

OTAWA: An Open Toolbox for Adaptive WCET Analysis., , , and . SEUS, volume 6399 of Lecture Notes in Computer Science, page 35-46. Springer, (2010)EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps., , , and . IEEE Trans. Software Eng., 44 (5): 470-490 (2018)An improved approach for set-associative instruction cache partial analysis., , and . SAC, page 360-367. ACM, (2008)Symbolic Computation of the Worst-Case Execution Time of a Program., , and . CoRR, (2017)WCET analysis with procedure arguments as parameters., , , and . RTNS, page 11-22. ACM, (2023)Improving the First-Miss Computation in Set-Associative Instruction Caches., and . ECRTS, page 341-350. IEEE Computer Society, (2008)Static Analysis of Binary Code with Memory Indirections Using Polyhedra., , , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 114-135. Springer, (2019)Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra., , and . CoRR, (2017)Symbolic WCET Computation., , and . ACM Trans. Embed. Comput. Syst., 17 (2): 39:1-39:26 (2018)Experimentation of WCET computation on both ends of automotive processor range., , , and . EDCC-CARS, page 67-70. ACM, (2010)