| |
| 2008 | ||
|---|---|---|
| 3 | EE | Robert Mittermayr, Johann Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA 2008: 619-633 |
| 2007 | ||
| 2 | EE | Johann Blieberger, Bernd Burgstaller, Robert Mittermayr: Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe 2007: 69-83 |
| 2006 | ||
| 1 | EE | Bernd Burgstaller, Johann Blieberger, Robert Mittermayr: Static Detection of Access Anomalies in Ada95. Ada-Europe 2006: 40-55 |
| 1 | Johann Blieberger | [1] [2] [3] |
| 2 | Bernd Burgstaller | [1] [2] |