| | 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 | | Pavlu, Viktor ; Schordan, Markus ; Krall, Andreas | Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision | Konferenzbeitrag Inproceedings | 2011 |
| 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 | 2011 |
| 4 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis | Artikel Article | 2010 |
| 5 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | Towards an Orchestrated Approach for Annotation Verification | Konferenzbeitrag Inproceedings | 2010 |
| 6 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 7 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 8 | | Schreiner, Dietmar ; Schordan, Markus ; Göschka, Karl Michael | Component Based Middleware-Synthesis for AUTOSAR Basic Software | Konferenzbeitrag Inproceedings | 2009 |
| 9 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Schordan, Markus ; Kadlec, Albrecht | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |
| 10 | | Prantl, Adrian ; Knoop, Jens ; Schordan, Markus | Persistent Analysis Results | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus | From Trusted Annotations to Verified Knowledge | Konferenzbeitrag Inproceedings | 2009 |