Name Card

Full name Familienname, Vorname
Schordan, Markus
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens Comparison of type-based and alias-based component recognition for embedded systems softwareArtikel Article 2013
2Pavlu, Viktor ; Schordan, Markus ; Krall, Andreas Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis PrecisionKonferenzbeitrag Inproceedings 2011
3Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time AnalysisArtikel Article 2011
4Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time AnalysisArtikel Article2010
5Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010
6Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
7Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings 2009
8Schreiner, Dietmar ; Schordan, Markus ; Göschka, Karl Michael Component Based Middleware-Synthesis for AUTOSAR Basic SoftwareKonferenzbeitrag 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

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Knoop, Jens ; Schordan, Markus ; Johnson, Teresa ; O´Boyle, Michael F.P. Proceedings of the 2018 International Symposium on Code Generation and OptimizationKonferenzband Proceedings2018
2Pavlu Viktor - 2009 - Shape-based alias analysis for object-oriented languages.pdf.jpgPavlu, Viktor Shape-based alias analysis for object-oriented languagesThesis Hochschulschrift 2009