The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Bernd Burgstaller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  13. AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. [Citation Graph (, )][DBLP]


  14. TinyVM, an efficient virtual machine infrastructure for sensor networks. [Citation Graph (, )][DBLP]


  15. An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms. [Citation Graph (, )][DBLP]


  16. Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002