bernd Burgstaller

View Scopus Profile

bernd Burgstaller

Calculated based on number of publications stored in Pure and citations from Scopus
1996 …2025

Research activity per year

Search results

  • 2006

    Static detection of access anomalies in Ada95

    Burgstaller, B., Blieberger, J. & Mittermayr, R., 2006, Reliable Software Technologies - Ada-Europe 2006 - 11th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag, p. 40-55 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4006 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • Symbolic analysis of imperative programming languages

    Burgstaller, B., Scliolz, B. & Blieberger, J., 2006, Modular Programming Languages - 7th Joint Modular Languages Conference, JMLC 2006 Proceedings. Springer Verlag, p. 172-194 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4228 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)
  • 2004

    On the tree width of ada programs

    Burgstaller, B., Blieberger, J. & Scholz, B., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Strohmeier, A. & Llamosi, A. (eds.). Springer Verlag, p. 78-90 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3063).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Citations (Scopus)
  • 2003

    Busy wait analysis

    Blieberger, J., Burgstaller, B. & Scholz, B., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rosen, J.-P. & Strohmeier, A. (eds.). Springer Verlag, p. 142-152 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2655).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    4 Citations (Scopus)

  • Eliminating redundant range checks in GNAT using symbolic evaluation

    Blieberger, J. & Burgstaller, B., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rosen, J.-P. & Strohmeier, A. (eds.). Springer Verlag, p. 153-167 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2655).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)
  • 2000

    Symbolic data flow analysis for detecting dead locks in ada tasking programs

    Blieberger, J., Burgstaller, B. & Scholz, B., 2000, Reliable Software Technologies Ada-Europe 2000 - 5th Ada-Europe International Conference, Proceedings. Keller, H. B. & Plodereder, E. (eds.). Springer Verlag, p. 225-237 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1845).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Citations (Scopus)
  • 1999

    Interprocedural symbolic evaluation of Ada programs with aliases

    Blieberger, J., Burgstaller, B. & Scholz, B., 1999, Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Harbour, M. G. & de la Puente, J. A. (eds.). Springer Verlag, p. 136-145 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1622).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)
  • 1998

    Symbolic reaching definitions analysis of ada programs

    Blieberger, J. & Burgstaller, B., 1998, Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Asplund, L. (ed.). Springer Verlag, p. 238-250 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1411).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)
  • 1996

    Augmenting Ada95 with additional real-time features

    Lieger, R. & Burgstaller, B., 1996, Reliable Software Technologies - Ada-Europe 1996 - 1996 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Strohmeier, A. (ed.). Springer Verlag, p. 330-341 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1088).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution