The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johann Blieberger: [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, Johann Klasek, eva Kühn
    Ada Binding to a Shared Object Layer. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1999, pp:263-274 [Conf]
  9. 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]
  10. Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
    Symbolic Analysis of Imperative Programming Languages. [Citation Graph (0, 0)][DBLP]
    JMLC, 2006, pp:172-194 [Conf]
  11. Johann Blieberger, Gerhard H. Schildt
    Versuche der Compiler-Validierung. [Citation Graph (0, 0)][DBLP]
    PEARL, 1991, pp:1-19 [Conf]
  12. Bernhard Scholz, Johann Blieberger, Thomas Fahringer
    Symbolic Pointer Analysis for Detecting Memory Leaks. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:104-113 [Conf]
  13. Johann Blieberger, Ulrich Schmid
    FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. [Citation Graph (0, 0)][DBLP]
    BIT, 1992, v:32, n:3, pp:370-383 [Journal]
  14. Johann Blieberger
    Discrete Loops and Worst Case Performance. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1994, v:20, n:3, pp:193-212 [Journal]
  15. Johann Blieberger
    Real-Time Properties of Indirect Recursive Procedures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:156-182 [Journal]
  16. Ulrich Schmid, Johann Blieberger
    On Nonpreemptive LCFS Scheduling with Deadlines. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1995, v:18, n:1, pp:124-158 [Journal]
  17. Ulrich Schmid, Johann Blieberger
    Some Investigations on FCFS Scheduling in Hard Real Time Applications. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1992, v:45, n:3, pp:493-512 [Journal]
  18. Johann Blieberger
    Average case analysis of DJ graphs. [Citation Graph (0, 0)][DBLP]
    J. Discrete Algorithms, 2006, v:4, n:4, pp:649-675 [Journal]
  19. Johann Blieberger, Ulrich Schmid
    Preemptive LCFS Scheduling in Hard Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1992, v:15, n:3, pp:203-215 [Journal]
  20. Johann Blieberger
    Data-Flow Frameworks for Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2002, v:22, n:3, pp:183-227 [Journal]
  21. Johann Blieberger, Thomas Fahringer, Bernhard Scholz
    Symbolic Cache Analysis for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2000, v:18, n:2/3, pp:181-215 [Journal]
  22. Johann Blieberger, Roland Lieger
    Worst-Case Space and Time Complexity of Recursive Procedures. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1996, v:11, n:2, pp:115-144 [Journal]
  23. 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]
  24. Bernhard Scholz, Johann Blieberger
    A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. [Citation Graph (0, 0)][DBLP]
    CC, 2007, pp:202-217 [Conf]

  25. A Framework for CFG-Based Static Program Analysis of Ada Programs. [Citation Graph (, )][DBLP]


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


  27. Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.279secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002