Adrian Prantl

13 papers Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2015 J jnl
Global transformations for legacy parallel applications via structural analysis and rewriting.
Parallel Comput.
Daniel G. Chavarría-Miranda, Ajay Panyala, Wenjing Ma, Adrian Prantl, Sriram Krishnamoorthy
2014 J jnl
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.
Markus Schordan, Adrian Prantl
2012 J jnl
High-performance language interoperability for scientific computing through Babel.
Int. J. High Perform. Comput. Appl.
Thomas G. W. Epperly, Gary Kumfert, Tamara Dahlgren, Dietmar Ebner, James Leek, Adrian Prantl, Scott R. Kohn
2011 J jnl
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Softw. Syst. Model.
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
2011 — conf
Poster: connecting PGAS and traditional HPC languages.
SC Companion
Adrian Prantl, Thomas G. W. Epperly, Shams Imam
2010 — conf
Source-Level Support for Timing Analysis.
ISoLA (2)
Gergö Barany, Adrian Prantl
2010 J jnl
Transforming flow information during code optimization for timing analysis.
Real Time Syst.
Raimund Kirner, Peter P. Puschner, Adrian Prantl
2009 J jnl
Constraint solving for high-level WCET analysis
CoRR
Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
2009 — conf
From Trusted Annotations to Verified Knowledge.
WCET
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
2008 — conf
Towards a Common WCET Annotation Language: Essential Ingredients.
WCET
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
2008 — conf
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.
WCET
Adrian Prantl, Markus Schordan, Jens Knoop
2008 — conf
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
WCET
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
2007 — conf
WCET Analysis: The Annotation Language Challenge.
WCET
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel