| 2008 |
|---|
| 14 | EE | Bernd Burgstaller,
Bernhard Scholz:
Program Assemblers.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 13 | EE | Bernhard Scholz,
Bernd Burgstaller,
Jingling Xue:
Minimal placement of bank selection instructions for partitioned memory architectures.
ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
| 2007 |
|---|
| 12 | EE | Johann Blieberger,
Bernd Burgstaller,
Robert Mittermayr:
Static Detection of Livelocks in Ada Multitasking Programs.
Ada-Europe 2007: 69-83 |
| 2006 |
|---|
| 11 | EE | Bernd Burgstaller,
Johann Blieberger,
Robert Mittermayr:
Static Detection of Access Anomalies in Ada95.
Ada-Europe 2006: 40-55 |
| 10 | EE | Bernhard Scholz,
Bernd Burgstaller,
Jingling Xue:
Minimizing bank selection instructions for partitioned memory architecture.
CASES 2006: 201-211 |
| 9 | EE | Bernd Burgstaller,
Bernhard Scholz,
M. Anton Ertl:
An Embedded Systems Programming Environment for C.
Euro-Par 2006: 1204-1216 |
| 8 | EE | Bernd Burgstaller,
Bernhard Scholz,
Johann Blieberger:
Symbolic Analysis of Imperative Programming Languages.
JMLC 2006: 172-194 |
| 2004 |
|---|
| 7 | EE | Bernd Burgstaller,
Johann Blieberger,
Bernhard Scholz:
On the Tree Width of Ada Programs.
Ada-Europe 2004: 78-90 |
| 2003 |
|---|
| 6 | EE | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Busy Wait Analysis.
Ada-Europe 2003: 142-152 |
| 5 | EE | Johann Blieberger,
Bernd Burgstaller:
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.
Ada-Europe 2003: 153-167 |
| 2000 |
|---|
| 4 | | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Ada-Europe 2000: 225-237 |
| 1999 |
|---|
| 3 | EE | Johann Blieberger,
Bernd Burgstaller,
Bernhard Scholz:
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.
Ada-Europe 1999: 136-145 |
| 1998 |
|---|
| 2 | EE | Johann Blieberger,
Bernd Burgstaller:
Symbolic Reaching Definitions Analysis of Ada Programs.
Ada-Europe 1998: 238-250 |
| 1996 |
|---|
| 1 | | Johann Blieberger,
Roland Lieger,
Bernd Burgstaller:
Augmenting Ada 95 with Additional Real-Time Features.
Ada-Europe 1996: 330-341 |
