TU Wien Informatics

Johann Blieberger

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Johann Blieberger

About

Johann Blieberger's research interests include

  1. Real-time systems
  2. Analysis of multi-threaded systems
  3. Design and analysis of weak memory models
  4. Modeling and automating railway operation
  5. Static program analysis
  6. Symbolic evaluation and its applications
  7. Analysis of algorithms and data structures
  8. Ada (programming language)

He is a member of ISO JTC1/SC22/WG9 (development of the Ada programming language).

Role

2019

2018

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2006

  • Average Case Analysis of DJ Graphs / J. Blieberger / Journal of Discrete Algorithms, 4 (2006), 649 - 675
  • Symbolic Analysis of Imperative Programming Languages / B. Burgstaller, B. Scholz, J. Blieberger / Talk: 7th Joint Modular Languages Conference (JMLC 2006), Oxford, England; 2006-09-13 - 2006-09-15; in: "Proc. JMLC 2006", Springer-Verlag, LNCS 4228 (2006), ISBN: 978-3-540-40927-4; 172 - 194
  • Static Detection of Access Anomalies in Ada95 / B. Burgstaller, J. Blieberger, R. Mittermayr / Talk: Reliable Software Technologies - Ada-Europe, Porto, Portugal; 2006-06-05 - 2006-06-09; in: "Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006", Springer-Verlag, (2006), ISBN: 3-540-34663-5; 40 - 55

2005

2004

2003

  • The WCET<sub>Marker</sub>-Problem is NP-complete / A. Ben-Amram, J. Blieberger, B. Scholz / Talk: WCET-Meeting, Vienna, Austria; 2003-06-23
  • Busy Wait Analysis / J. Blieberger, B. Burgstaller, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Toulouse, France; 2003-06-16 - 2003-06-20; in: "Lecture Notes in Computer Science - Ada-Europe", Springer-Verlag, 2655 (2003), ISBN: 3-540-40376-0; 142 - 152
  • Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation / J. Blieberger, B. Burgstaller / Talk: Reliable Software Technologies - Ada-Europe, Toulouse, France; 2003-06-16 - 2003-06-20; in: "Lecture Notes in Computer Science - Ada-Europe", Springer-Verlag, 2655 (2003), ISBN: 3-540-40376-0; 153 - 167

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

  • Informatik / J. Blieberger, G. Schildt, U. Schmid, S. Stöckler / Springer, Vienna, 1990, ISBN: 3-211-82232-1; 390 pages
  • CASE-Systeme / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 360 - 361
  • Höhere Programmiersprachen / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 354 - 359
  • Assemblersprachen / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 351 - 359
  • Zahlendarstellungen / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 47 - 73
  • Codierungstheorie / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 24 - 46
  • Informationstheorie / J. Blieberger / in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 14 - 23

1989

1987