Robert Mittermayr

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 3

Top Topics

Algebraic Operations

Abstract Interpretation

Database Query Languages

Concurrent Programs

Top Venues

Publications

Robert Mittermayr, Johann Blieberger
Deadlock and WCET analysis of barrier-synchronized concurrent programs. Computing 103 (5) (2021)
Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller, Johann Blieberger
Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. Euro-Par (2017)
Robert Mittermayr, Johann Blieberger
Kronecker Algebra for Static Analysis of Barriers in Ada. Ada-Europe (2016)
Robert Mittermayr, Johann Blieberger
Timing Analysis of Concurrent Programs. WCET (2012)
Robert Mittermayr, Johann Blieberger
Shared Memory Concurrent System Verification using Kronecker Algebra CoRR (2011)
Robert Mittermayr, Johann Blieberger
Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA (2008)
Johann Blieberger, Bernd Burgstaller, Robert Mittermayr
Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe (2007)
Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
Static Detection of Access Anomalies in Ada95. Ada-Europe (2006)