Robert Mittermayr

	2011
4		Robert Mittermayr, Johann Blieberger: Shared Memory Concurrent System Verification using Kronecker Algebra CoRR abs/1109.5522: (2011)
	2008
3		Robert Mittermayr, Johann Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA 2008: 619-633
	2007
2		Johann Blieberger, Bernd Burgstaller, Robert Mittermayr: Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe 2007: 69-83
	2006
1		Bernd Burgstaller, Johann Blieberger, Robert Mittermayr: Static Detection of Access Anomalies in Ada95. Ada-Europe 2006: 40-55

Coauthor Index

1	Johann Blieberger	[1] [2] [3] [4]
2	Bernd Burgstaller	[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page