Travelled to:1 × Germany
1 × Italy
1 × Sweden
1 × USA
2 × France
2 × Portugal
2 × Switzerland
3 × Spain
Collaborated with:B.Burgstaller B.Scholz R.Mittermayr R.Fechete G.Kienesberger T.Fahringer J.Klasek E.Kühn R.Lieger G.Hong K.Hong
Talks about:ada (14) program (9) analysi (8) symbol (5) static (5) detect (4) base (3) framework (2) kroneck (2) algebra (2)
Person: Johann Blieberger
DBLP: Blieberger:Johann
Facilitated 2 volumes:
EdEdContributed to:
2014201020082007
20072006200420032000
200019991998199620162018Wrote 17 papers:
- AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis
- Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
- AdaEurope-2010-HongHBB #ada #named #programming #type system
- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.
- AdaEurope-2008-FecheteKB #ada #framework #program analysis #source code
- A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.
- AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis
- Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
- CC-2007-ScholzB #analysis #composition #data flow #framework #using
- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees (BS, JB), pp. 202–217.
- AdaEurope-2006-BurgstallerBM #ada #detection #static analysis
- Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
- AdaEurope-2004-BurgstallerBS #ada #on the #source code
- On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.
- AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using
- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.
- AdaEurope-2003-BliebergerBS #analysis
- Busy Wait Analysis (JB, BB, BS), pp. 142–152.
- AdaEurope-2000-BliebergerBS #ada #analysis #data flow #detection #source code
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
- PEPM-2000-ScholzBF #analysis #detection #memory management #pointer
- Symbolic Pointer Analysis for Detecting Memory Leaks (BS, JB, TF), pp. 104–113.
- AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation
- Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
- AdaEurope-1999-BliebergerKK #ada
- Ada Binding to a Shared Object Layer (JB, JK, EK), pp. 263–274.
- AdaEurope-1998-BliebergerB #ada #analysis #source code
- Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.
- AdaEurope-1996-BliebergerLB #ada #realtime
- Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
- AdaEurope-2016-MittermayrB #ada #algebra #static analysis
- Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.
- AdaEurope-2018-BliebergerB #ada
- Safe Non-blocking Synchronization in Ada2x (JB, BB), pp. 53–69.