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

Global transformations for legacy parallel applications via structural analysis and rewriting., , , , and . Parallel Computing, (2015)Beyond loop bounds: comparing annotation languages for worst-case execution time analysis., , , , and . Software and Systems Modeling, 10 (3): 411-437 (2011)WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis., , , , , , , , , and 9 other author(s). WCET, volume 8 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis., , and . WCET, volume 8 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Poster: connecting PGAS and traditional HPC languages., , and . SC Companion, page 69-70. ACM, (2011)Transforming flow information during code optimization for timing analysis., , and . Real-Time Systems, 45 (1-2): 72-105 (2010)WCET Analysis: The Annotation Language Challenge., , , , and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges., and . STTT, 16 (5): 493-505 (2014)High-performance language interoperability for scientific computing through Babel., , , , , , and . IJHPCA, 26 (3): 260-274 (2012)Constraint solving for high-level WCET analysis, , , and . CoRR, (2009)