Johann Blieberger

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 8

Top Topics

Static Analysis

Kronecker Product

Top Venues

J. Syst. Archit.

Publications

Patrick Denzler, Johann Blieberger, Wolfgang Kastner
Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems. ISORC (2022)
Robert Mittermayr, Johann Blieberger
Deadlock and WCET analysis of barrier-synchronized concurrent programs. Computing 103 (5) (2021)
Shinhyung Yang, Seongho Jeong, Byunguk Min, Yeonsoo Kim, Bernd Burgstaller, Johann Blieberger
Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics. J. Syst. Archit. 110 (2020)
Johann Blieberger, Bernd Burgstaller
Safe Non-blocking Synchronization in Ada 202x. CoRR (2018)
Johann Blieberger, Bernd Burgstaller
Safe Non-blocking Synchronization in Ada2x. Ada-Europe (2018)
Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller, Johann Blieberger
Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. Euro-Par (2017)
Minyoung Jung, Jinwoo Park, Johann Blieberger, Bernd Burgstaller
Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores. ICPP (2017)
Robert Mittermayr, Johann Blieberger
Kronecker Algebra for Static Analysis of Barriers in Ada. Ada-Europe (2016)
Minyoung Jung, Bernd Burgstaller, Johann Blieberger
Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints. CoRR (2015)
Bernd Burgstaller, Johann Blieberger
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. Ada-Europe (2014)
Jingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger
StreamPI: a stream-parallel programming extension for object-oriented programming languages. J. Supercomput. 61 (1) (2012)
Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
A symbolic analysis framework for static analysis of imperative programming languages. J. Syst. Softw. 85 (6) (2012)
Robert Mittermayr, Johann Blieberger
Timing Analysis of Concurrent Programs. WCET (2012)
Robert Mittermayr, Johann Blieberger
Shared Memory Concurrent System Verification using Kronecker Algebra CoRR (2011)
Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. Ada-Europe (2010)
Raul Fechete, Georg Kienesberger, Johann Blieberger
A Framework for CFG-Based Static Program Analysis of Ada Programs. Ada-Europe (2008)
Johann Blieberger
Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. Scalable Program Analysis (2008)
Robert Mittermayr, Johann Blieberger
Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. ISoLA (2008)
Bernhard Scholz, Johann Blieberger
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. CC (2007)
Johann Blieberger, Bernd Burgstaller, Robert Mittermayr
Static Detection of Livelocks in Ada Multitasking Programs. Ada-Europe (2007)
Johann Blieberger
Average case analysis of DJ graphs. J. Discrete Algorithms 4 (4) (2006)
Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
Static Detection of Access Anomalies in Ada95. Ada-Europe (2006)
Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
Symbolic Analysis of Imperative Programming Languages. JMLC (2006)
Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
On the Tree Width of Ada Programs. Ada-Europe (2004)
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
Busy Wait Analysis. Ada-Europe (2003)
Johann Blieberger, Bernd Burgstaller
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. Ada-Europe (2003)
Johann Blieberger
Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real Time Syst. 22 (3) (2002)
Johann Blieberger
Real-Time Properties of Indirect Recursive Procedures. Inf. Comput. 171 (2) (2001)
Bernhard Scholz, Johann Blieberger, Thomas Fahringer
Symbolic Pointer Analysis for Detecting Memory Leaks. PEPM (2000)
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. Ada-Europe (2000)
Johann Blieberger, Thomas Fahringer, Bernhard Scholz
Symbolic Cache Analysis for Real-Time Systems. Real Time Syst. 18 (2/3) (2000)
Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
Interprocedural Symbolic Evaluation of Ada Programs with Aliases. Ada-Europe (1999)
Johann Blieberger, Johann Klasek, eva Kühn
Ada Binding to a Shared Object Layer. Ada-Europe (1999)
Johann Blieberger, Bernd Burgstaller
Symbolic Reaching Definitions Analysis of Ada Programs. Ada-Europe (1998)
Roland Lieger, Johann Blieberger
Multi-Staged Discrete Loops for Real-Time Systems. RTS (1996)
Johann Blieberger, Roland Lieger
Worst-Case Space and Time Complexity of Recursive Procedures. Real Time Syst. 11 (2) (1996)
Johann Blieberger, Roland Lieger, Bernd Burgstaller
Augmenting Ada 95 with Additional Real-Time Features. Ada-Europe (1996)
Johann Blieberger
Loops for Safety Critical Applications. SAFECOMP (1995)
Ulrich Schmid, Johann Blieberger
On Nonpreemptive LCFS Scheduling with Deadlines. J. Algorithms 18 (1) (1995)
Johann Blieberger, Roland Lieger
Real-time recursive procedures. RTS (1995)
Johann Blieberger
Discrete Loops and Worst Case Performance. Comput. Lang. 20 (3) (1994)
Ulrich Schmid, Johann Blieberger
Some Investigations on FCFS Scheduling in Hard Real Time Applications. J. Comput. Syst. Sci. 45 (3) (1992)
Johann Blieberger, Ulrich Schmid
FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. BIT 32 (3) (1992)
Johann Blieberger, Ulrich Schmid
Preemptive LCFS Scheduling in Hard Real-Time Applications. Perform. Evaluation 15 (3) (1992)
Johann Blieberger, Gerhard H. Schildt
Versuche der Compiler-Validierung. PEARL (1991)
Johann Blieberger
Monotonically labelled Motzkin trees. Discret. Appl. Math. 18 (1) (1987)