Talks and Poster Presentations (with Proceedings-Entry):

B. Burgstaller, J. Blieberger, R. Mittermayr:
"Static Detection of Access Anomalies in Ada95";
Talk: Reliable Software Technologies - Ada-Europe, Porto, Portugal; 2006-06-05 - 2006-06-09; in: "Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006", Springer-Verlag, (2006), ISBN: 3-540-34663-5; 40 - 55.

English abstract:
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs.
In particular, our approach finds all possible non-sequential accesses to shared non-protected variables.
The algorithms employed are very efficient.
Our approach is conservative and may find false positives.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.