Personenprofil

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

Johann Blieberger

Telefon +43 1 58801 18313

E-Mailjohann.blieberger@tuwien.ac.at

Zugeordnet

E191	E191-03	E191-50

Visitenkarte

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

Forschungsabteilung

Name	Leitung/Mitglied
Institut für Computer Engineering	Leitung

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Automation Systems	Leitung
Services des Instituts	Leitung

Profil

Forschungsprofil (Deutsch):

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)

Forschungsprofil (Englisch):

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

URL des Lebenslaufes:

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

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Analyse von Algorithmen
Echtzeitsysteme
Praktische Informatik
Theoretische Informatik

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
ComputerEngineering	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1120	Kombinatorik	Combinatorics
1141	Symbolic Computation	Symbolic computation

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wiss. Beirat/Kuratorium/Institut	Fakultätsrat der Fakultät für Informatik	Österreich	Mitglied	01/2004 - 12/2015

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis
Journal of Supercomputing	SCI (Science Citation Index)	Ja	Reviewer	-
Journal of Systems Architecture	SCI (Science Citation Index)	Ja	Reviewer	01/2003 - 12/2024
Journal of Systems and Software	SCI (Science Citation Index)	Ja	Reviewer	01/2002 - 12/2024
Real-Time Systems Journal	SCI (Science Citation Index)	Ja	Reviewer	01/2000 - 12/2024
Theoretical Computer Science	SCI (Science Citation Index)	Ja	Reviewer	01/2015 - 12/2024

F&E Aktivitäten

Beschreibung	Von	Bis
Andere Kategorien
Mitglied und Mitwirkung in ISO/IEC JTC1/SC22/WG9	05/2018

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Wissenschaftliche Konferenz/Symposium	Sprecher_in	International Conference on Compiler Construction	03/2007	03/2007	A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/Symposium	Sprecher_in	Deutschsprachige WCET-Tagung	10/2000	10/2000	Data-Flow Frameworks for Worst-Case Execution Time Analysis
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	Department Mathematik und Informationstechnologie	06/2005	06/2005	Dekomposition und Enumeration von Flussgraphen
Wissenschaftliche Konferenz/Symposium	Sprecher_in	Reliable Software Technologies - Ada-Europe	06/1999	06/1999	Interprocedural Symbolic Evaluation of Ada Programs with Aliases
Wissenschaftliche Konferenz/Symposium	Sprecher_in	SAFECOMP	10/1995	10/1995	Loops for Safety-Critical Applications
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/1999		Mitglied des Program Committee der Ada-Europe-Konferenz
Wissenschaftliche Konferenz/Symposium	Sprecher_in	EUROMICRO Workshop on Real-Time Systems	06/1994	06/1994	Multi-Staged Discrete Loops for Real-Time Systems
Wissenschaftliche Konferenz/Symposium	Organisator_in	22nd International Conference on Reliable Software Technologies	06/2017	06/2017	Organisator
Wissenschaftliche Konferenz/Symposium	Organisator_in	7th International Conference on Reliable Software Technologies	06/2002	06/2002	Organisator
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/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