Static Detection of Access Anomalies in Ada95. - Bernd Burgstaller; Johann Blieberger; Robert Mittermayr (Ada-Europe, 2006)

Static Detection of Livelocks in Ada Multitasking Programs. - Johann Blieberger; Bernd Burgstaller; Robert Mittermayr (Ada-Europe, 2007)

Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. - Robert Mittermayr; Johann Blieberger (ISoLA, 2008)

Shared Memory Concurrent System Verification using Kronecker Algebra - Robert Mittermayr; Johann Blieberger (CoRR, 2011)

Timing Analysis of Concurrent Programs. - Robert Mittermayr; Johann Blieberger (WCET, 2012)

Kronecker Algebra for Static Analysis of Barriers in Ada. - Robert Mittermayr; Johann Blieberger (Ada-Europe, 2016)

Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. - Wasuwee Sodsong; Robert Mittermayr; Yoojin Park; Bernd Burgstaller; Johann Blieberger (Euro-Par, 2017)

Deadlock and WCET analysis of barrier-synchronized concurrent programs. - Robert Mittermayr; Johann Blieberger (Computing, 2021)