Blieberger, Johann

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Blieberger, Johann
 
ORCID

Own Publications Eigene Publikationen

Results 1-20 of 61 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Blieberger, Johann Zusatzantrag zum FWF-Projekt WOOP (TR 183/1-72)Bericht Report1996
2Blieberger, Johann ; Burgstaller, Bernd WPP - Programmer's and User's Guide (TR 183/1-74)Bericht Report1997
3Denzler-2022-Utilising Kronecker Algebra to Detect Unexpected Behaviour in...-am.pdf.jpgDenzler, Patrick Heinrich ; Blieberger, Johann ; Kastner, Wolfgang ; Institute of Electrical and Electronics Engineers Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed SystemsInproceedings Konferenzbeitrag 6-Jul-2022
4Lieger, Roland ; Blieberger, Johann Using Discrete Loops for Easy Comprehension of AlgorithmsKonferenzbeitrag Inproceedings 1995
5Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic EvaluationBericht Report2004
6Mittermayr, Robert ; Blieberger, Johann Timing Analysis of Concurrent ProgramsKonferenzbeitrag Inproceedings 2012
7Lieger, Roland ; Blieberger, Johann The Ackermann-Function Effort in Space and Time (TR 183/1-48)Bericht Report1994
8Blieberger, Johann ; Burgstaller, Bernd Symbolic reaching definitions analysis of Ada programsKonferenzbeitrag Inproceedings1998
9Scholz, Berhard ; Blieberger, Johann ; Fahringer, Thomas Symbolic pointer analysis for detecting memory leaksKonferenzbeitrag Inproceedings 2000
10Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000
11Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Symbolic Analysis of Imperative Programming LanguagesKonferenzbeitrag Inproceedings 2006
12Mittermayr, Robert ; Blieberger, Johann Static Partial-Order Reduction of Concurrent Systems in Polynomial TimeKonferenzbeitrag Inproceedings 2008
13Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
14Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert Static Detection of Access Anomalies in Ada95Konferenzbeitrag Inproceedings 2006
15Blieberger, Johann Skriptum "Entwurf von Automatisierungssystemen mit Ada95" (TR 183/1-71)Bericht Report1995
16Blieberger, Johann Skriptum "Entwurf von Automatisierungssystemen mit Ada" (TR 183/1-24)Bericht Report1991
17Bezirgan, Atilla ; Blieberger, Johann ; Kremser, J. Skripten zur Übung "Einführung in die Informatik I" (TR 183/1-28)Bericht Report1991
18Blieberger, Johann ; Reinwein, Helmut Scheduling in a Real-Time Environment under Rush-Hour Conditions (TR 183/1-102)Bericht Report1997
19Blieberger, Johann ; Schildt, Gerhard-Helge Safe Programmable Logic Controller "SAFE_PLC" (TR-183/1-38)Bericht Report1993
20Blieberger, Johann ; Burgstaller, Bernd ; Casimiro, António ; Ferreira, Pedro M. Safe Non-blocking Synchronization in Ada2xKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Binder Benjamin - 2017 - Spatio-temporal prioritized planning.pdf.jpgBinder, Benjamin Spatio-temporal prioritized planningThesis Hochschulschrift 2017
2Beck Florian - 2018 - People tracking using particle filters and an advanced...pdf.jpgBeck, Florian People tracking using particle filters and an advanced human motion model on mobile robotsThesis Hochschulschrift 2018
3Blieberger, Johann ; Bader, Markus 22nd Ada-Europe International Conference on Reliable Software TechnologiesKonferenzband Proceedings2017

Projects Projekte


Results 1-4 of 4 (Search time: 0.0 seconds).

TitleP-Investigator
Autonomous Vehicle to Support Active MobilityBlieberger, Johann
Coordination of Autonomous Vehicles to Transport Goods in Environments with PedestriansBlieberger, Johann
Energiebedarfsoptimierung durch Verknüpfung der Betriebsführung des Bahnverkehrs mit der Steuerung des BahnstromnetzesBlieberger, Johann
Static Analysis and Just-in-Time Compilation Support for Heterogeneous Multicore ArchitecturesBlieberger, Johann