|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens | Comparison of type-based and alias-based component recognition for embedded systems software | Artikel Article  | 2013 |
| 2 | | Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter | Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code | Artikel Article | 2013 |
| 3 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis | Artikel Article | Jul-2011 |
| 4 | | Barany, Gergö ; Prantl, Adrian | Source-Level Support for Timing Analysis | Konferenzbeitrag Inproceedings | 2010 |
| 5 | | Knoop, Jens | Behaviour-Carrying Code | Präsentation Presentation | 2010 |
| 6 | | Knoop, Jens | Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code | Präsentation Presentation | 2010 |
| 7 | | Altman, 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 Translation | Konferenzbeitrag Inproceedings | 2009 |
| 8 | | Knoop, Jens | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 9 | | Barany, Gergö | SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis | Konferenzbeitrag Inproceedings | 2009 |
| 10 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Knoop, Jens | Timing Properties: Beyond Verifying Functional Program Properties | Präsentation Presentation | 2009 |
| 12 | | Knoop, Jens | From Trusted Annotations to Verified Knowledge | Präsentation Presentation | 2009 |
| 13 | | Schreiner, Dietmar ; Schordan, Markus ; Barany, Gergö ; Göschka, Karl Michael | Source Code Based Component Recognition in Software Stacks for Embedded Systems | Konferenzbeitrag Inproceedings | 2008 |
| 14 | | Barany, Gergö | Value Flow Graph Analysis with SATIrE | Konferenzbeitrag Inproceedings | 2008 |
| 15 | | Knoop, Jens | Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis | Konferenzbeitrag Inproceedings | 2008 |
| 16 | | Knoop, Jens | Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field | Konferenzbeitrag Inproceedings | 2008 |
