Person profile

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

Johann Blieberger

Phone +43 1 58801 18313

E-Mailjohann.blieberger@tuwien.ac.at

Assigned

E191	E191-03	E191-50

Business Card

https://orcid.org/0000-0001-5810-7335

Research department

Name	Management/Member
Institute of Computer Engineering	Management

Research area

Name	Management/Member
Research Unit of Automation Systems	Management
Services of the Institute	Management

Profile

Research profile (German):

Johann Bliebergers Forschungsinteressen beinhalten

Echtzeitsysteme
Analyse von Parallelsystemen
Entwurf und Analyse von schwachen Speichermodellen
Modellieren und Automatisieren des Eisenbahnbetriebs
Statische Programmanalyse
Symbolische Evaluation und dessen Anwendung
Analyse von Algorithmen und Datenstrukturen
Ada (Programmiersprache)

Er ist Mitglied von ISO JTC1/SC22/WG9 (Entwicklung der Programmiersprache Ada)

Research profile (English):

Johann Blieberger's research interests include

Real-time systems
Analysis of multi-threaded systems
Design and analysis of weak memory models
Modeling and automating railway operation
Static program analysis
Symbolic evaluation and its applications
Analysis of algorithms and data structures
Ada (programming language)

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

Link to CV:

https://www.auto.tuwien.ac.at/people/page/7/

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Analyse von Algorithmen
Echtzeitsysteme
Praktische Informatik
Theoretische Informatik

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	100

Faculty focus

Faculty focus	Percentage
ComputerEngineering	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1108	Informatik	Informatics
1120	Kombinatorik	Combinatorics
1141	Symbolic Computation	Symbolic computation

Membership in committee

Committee	Description	Location	Function	From-To	Comment
scientific committee/curatorship/institute	Fakultätsrat der Fakultät für Informatik	Austria	Member	01/2004 - 12/2015

Journal participation

Title	Classification	Referenced	Function	From-To
Journal of Supercomputing	SCI (Science Citation Index)	Yes	Reviewer	-
Journal of Systems Architecture	SCI (Science Citation Index)	Yes	Reviewer	01/2003 - 12/2024
Journal of Systems and Software	SCI (Science Citation Index)	Yes	Reviewer	01/2002 - 12/2024
Real-Time Systems Journal	SCI (Science Citation Index)	Yes	Reviewer	01/2000 - 12/2024
Theoretical Computer Science	SCI (Science Citation Index)	Yes	Reviewer	01/2015 - 12/2024

R&D Accomplishments

Description	From	Until
Other categories
Mitglied und Mitwirkung in ISO/IEC JTC1/SC22/WG9	05/2018

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Scientific Conference / Symposium	Sprecher_in	International Conference on Compiler Construction	03/2007	03/2007	A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Scientific Conference / Symposium	eingeladene_r Sprecher_in	Dagstuhl Seminar 08161 Scalable Program Analysis	04/2008	04/2008	Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms
Scientific Conference / Symposium	Sprecher_in	Deutschsprachige WCET-Tagung	10/2000	10/2000	Data-Flow Frameworks for Worst-Case Execution Time Analysis
Scientific Conference / Symposium	eingeladene_r Sprecher_in	Department Mathematik und Informationstechnologie	06/2005	06/2005	Dekomposition und Enumeration von Flussgraphen
Scientific Conference / Symposium	Sprecher_in	Reliable Software Technologies - Ada-Europe	06/1999	06/1999	Interprocedural Symbolic Evaluation of Ada Programs with Aliases
Scientific Conference / Symposium	Sprecher_in	SAFECOMP	10/1995	10/1995	Loops for Safety-Critical Applications
Scientific Conference / Symposium	Sonstiges		01/1999		Mitglied des Program Committee der Ada-Europe-Konferenz
Scientific Conference / Symposium	Sprecher_in	EUROMICRO Workshop on Real-Time Systems	06/1994	06/1994	Multi-Staged Discrete Loops for Real-Time Systems
Scientific Conference / Symposium	Organisator_in	22nd International Conference on Reliable Software Technologies	06/2017	06/2017	Organisator
Scientific Conference / Symposium	Organisator_in	7th International Conference on Reliable Software Technologies	06/2002	06/2002	Organisator
Scientific Conference / Symposium	eingeladene_r Sprecher_in	UML-Kurs, Länderübergreifende Veranstaltung des Pädagogischen Instituts des Bundes	09/2001	09/2001	Unified Modelling Language Talk
Scientific Conference / Symposium	Sprecher_in	WCET Workshop of the EUROMICRO Conference on Real-Time Systems	05/2001	05/2001	WCET Anlaysis for Multi-Threaded Applications on Multi-Processor Systems