R. Mittermayr, J. Blieberger:
"Kronecker Algebra for Static Analysis of Barriers in Ada";
Talk: Reliable Software Technologies - Ada-Europe, Pisa, Italy; 2016-06-13 - 2016-06-17; in: "Ada-Europe'2016 International Conference on Reliable Software Technologies", Springer-Verlag, (2016), 145 - 159.