Name Card

Full name Familienname, Vorname
Prantl, Adrian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 26 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time AnalysisArtikel Article 2011
2Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time AnalysisArtikel Article2010
3Barany, Gergö ; Prantl, Adrian Source-Level Support for Timing AnalysisKonferenzbeitrag Inproceedings 2010
4Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian Transforming Flow Information during Code Optimization for Timing AnalysisArtikel Article2010
5Prantl Adrian - 2010 - High-level compiler support for timing analysis.pdf.jpgPrantl, Adrian High-level compiler support for timing analysisThesis Hochschulschrift 2010
6Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010
7Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
8Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings 2009
9Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Schordan, Markus ; Kadlec, Albrecht From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings 2009
10Prantl, Adrian ; Knoop, Jens ; Schordan, Markus Persistent Analysis ResultsKonferenzbeitrag Inproceedings2009
11Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
12Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Annotation Languages Reconsidered: The Annotation Language ChallengeKonferenzbeitrag Inproceedings2008
13Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Language: Essential IngredientsKonferenzbeitrag Inproceedings2008
14Prantl, Adrian ; Knoop, Jens An integrated source-to-source approach to WCET analysisKonferenzbeitrag Inproceedings 2008
15Prantl, Adrian ; Schordan, Markus ; Knoop, Jens TuBound - A Conceptually New Tool for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2008
16Holsti, 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: ReportKonferenzbeitrag Inproceedings2008
17Kirner, Raimund ; Kadlec, Albrecht ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Languge: Essential IngredientsKonferenzbeitrag Inproceedings 2008
18Prantl, Adrian ; Schordan, Markus ; Knoop, Jens TuBound - A Tool for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings2008
19Prantl, Adrian ; Schordan, Markus ; Knoop, Jens TuBound - A Conceptually New Tool for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings2008
20Prantl, Adrian ; Knoop, Jens ; Schordan, Markus ; Triska, Markus Constraint solving for high-level WCET analysisKonferenzbeitrag Inproceedings 2008

Contributing Publications Mitbeteiligte Publikationen

Results 1-12 of 12 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Barany, Gergö SATIrE within ALL-TIMES: Improving Timing Technology with Source Code AnalysisKonferenzbeitrag Inproceedings2009
2Knoop, Jens From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
3Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
4Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
5Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
6Knoop, Jens ; Prantl, Adrian 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und VortragskurzzusammenfassungenBuch Book2009
7Knoop, Jens ; Prantl, Adrian 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - ErgänzungsbandBuch Book2009
8Knoop, Jens ; Prantl, Adrian 15. Kolloquium Programmiersprachen und Grundlagen der ProgrammierungBuch Book2009
9Puntigam, Franz How to Specify the Flow of Data Accessibility: An OO Way of Concurrent ProgrammingKonferenzbeitrag Inproceedings2009
10Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
11Kirner, Raimund ; Zimmermann, Wolf ; Richter, Dirk On Undecidability Results of Real Programming LanguagesKonferenzbeitrag Inproceedings2009
12Kirner, Raimund ; Haas, Walter Automatic Calculation of Coverage Profiles for Coverage-based TestingKonferenzbeitrag Inproceedings2009