Name Card

Full name Familienname, Vorname
Mittermayr, Robert
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Mittermayr, Robert ; Blieberger, Johann A Generic Graph Model for WCET Analysis of Multi-core Concurrent ApplicationsArtikel Article2016
2Mittermayr, Robert ; Blieberger, Johann Kronecker Algebra for Static Analysis of Barriers in AdaKonferenzbeitrag Inproceedings 2016
3Mittermayr Robert - 2016 - Kronecker algebra based analysis of shared memory...pdf.jpgMittermayr, Robert Kronecker algebra based analysis of shared memory concurrent systemsThesis Hochschulschrift 2016
4Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
5Mittermayr, Robert Statische Analyse von Multi-Threading Java-ProgrammenThesis Hochschulschrift2005