Adrian Prantl

According to our database, Adrian Prantl authored at least 13 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Global transformations for legacy parallel applications via structural analysis and rewriting.

Daniel G. Chavarría-Miranda, Ajay Panyala, Wenjing Ma, Adrian Prantl, Sriram Krishnamoorthy

Parallel Comput., 2015

2014

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Markus Schordan, Adrian Prantl

Int. J. Softw. Tools Technol. Transf., 2014

2012

High-performance language interoperability for scientific computing through Babel.

Thomas G. W. Epperly, Gary Kumfert, Tamara Dahlgren, Dietmar Ebner, James Leek, Adrian Prantl, Scott R. Kohn

Int. J. High Perform. Comput. Appl., 2012

2011

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec

Softw. Syst. Model., 2011

Poster: connecting PGAS and traditional HPC languages.

Adrian Prantl, Thomas G. W. Epperly, Shams Imam

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

2010

Transforming flow information during code optimization for timing analysis.

Raimund Kirner, Peter P. Puschner, Adrian Prantl

Real Time Syst., 2010

Source-Level Support for Timing Analysis.

Gergö Barany, Adrian Prantl

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Constraint solving for high-level WCET analysis

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska

CoRR, 2009

From Trusted Annotations to Verified Knowledge.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.

Adrian Prantl, Markus Schordan, Jens Knoop

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Towards a Common WCET Annotation Language: Essential Ingredients.

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

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

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

2007

WCET Analysis: The Annotation Language Challenge.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007