The CoSTA Project

CoSTA Talks

This is an (incomplete) list of talk that were given in the context of CoSTA.

• Jens Knoop
  Towards an Orchestrated Approach for Annotation Verification
  27. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef; Germany, May 5, 2010.
  
• Jens Knoop
  From Trusted Annotations to Verified Knowledge
  15. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS'09)“,
  Maria Taferl; October 14, 2009.
  
• Adrian Prantl
  Towards a Static Profiler
  15. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS'09)“,
  Maria Taferl; October 13, 2009.
  
• Albrecht Kadlec
  From trusted annotations to verified knowledge
  9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009),
  Dublin, Ireland; June 30th, 2009.
  
• Adrian Prantl
  Augmenting Programs with Analysis Results
  26. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef, Germany; May 5, 2009.
  
• Adrian Prantl
  Constraint solving for high-level WCET analysis
  The 18th Workshop on Logic-based methods in Programming Environments,
  Udine, Italy; December 12, 2008.
  
• Jens Knoop
  Current Research at the CompLang Group: Timing Analyses and More
  RISC-Linz - Research Institute for Symbolic Computation,
  Johannes Kepler University in Linz, Austria; December 1, 2008.
  
• Adrian Prantl
  A Declarative Approach to finding Timing Constraints in High-level Program Representations.
  Workshop on Resource Analysis,
  University of Hertfordshire, Hatfield, UK; September 9, 2008.
  
• Markus Schordan
  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.
  
• Adrian Prantl
  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; July 2 - 4, 2008.
  
• Raimund Kirner
  Obstacles in Worst-Cases Execution Time Analysis.
  11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'08),
  Orlando, Florida; May 5-7, 2008.
  
• Jens Knoop
  WCET Annotation Languages Reconsidered: The Annotation Language Challenge
  25. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef, Germany; May 6, 2008.
  
• Albrecht Kadlec
  Essential Ingredients for a WCET Annotation Language
  25. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef, Germany; May 6, 2008.
  
• Adrian Prantl
  TuBound - A Tool for Worst-Case Execution Time Analysis
  25. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef, Germany; May 6, 2008.
  
• Jens Knoop
  Essential Ingredients for a WCET Annotation Language.
  47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology (Erhard Plödereder, Chair),
  Bormio, Italy; April 11, 2008.
  
• Albrecht Kadlec
  On the Difficulty of Building a Precise Timing Model for Real-Time Programming.
  14. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS'07)“,
  Timmendorfer Strand, Germany; October 12, 2007.
  
• Adrian Prantl
  The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation.
  14. Kolloquium „Programmiersprachen und Grundlagen der Programmierung (KPS'07)“,
  Timmendorfer Strand, Germany; October 12, 2007.
  
• Adrian Prantl
  WCET Analysis: The Annotation Language Challenge
  7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007)
  Pisa, Italy; July 3, 2007.
  
• Jens Knoop
  The Worst-Case Execution Time Analysis Challenge.
  IFIP Working Group 2.4 Member's Meeting
  Lake Arrowhead, California; Sunday 6th May - Friday 11th May 2007.
  
• Adrian Prantl
  Source-to-Source Transformations for WCET Analysis: The CoSTA Approach
  24. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“,
  Bad Honnef, Germany; May 3, 2007.
  
• Jens Knoop
  Worst-Case Execution Time Analysis: The CoSTA-Approach
  45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology (Erhard Plödereder, Chair),
  Glasgow, Scotland, UK; July 21, 2006.