BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × Switzerland
Collaborated with:
J.Blieberger B.Burgstaller
Talks about:
static (3) ada (3) detect (2) multitask (1) livelock (1) program (1) kroneck (1) barrier (1) anomali (1) analysi (1)

Person: Robert Mittermayr

DBLP DBLP: Mittermayr:Robert

Contributed to:

Ada-Europe 20072007
Ada-Europe 20062006
Ada-Europe 20162016

Wrote 3 papers:

AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis
Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
AdaEurope-2006-BurgstallerBM #ada #detection #static analysis
Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
AdaEurope-2016-MittermayrB #ada #algebra #static analysis
Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.