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

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

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



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