The CoSTA Project

CoSTA Publications

This list represents a selection of publications that are related to the CoSTA project.

• Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan and Albrecht Kadlec
  Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis
  Software and System Modeling 2010 (online edition)
  → BibTeX, DOI: http://dx.doi.org/10.1007/s10270-010-0161-0
  
  
• Raimund Kirner, Peter Puschner and Adrian Prantl
  Transforming Flow Information during Code Optimization for Timing Analysis
  Real-Time Systems No. 1–2
  June, 2010
  → BibTeX, DOI: http://dx.doi.org/10.1007/s11241-010-9091-8
  
  
• Albrecht Kadlec, Raimund Kirner and Peter Puschner
  Avoiding Timing Anomalies using Code Transformations
  Proceedings of the 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2010)
  Carmona, Spain, May, 2010
  → BibTeX
  
  
• Adrian Prantl
  Towards a static profiler
  15. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS ’09)“
  Maria Taferl, Austria, Oct., 2009
  → BibTeX
  
  
• Raimund Kirner, Albrecht Kadlec and Peter Puschner
  Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
  Proc. 21st Euromicro Conference on Real-Time Systems
  Dublin, Ireland, July, 2009
  → BibTeX
  
  
• Adrian Prantl, Jens Knoop and Markus Schordan
  Persistent Analysis Results
  26. Workshop der „GI-Fachgruppe Programmiersprachen und Rechenkonzepte“
  May 4-6, Bad Honnef, Germany
  No. 0915
  in Technische Berichte des Instituts für Informatik, Institut für Informatik der Christian-Albrechts-Universität zu Kiel
  Olshausenstr. 40, D – 24098 Kiel, 2009
  → BibTeX
  
  
• Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec and Markus Schordan
  From trusted annotations to verified knowledge
  Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)
  Dublin, Ireland, June, 2009 ISBN: 978-3-85403-252-6
  → BibTeX
  
  
• Adrian Prantl, Jens Knoop, Markus Schordan and Markus Triska
  Constraint solving for high-level WCET analysis
  The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
  Udine, Italy, December, 2008
  → BibTeX, electronic edition: http://arxiv.org/abs/0903.2251
  
  
• Niklas Holsti, Jan Gustafsson, Guillem Bernat (eds.), 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 and Markus Schordan
  WCET Tool Challenge 2008: Report
  8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008)
  Prague, Czech Republic, July 2-4, 2008 ISBN: 978-3-85403-237-3
  → BibTeX
  
  
• Raimund Kirner, Albrecht Kadlec, Peter Puschner, Adrian Prantl, Markus Schordan and Jens Knoop
  Towards a Common WCET Annotation Language: Essential Ingredients
  8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008)
  Prague, Czech Republic, July 2-4, 2008 ISBN: 978-3-85403-237-3
  → BibTeX
  
  
• Adrian Prantl, Markus Schordan and Jens Knoop
  TuBound – A Conceptually New Tool for Worst-Case Execution Time Analysis
  8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008)
  Prague, Czech Republic, 2008 ISBN: 978-3-85403-237-3
  → BibTeX
  
  
• Raimund Kirner and Peter Puschner
  Obstacles in Worst-Case Execution Time Analysis
  Proc. 11th IEEE International Symposium on Object-oriented Real-time distributed Computing
  Orlando, Florida, May, 2008
  → BibTeX
  
  
• Jens Knoop, Albrecht Kadlec, Raimund Kirner, Adrian Prantl, Markus Schordan and Ingomar Wenzel
  WCET Annotation Languages Reconsidered: The Annotation Language Challenge
  25. Workshop der „GI-Fachgruppe Programmiersprachen und Rechenkonzepte“
  May 5-7, Bad Honnef, Germany
  No. 0811
  in Technische Berichte des Instituts für Informatik, Institut für Informatik der Christian-Albrechts-Universität zu Kiel
  Olshausenstr. 40, D – 24098 Kiel, 2008
  → BibTeX
  
  
• Albrecht Kadlec, Raimund Kirner, Peter Puschner, Adrian Prantl, Markus Schordan and Jens Knoop
  Towards a Common WCET Annotation Language: Essential Ingredients
  25. Workshop der „GI-Fachgruppe Programmiersprachen und Rechenkonzepte“
  May 5-7, Bad Honnef, Germany
  No. 0811
  in Technische Berichte des Instituts für Informatik, Institut für Informatik der Christian-Albrechts-Universität zu Kiel
  Olshausenstr. 40, D – 24098 Kiel, 2008
  → BibTeX
  
  
• Adrian Prantl, Markus Schordan and Jens Knoop
  TuBound – A Conceptually New Tool for Worst-Case Execution Time Analysis
  25. Workshop der „GI-Fachgruppe Programmiersprachen und Rechenkonzepte“
  May 5-7, Bad Honnef, Germany
  No. 0811
  in Technische Berichte des Instituts für Informatik, Institut für Informatik der Christian-Albrechts-Universität zu Kiel
  Olshausenstr. 40, D – 24098 Kiel, 2008
  → BibTeX
  
  
• Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan and Jens Knoop
  Essential Ingredients for a WCET Annotation Language
  Technische Universität Wien
  Vienna, Austria, April, 2008
  → BibTeX
  
  
• Albrecht Kadlec and Raimund Kirner
  On the Difficulty of Building a Precise Timing Model for Real-Time Programming
  14. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS ’07)“
  October 10-12, Timmendorfer Strand, Germany
  No. A-07-07
  in Schriftenreihe A, Institute für Informatik und Mathematik der Universität zu Lübeck
  2007
  → BibTeX
  
  
• Adrian Prantl
  The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation
  14. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS ’07)“
  October 10-12, Timmendorfer Strand, Germany
  No. A-07-07
  in Schriftenreihe A, Institute für Informatik und Mathematik der Universität zu Lübeck
  2007
  → BibTeX
  
  
• Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan and Ingomar Wenzel
  WCET Analysis: The Annotation Language Challenge
  Proceedings 7th Int’l Workshop on Worst-Case Execution Time (WCET) Analysis
  Pisa, Italy, 2007
  → BibTeX
  
  
• Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan and Ingomar Wenzel
  WCET Analysis: The Annotation Language Challenge
  Proceedings of the 7th International Workshop on Worst-Case Execution Time (WCET) Analysis
  Institut de Recherche en Informatique de Toulouse
  Pisa, Italy, 2007
  → BibTeX
  
  
• Adrian Prantl
  Source-to-Source Transformations for WCET Analysis: The CoSTA Approach
  24. Workshop der „GI-Fachgruppe Programmiersprachen und Rechenkonzepte“
  May 2-4, Bad Honnef, Germany
  No. 0707
  in Technische Berichte des Instituts für Informatik, Institut für Informatik der Christian-Albrechts-Universität zu Kiel
  Olshausenstr. 40, D – 24098 Kiel, 2007
  → BibTeX
  
  

List generated with this script.