BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Blieberger:Johann

Facilitated 2 volumes:

Ada-Europe 2002Ed
Ada-Europe 2017Ed

Contributed to:

Ada-Europe 20142014
Ada-Europe 20102010
Ada-Europe 20082008
Ada-Europe 20072007
CC 20072007
Ada-Europe 20062006
Ada-Europe 20042004
Ada-Europe 20032003
Ada-Europe 20002000
PEPM 20002000
Ada-Europe 19991999
Ada-Europe 19981998
Ada-Europe 19961996
Ada-Europe 20162016
Ada-Europe 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.