Johann Blieberger

49 papers B 3C 3Misc 17Journal 18Unranked 7

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