ALL-TIMES: Integrating European Timing Analysis Technology


Project Acronym Projekt Kurzbezeichnung
ALL-TIMES
 
Project Title (de) Projekttitel (de)
ALL-TIMES: Integrating European Timing Analysis Technology
 
Project Title (en) Projekttitel (en)
ALL-TIMES: Integrating European Timing Analysis Technology
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
European Commission

Results 1-16 of 16 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial CodeArtikel Article 2013
2Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens Comparison of type-based and alias-based component recognition for embedded systems softwareArtikel Article 2013
3Knoop, Jens Behaviour-Carrying CodePräsentation Presentation2010
4Knoop, Jens Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial CodePräsentation Presentation2010
5Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time AnalysisArtikel Article2010
6Barany, Gergö ; Prantl, Adrian Source-Level Support for Timing AnalysisKonferenzbeitrag Inproceedings 2010
7Knoop, Jens From Trusted Annotations to Verified KnowledgePräsentation Presentation2009
8Knoop, Jens Timing Properties: Beyond Verifying Functional Program PropertiesPräsentation Presentation2009
9Barany, Gergö SATIrE within ALL-TIMES: Improving Timing Technology with Source Code AnalysisKonferenzbeitrag Inproceedings2009
10Knoop, Jens From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
11Altman, Erik ; Childers, Bruce R. ; Cohn, Robert ; Davidson, Jack ; Brosschere, Koen De ; Sutter, Bjorn De ; Ertl, Martin Anton ; Franz, Michael ; Gu, Yuan ; Hauswirth, Matthias ; Heinz, Thomas ; Hsu, Wei-Chung ; Knoop, Jens ; Krall, Andreas ; Kumar, Naveen ; Maebe, Jonas ; Muth, Robert ; Rival, Xavier ; Rohou, Erven ; Rosner, Roni ; Soffa, Mary Lou ; Troeger, Jens ; Vick, Christopher 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary TranslationKonferenzbeitrag Inproceedings2009
12Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
13Knoop, Jens Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT FieldKonferenzbeitrag Inproceedings2008
14Knoop, Jens Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow AnalysisKonferenzbeitrag Inproceedings2008
15Barany, Gergö Value Flow Graph Analysis with SATIrEKonferenzbeitrag Inproceedings2008
16Schreiner, Dietmar ; Schordan, Markus ; Barany, Gergö ; Göschka, Karl Michael Source Code Based Component Recognition in Software Stacks for Embedded SystemsKonferenzbeitrag Inproceedings 2008