Johann Blieberger

Bernd Burgstaller, Bernhard Scholz, Johann Blieberger: A symbolic analysis framework for static analysis of imperative programming languages. Journal of Systems and Software 85(6): 1418-1439 (2012)

Jingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger: StreamPI: a stream-parallel programming extension for object-oriented programming languages. The Journal of Supercomputing 61(1): 118-140 (2012)

Robert Mittermayr, Johann Blieberger: Timing Analysis of Concurrent Programs. WCET 2012: 59-68

Robert Mittermayr, Johann Blieberger: Shared Memory Concurrent System Verification using Kronecker Algebra. CoRR abs/1109.5522 (2011)

Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger: AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. Ada-Europe 2010: 208-221

Raul Fechete, Georg Kienesberger, Johann Blieberger: A Framework for CFG-Based Static Program Analysis of Ada Programs. Ada-Europe 2008: 130-143

Robert Mittermayr, Johann Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA 2008: 619-633

Johann Blieberger, Bernd Burgstaller, Robert Mittermayr: Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe 2007: 69-83

Bernhard Scholz, Johann Blieberger: A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. CC 2007: 202-217

Johann Blieberger: Average case analysis of DJ graphs. J. Discrete Algorithms 4(4): 649-675 (2006)

Bernd Burgstaller, Johann Blieberger, Robert Mittermayr: Static Detection of Access Anomalies in Ada95. Ada-Europe 2006: 40-55

Bernd Burgstaller, Bernhard Scholz, Johann Blieberger: Symbolic Analysis of Imperative Programming Languages. JMLC 2006: 172-194

Bernd Burgstaller, Johann Blieberger, Bernhard Scholz: On the Tree Width of Ada Programs. Ada-Europe 2004: 78-90

Johann Blieberger, Bernd Burgstaller, Bernhard Scholz: Busy Wait Analysis. Ada-Europe 2003: 142-152

Johann Blieberger, Bernd Burgstaller: Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. Ada-Europe 2003: 153-167

Johann Blieberger: Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real-Time Systems 22(3): 183-227 (2002)

Johann Blieberger, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings. Lecture Notes in Computer Science 2361, Springer 2002, isbn 3-540-43784-3

Johann Blieberger: Real-Time Properties of Indirect Recursive Procedures. Inf. Comput. 171(2): 156-182 (2001)

Johann Blieberger, Thomas Fahringer, Bernhard Scholz: Symbolic Cache Analysis for Real-Time Systems. Real-Time Systems 18(2/3): 181-215 (2000)

Johann Blieberger, Bernd Burgstaller, Bernhard Scholz: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. Ada-Europe 2000: 225-237

Bernhard Scholz, Johann Blieberger, Thomas Fahringer: Symbolic Pointer Analysis for Detecting Memory Leaks. PEPM 2000: 104-113

Johann Blieberger, Bernd Burgstaller, Bernhard Scholz: Interprocedural Symbolic Evaluation of Ada Programs with Aliases. Ada-Europe 1999: 136-145

Johann Blieberger, Johann Klasek, eva Kühn: Ada Binding to a Shared Object Layer. Ada-Europe 1999: 263-274

Johann Blieberger, Bernd Burgstaller: Symbolic Reaching Definitions Analysis of Ada Programs. Ada-Europe 1998: 238-250

Johann Blieberger, Roland Lieger: Worst-Case Space and Time Complexity of Recursive Procedures. Real-Time Systems 11(2): 115-144 (1996)

Johann Blieberger, Roland Lieger, Bernd Burgstaller: Augmenting Ada 95 with Additional Real-Time Features. Ada-Europe 1996: 330-341

Ulrich Schmid, Johann Blieberger: On Nonpreemptive LCFS Scheduling with Deadlines. J. Algorithms 18(1): 124-158 (1995)

Johann Blieberger: Discrete Loops and Worst Case Performance. Comput. Lang. 20(3): 193-212 (1994)

Johann Blieberger, Ulrich Schmid: FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. BIT 32(3): 370-383 (1992)

Ulrich Schmid, Johann Blieberger: Some Investigations on FCFS Scheduling in Hard Real Time Applications. J. Comput. Syst. Sci. 45(3): 493-512 (1992)

Johann Blieberger, Ulrich Schmid: Preemptive LCFS Scheduling in Hard Real-Time Applications. Perform. Eval. 15(3): 203-215 (1992)

Johann Blieberger, Gerhard H. Schildt: Versuche der Compiler-Validierung. PEARL 1991: 1-19