Adrian Prantl

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Topics

Active Database Systems

State Transitions

Static Analysis

Rewriting Rules

Top Venues

Int. J. Softw. Tools Technol. Transf.

Int. J. High Perform. Comput. Appl.

Parallel Comput.

Publications

Daniel G. Chavarría-Miranda, Ajay Panyala, Wenjing Ma, Adrian Prantl, Sriram Krishnamoorthy
Global transformations for legacy parallel applications via structural analysis and rewriting. Parallel Comput. 43 (2015)
Markus Schordan, Adrian Prantl
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Thomas G. W. Epperly, Gary Kumfert, Tamara Dahlgren, Dietmar Ebner, James Leek, Adrian Prantl, Scott R. Kohn
High-performance language interoperability for scientific computing through Babel. Int. J. High Perform. Comput. Appl. 26 (3) (2012)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. 10 (3) (2011)
Adrian Prantl, Thomas G. W. Epperly, Shams Imam
Poster: connecting PGAS and traditional HPC languages. SC Companion (2011)
Gergö Barany, Adrian Prantl
Source-Level Support for Timing Analysis. ISoLA (2) (2010)
Raimund Kirner, Peter P. Puschner, Adrian Prantl
Transforming flow information during code optimization for timing analysis. Real Time Syst. 45 (1-2) (2010)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
From Trusted Annotations to Verified Knowledge. WCET (2009)
Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
Constraint solving for high-level WCET analysis CoRR (2009)
Adrian Prantl, Markus Schordan, Jens Knoop
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET (2008)
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
Towards a Common WCET Annotation Language: Essential Ingredients. WCET (2008)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
WCET Analysis: The Annotation Language Challenge. WCET (2007)