|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Barany, Gergö ; Prantl, Adrian | Source-Level Support for Timing Analysis | Konferenzbeitrag Inproceedings  | 2010 |
| 2 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | Towards an Orchestrated Approach for Annotation Verification | Konferenzbeitrag Inproceedings | 2010 |
| 3 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 4 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 5 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Schordan, Markus ; Kadlec, Albrecht | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 6 | | Prantl, Adrian ; Knoop, Jens ; Schordan, Markus | Persistent Analysis Results | Konferenzbeitrag Inproceedings | 2009 |
| 7 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 8 | | Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar | WCET Annotation Languages Reconsidered: The Annotation Language Challenge | Konferenzbeitrag Inproceedings | 2008 |
| 9 | | Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens | Towards a Common WCET Annotation Language: Essential Ingredients | Konferenzbeitrag Inproceedings | 2008 |
| 10 | | Prantl, Adrian ; Knoop, Jens | An integrated source-to-source approach to WCET analysis | Konferenzbeitrag Inproceedings | 2008 |
| 11 | | Prantl, Adrian ; Schordan, Markus ; Knoop, Jens | TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2008 |
| 12 | | Holsti, Niklas ; Gustafsson, Jan ; Bernat, Guillem ; Ballabriga, Clément ; Bonenfant, Armelle ; Bourgade, Roman ; Cassé, Hugues ; Cordes, Daniel ; Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Lokuciejewski, Paul ; Merriam, Nicholas ; de Michiel, Marianne ; Prantl, Adrian ; Rieder, Bernhard ; Rochange, Christine ; Sainrat, Pascal ; Schordan, Markus | WCET Tool Challenge 2008: Report | Konferenzbeitrag Inproceedings | 2008 |
| 13 | | Kirner, Raimund ; Kadlec, Albrecht ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens | Towards a Common WCET Annotation Languge: Essential Ingredients | Konferenzbeitrag Inproceedings | 2008 |
| 14 | | Prantl, Adrian ; Schordan, Markus ; Knoop, Jens | TuBound - A Tool for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2008 |
| 15 | | Prantl, Adrian ; Schordan, Markus ; Knoop, Jens | TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2008 |
| 16 | | Prantl, Adrian ; Knoop, Jens ; Schordan, Markus ; Triska, Markus | Constraint solving for high-level WCET analysis | Konferenzbeitrag Inproceedings | 2008 |
| 17 | | Prantl, Adrian | A Declarative Approach to finding Timing Constraints in High-level Program Representations | Konferenzbeitrag Inproceedings | 2008 |
| 18 | | Prantl, Adrian | The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation | Konferenzbeitrag Inproceedings | 2007 |
| 19 | | Prantl, Adrian | Source-to-Source Transformations for WCET Analysis: The CoSTA Approach | Konferenzbeitrag Inproceedings | 2007 |
| 20 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar | WCET Analysis: The Annotation Language Challenge | Konferenzbeitrag Inproceedings | 2007 |
