Robert Mittermayr

According to our database, Robert Mittermayr authored at least 8 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Deadlock and WCET analysis of barrier-synchronized concurrent programs.

Robert Mittermayr, Johann Blieberger

Computing, 2021

2017

Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores.

Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller, Johann Blieberger

Proceedings of the Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28, 2017

2016

Kronecker Algebra for Static Analysis of Barriers in Ada.

Robert Mittermayr, Johann Blieberger

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2012

Timing Analysis of Concurrent Programs.

Robert Mittermayr, Johann Blieberger

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

2011

Shared Memory Concurrent System Verification using Kronecker Algebra

Robert Mittermayr, Johann Blieberger

CoRR, 2011

2008

Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.

Robert Mittermayr, Johann Blieberger

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Static Detection of Livelocks in Ada Multitasking Programs.

Johann Blieberger, Bernd Burgstaller, Robert Mittermayr

Proceedings of the Reliable Software Technologies, 2007

2006

Static Detection of Access Anomalies in Ada95.

Bernd Burgstaller, Johann Blieberger, Robert Mittermayr

Proceedings of the Reliable Software Technologies, 2006