Johann Blieberger

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints.

[BibT_eX]

[DOI]

Minyoung Jung

CoRR, 2015

2014

Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2014

2012

StreamPI: a stream-parallel programming extension for object-oriented programming languages.

[BibT_eX]

[DOI]

J. Supercomput., 2012

A symbolic analysis framework for static analysis of imperative programming languages.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Timing Analysis of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

2011

Shared Memory Concurrent System Verification using Kronecker Algebra

[BibT_eX]

[DOI]

CoRR, 2011

2010

AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

2008

Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

A Framework for CFG-Based Static Program Analysis of Ada Programs.

[BibT_eX]

[DOI]

Raul Fechete

Georg Kienesberger

Proceedings of the Reliable Software Technologies, 2008

2007

A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 16th International Conference, 2007

Static Detection of Livelocks in Ada Multitasking Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2007

2006

Average case analysis of DJ graphs.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2006

Symbolic Analysis of Imperative Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Static Detection of Access Anomalies in Ada95.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2004

On the Tree Width of Ada Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

Busy Wait Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

Data-Flow Frameworks for Worst-Case Execution Time Analysis.

[BibT_eX]

[DOI]

Real Time Syst., 2002

2001

Real-Time Properties of Indirect Recursive Procedures.

[BibT_eX]

[DOI]

Inf. Comput., 2001

2000

Symbolic Cache Analysis for Real-Time Systems.

[BibT_eX]

[DOI]

Thomas Fahringer

Real Time Syst., 2000

Symbolic Pointer Analysis for Detecting Memory Leaks.

[BibT_eX]

[DOI]

Thomas Fahringer

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2000

1999

Ada Binding to a Shared Object Layer.

[BibT_eX]

[DOI]

Johann Klasek

Eva Kühn

Proceedings of the Reliable Software Technologies, 1999

Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1998

Symbolic Reaching Definitions Analysis of Ada Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1998

1996

Worst-Case Space and Time Complexity of Recursive Procedures.

[BibT_eX]

[DOI]

Real Time Syst., 1996

Multi-Staged Discrete Loops for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Augmenting Ada 95 with Additional Real-Time Features.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1996

Informatik

[BibT_eX]

[DOI]

Johann Klasek

Alexander Redlein

Gerhard-Helge Schildt

Springers Lehrbücher der Informatik, Springer, ISBN: 978-3-211-82860-1, 1996

1995

On Nonpreemptive LCFS Scheduling with Deadlines.

[BibT_eX]

[DOI]

J. Algorithms, 1995

Loops for Safety Critical Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Computer Safety, 1995

Real-time recursive procedures.

[BibT_eX]

[DOI]

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Discrete Loops and Worst Case Performance.

[BibT_eX]

[DOI]

Comput. Lang., 1994

1992

Preemptive LCFS Scheduling in Hard Real-Time Applications.

[BibT_eX]

[DOI]

Perform. Evaluation, 1992

Some Investigations on FCFS Scheduling in Hard Real Time Applications.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1992

FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions.

[BibT_eX]

[DOI]

BIT, 1992

1991

Versuche der Compiler-Validierung.

[BibT_eX]

[DOI]

Gerhard H. Schildt

Proceedings of the PEARL 91, 1991

1987

Monotonically labelled Motzkin trees.

[BibT_eX]

[DOI]