Monotonically labelled Motzkin trees. - Johann Blieberger (Discret. Appl. Math., 1987)

Versuche der Compiler-Validierung. - Johann Blieberger; Gerhard H. Schildt (PEARL, 1991)

FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. - Johann Blieberger; Ulrich Schmid 001 (BIT, 1992)

Some Investigations on FCFS Scheduling in Hard Real Time Applications. - Ulrich Schmid 001; Johann Blieberger (J. Comput. Syst. Sci., 1992)

Preemptive LCFS Scheduling in Hard Real-Time Applications. - Johann Blieberger; Ulrich Schmid 001 (Perform. Evaluation, 1992)

Discrete Loops and Worst Case Performance. - Johann Blieberger (Comput. Lang., 1994)

Real-time recursive procedures. - Johann Blieberger; Roland Lieger (RTS, 1995)

Loops for Safety Critical Applications. - Johann Blieberger (SAFECOMP, 1995)

On Nonpreemptive LCFS Scheduling with Deadlines. - Ulrich Schmid 001; Johann Blieberger (J. Algorithms, 1995)

Informatik - Johann Blieberger; Johann Klasek; Alexander Redlein; Gerhard-Helge Schildt (Informatik (Dritte erweiterte Auflage), 1996)

Augmenting Ada 95 with Additional Real-Time Features. - Johann Blieberger; Roland Lieger; Bernd Burgstaller (Ada-Europe, 1996)

Multi-Staged Discrete Loops for Real-Time Systems. - Roland Lieger; Johann Blieberger (RTS, 1996)

Worst-Case Space and Time Complexity of Recursive Procedures. - Johann Blieberger; Roland Lieger (Real Time Syst., 1996)

Symbolic Reaching Definitions Analysis of Ada Programs. - Johann Blieberger; Bernd Burgstaller (Ada-Europe, 1998)

Interprocedural Symbolic Evaluation of Ada Programs with Aliases. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 1999)

Ada Binding to a Shared Object Layer. - Johann Blieberger; Johann Klasek; Eva Kühn (Ada-Europe, 1999)

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 2000)

Symbolic Pointer Analysis for Detecting Memory Leaks. - Bernhard Scholz; Johann Blieberger; Thomas Fahringer (PEPM, 2000)

Symbolic Cache Analysis for Real-Time Systems. - Johann Blieberger; Thomas Fahringer; Bernhard Scholz (Real Time Syst., 2000)

Real-Time Properties of Indirect Recursive Procedures. - Johann Blieberger (Inf. Comput., 2001)

Data-Flow Frameworks for Worst-Case Execution Time Analysis. - Johann Blieberger (Real Time Syst., 2002)

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. - Johann Blieberger; Bernd Burgstaller (Ada-Europe, 2003)

Busy Wait Analysis. - Johann Blieberger; Bernd Burgstaller; Bernhard Scholz (Ada-Europe, 2003)

On the Tree Width of Ada Programs. - Bernd Burgstaller; Johann Blieberger; Bernhard Scholz (Ada-Europe, 2004)

Static Detection of Access Anomalies in Ada95. - Bernd Burgstaller; Johann Blieberger; Robert Mittermayr (Ada-Europe, 2006)

Symbolic Analysis of Imperative Programming Languages. - Bernd Burgstaller; Bernhard Scholz; Johann Blieberger (JMLC, 2006)

Average case analysis of DJ graphs. - Johann Blieberger (J. Discrete Algorithms, 2006)

Static Detection of Livelocks in Ada Multitasking Programs. - Johann Blieberger; Bernd Burgstaller; Robert Mittermayr (Ada-Europe, 2007)

A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. - Bernhard Scholz; Johann Blieberger (CC, 2007)

A Framework for CFG-Based Static Program Analysis of Ada Programs. - Raul Fechete; Georg Kienesberger; Johann Blieberger (Ada-Europe, 2008)

Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. - Johann Blieberger (Scalable Program Analysis, 2008)

Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. - Robert Mittermayr; Johann Blieberger (ISoLA, 2008)

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

Shared Memory Concurrent System Verification using Kronecker Algebra - Robert Mittermayr; Johann Blieberger (CoRR, 2011)

Timing Analysis of Concurrent Programs. - Robert Mittermayr; Johann Blieberger (WCET, 2012)

A symbolic analysis framework for static analysis of imperative programming languages. - Bernd Burgstaller; Bernhard Scholz; Johann Blieberger (J. Syst. Softw., 2012)

StreamPI: a stream-parallel programming extension for object-oriented programming languages. - Jingun Hong; Kirak Hong; Bernd Burgstaller; Johann Blieberger (J. Supercomput., 2012)

Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. - Bernd Burgstaller; Johann Blieberger (Ada-Europe, 2014)

Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints. - Minyoung Jung; Bernd Burgstaller; Johann Blieberger (CoRR, 2015)

Kronecker Algebra for Static Analysis of Barriers in Ada. - Robert Mittermayr; Johann Blieberger (Ada-Europe, 2016)

Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. - Wasuwee Sodsong; Robert Mittermayr; Yoojin Park; Bernd Burgstaller; Johann Blieberger (Euro-Par, 2017)

Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores. - Minyoung Jung; Jinwoo Park; Johann Blieberger; Bernd Burgstaller (ICPP, 2017)

Safe Non-blocking Synchronization in Ada2x. - Johann Blieberger; Bernd Burgstaller (Ada-Europe, 2018)

Safe Non-blocking Synchronization in Ada 202x. - Johann Blieberger; Bernd Burgstaller (CoRR, 2018)

Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics. - Shinhyung Yang; Seongho Jeong; Byunguk Min; Yeonsoo Kim; Bernd Burgstaller; Johann Blieberger (J. Syst. Archit., 2020)

Deadlock and WCET analysis of barrier-synchronized concurrent programs. - Robert Mittermayr; Johann Blieberger (Computing, 2021)

Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems. - Patrick Denzler; Johann Blieberger; Wolfgang Kastner (ISORC, 2022)