Johann Blieberger
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Computer Engineering: 100%
About
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).
Roles
-
Head of Institute
Computer Engineering, E191 -
Associate Professor
Automation Systems, E191-03
Courses
2020W
- Bachelor Thesis / 183.609 / PR
- Computer Engineering Practical / 183.610 / PR
- Computer Engineering Project / 183.672 / PR
- Computer Engineering Scientific Project / 183.673 / PR
- Fundamentals of Computer Engineering / 183.579 / VU
- Fundamentals of Digital Systems / 183.580 / VU
- Project in Computer Science 1 / 191.111 / PR
- Project in Computer Science 2 / 191.112 / PR
- Pv.aus Automatisierungssystemen / 183.183 / PV
- Seminar Computer Engineering / 183.674 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
2021S
- Bachelor Thesis / 183.609 / PR
- Computer Engineering Practical / 183.610 / PR
- Computer Engineering Project / 183.672 / PR
- Computer Engineering Scientific Project / 183.673 / PR
- Literature Seminar for PhD Students / 183.616 / SE
- Parallel and Real-Time Programming / 183.626 / VU
- Project in Computer Science 1 / 191.111 / PR
- Research seminar for PhD students / 183.615 / SE
- Scientific Research and Writing / 193.052 / SE
- Selected Topics of Computer Engineering Selected Topics of Computer Engineering / 183.618 / VO
- Seminar Computer Engineering / 183.674 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
- Seminar for PhD candidates / 183.614 / SE
Projects
-
Coordination of Autonomous Vehicles for Transporting Goods in Environments with Pedestrians
2017 – 2019 / Austrian Research Promotion Agency (FFG) -
Autonomous Vehicle to Support Active Mobility
2016 – 2019 / Austrian Research Promotion Agency (FFG) -
Static Analysis and Just-in-Time Compilation Support for Heterogeneous Multicore Architectures
2013 – 2016 / Austrian Science Fund (FWF) -
Energiebedarfsoptimierung durch Verknüpfung der Betriebsführung des Bahnverkehrs mit der Steuerung des Bahnstromnetzes
2012 – 2014 / Austrian Research Promotion Agency (FFG)
Publications
2020
- Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics / S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger / Journal of Systems Architecture, 110 (2020)
2019
- Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and Performance / S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger / Talk: Reliable Software Technologies - Ada-Europe, Warsaw; 2019-06-11 - 2019-06-14
- Benchmark of delays simulated by OpenTrack and calculated by Kronecker Algebra / A. Schöbel, C. Schöbel, J. Blieberger, M. Stefan / Talk: Science and Traffic Development (ZIRP 2019), Opatija; 2019-05-09 - 2019-05-10; in: "Proceedings of the International Scientific Conference "The Science and Development of Transport"", Faculty of Transport and Traffic SciencesUniversity of Zagreb, (2019), 371 - 375
- Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores / M. Jung, J. Park, J. Blieberger, B. Burgstaller / Talk: The 12th Annual Meeting of the Asian Association for Algorithms and Computation, Seoul, South Korea; 2019-04-19 - 2019-04-21
2018
- Kronecker Algebra for Optimization of Rail Traffic Flow on Zagreb--Rijeka Line / A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger / Talk: Scientific Expert Conference on Railways, Nis, Serbia; 2018-10-11 - 2018-10-12; in: "Proceedings Railcon 2018", (2018), 41 - 44
- Enhancing Performance in Railway Operation by Application of Kronecker Algebra / A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger / Talk: International Conference On Traffic And Transport Engineering, Beograd; 2018-09-27 - 2018-09-28; in: "Proceedings ICTTE 2018", ?, Beograd (2018), ISBN: 978-86-916153-4-5; 113 - 117
- Safe Non-blocking Synchronization in Ada2x / J. Blieberger, B. Burgstaller / Talk: Reliable Software Technologies - Ada-Europe, Lissabon; 2018-06-18 - 2018-06-22; in: "Ada-Europe'2018 International Conference on Reliable Software Technologies", A. Casimiro, P. Ferreira (ed.); Springer-Verlag, LNCS 10873 (2018), ISSN: 0302-9743; 53 - 69
- Application of Kronecker Algebra for Railway Line Zagreb-Rijeka / A. Schöbel, J. Blieberger, C. Schöbel / Talk: CETRA 2018, Zadar; 2018-05-17 - 2018-05-19; in: "CETRA 2018", Department of Transportation, Faculty of Ciivil Engineering, University of Zagreb, (2018), ISSN: 1848-9850; 1261 - 1264
- Kronecker Algebra for Managing Rail Capacity / A. Schöbel, C. Schöbel, J. Blieberger / in: "ISEP2018 -- 26th International Symposium on Electronics in Transport", ISEP2018, Ljubljana, 2018, ISBN: 978-961-6187-69-5
2017
- Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores / W. Sodsong, R. Mittermayr, Y. Park, B. Burgstaller, J. Blieberger / Talk: Euro-Par 2017 23rd International European Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain; 2017-08-28 - 2017-09-01; in: "Proceedings of the 23rd International European Conference on Parallel and Distributed Computing (Euro-Par 2017)", LNCS / Springer Verlag, 10417 / Santiago de Compostela, Spain (2017), ISBN: 978-3-319-64202-4; 538 - 552
- Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores / M. Jung, J. Park, J. Blieberger, B. Burgstaller / Talk: International Conference on Parallel Processing, Bristol; 2017-08-14 - 2017-08-17; in: "Proceedings of the 46th International Conference on Parallel Processing (ICPP-2017)", IEEE, (2017), ISSN: 2332-5690; 271 - 281
- 22nd Ada-Europe International Conference on Reliable Software Technologies / J. Blieberger, M. Bader / in series "Ada-Europe'2017 International Conference on Reliable Software Technologies", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; issued by: Ada-Europe; Springer LNCS 10300, Berlin, 2017, ISBN: 978-3-319-60587-6, 255 pages
- Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure / A. Schöbel, J. Aksentijevic, M. Stefan, J. Blieberger / Transportation Research Procedia, 27 (2017), 545 - 552
- Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs / R. Mittermayr, J. Blieberger / Computing, 1 (2017), 1 - 22
- Application of Kronecker Algebra in Railway Operation / M. Stefan, J. Blieberger, A. Schöbel / Tehnicki Vjesnik-Technical Gazette, 24 (2017), 1; 21 - 30
2016
- Kronecker Algebra Based Analysis of Concurrent Computer Programs / J. Blieberger / Talk: Festkolloquium aus Anlass des 60. Geburtstages von o.Univ.Prof.Dr. Peter Kirschenhofer, Leoben (invited); 2016-10-07
- Kronecker Algebra for Static Analysis of Barriers in Ada / R. Mittermayr, J. Blieberger / Talk: Reliable Software Technologies - Ada-Europe, Pisa, Italy; 2016-06-13 - 2016-06-17; in: "Ada-Europe'2016 International Conference on Reliable Software Technologies", Springer-Verlag, (2016), 145 - 159
- A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications / R. Mittermayr, J. Blieberger / Journal of Software Engineering and Applications, 9 (2016), 5; 182 - 198
2015
- Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints / M. Jung, B. Burgstaller, J. Blieberger / CoRR - Computing Research Repository, abs/1512.09228 (2015)
- Kronecker Algebra zur Optimierung des Eisenbahnbetriebes / M. Stefan, J. Blieberger, A. Schöbel / Eisenbahntechnische Rundschau, 64 (2015), 9; 78 - 84
2014
- Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects / J. Blieberger, B. Burgstaller / Talk: Reliable Software Technologies - Ada-Europe, Paris, France; 2014-06-23 - 2014-06-27; in: "Proceedings of Ada-Europe 2014", (2014), ISBN: 978-3-319-08310-0; 27 - 42
- Optimisation of Railway Operation by Application of Kronecker Algebra / M. Volcic, J. Blieberger, A. Schöbel / Talk: CETRA 2014, Split; 2014-04-28 - 2014-04-30; in: "Proceedings CETRA 2014", (2014), ISSN: 1848-9850; 37 - 42
- Generalized Catalan Sequences Originating from the Analysis of Special Data Structures / J. Blieberger, P. Kirschenhofer / Bulletin of the Institute of Combinatorics and its Applications, 71 (2014), 103 - 116
- Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich / J. Blieberger, A. Schöbel, M. Volcic / Signal + Draht, 106 (2014), 7+8; 15 - 18
- Analysis and optimisation of railway systems / A. Schöbel, M. Volcic, J. Blieberger / in: "EURO_ZEL 2014, 22nd International Symposium", issued by: EURO-ZEL; University of Zilina, Zilina, 2014, Paper ID 29, 6 pages
2013
- Kronecker Algebra based Modelling of Railway Operation / M. Volcic, A. Schöbel, J. Blieberger / Talk: MT-ITS, Dresden; 2013-12-02 - 2013-12-04; in: "Proceedings of the MT-ITS 2013", TUDpress, Verkehrstelematik 3 (2013), ISBN: 978-3-944331-34-8; 345 - 356
- Kronecker Algebra as a Frame for Optimisation of Railway Operation / M. Volcic, J. Blieberger, A. Schöbel / Talk: 21st International Scientific Conference - Transport 2013, Sofia; 2013-10-10 - 2013-10-13; in: "Mechanics Transport Communications", Mechanics Transport Communications/VTU Print, 11/3/Sofia (2013), ISSN: 1312-3823; 57 - 63
- Kronecker Algebra and its Broad Applications in Railway Systems / M. Volcic, J. Blieberger, A. Schöbel / Talk: EURO-ZEL 2013, Zilina; 2013-06-04 - 2013-06-05; in: "EURO-ZEL 2013: Recent Challenges for European Railways", University of Zilina, Zilina (2013), ISBN: 978-80-263-0380-0; 275 - 282
2012
- Kronecker Algebra based Travel Time Analysis for Railway Systems / M. Volcic, J. Blieberger, A. Schöbel / Talk: Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig; 2012-12-12 - 2012-12-13; in: "Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems", Inst. f. Verkehrssicherheit und Automatisierungstechnik, (2012), ISBN: 978-3-9803363-3-8; 273 - 281
- Timing Analysis of Concurrent Programs / R. Mittermayr, J. Blieberger / Talk: 12th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy; 2012-07-10; in: "Proc. 12th International Workshop on Worst-Case Execution Time Analysis", Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Vol. 23, Saarbrücken/Wadern (2012), ISBN: 978-3-939897-41-5; 59 - 68
- Kronecker Algebra based Deadlock Analysis for Railway Systems / R. Mittermayr, J. Blieberger, A. Schöbel / Promet-Traffic & Transportation, 24 (2012), 5; 359 - 369
- StreamPI: A stream-parallel programming extension for object-oriented programming languages / J. Hong, K. Hong, B. Burgstaller, J. Blieberger / Journal of Supercomputing, 61 (2012), 1; 118 - 140
- A symbolic analysis framework for static analysis of imperative programming languages / B. Burgstaller, B. Scholz, J. Blieberger / Journal of Systems and Software, 85 (2012), 6; 1418 - 1439
- Projektbericht Verfügbarkeitsberechnung / N. Ostermann, J. Blieberger, P. Tauschitz / Report for SCHIG mbH; 2012; 33 pages
2010
- AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005 / J. Hong, K. Hong, B. Burgstaller, J. Blieberger / Talk: Reliable Software Technologies - Ada-Europe, Valencia; 2010-06-14 - 2010-06-18; in: "Reliable Software Technologies - Ada Europe 2010", Springer-Verlag, LNCS 6106 (2010), ISBN: 978-3-642-13549-1; 208 - 221
- Availability Analysis for Railway Infrastructure based on Graph Theory / A. Schöbel, J. Blieberger / Talk: EURO - Zel 2010, Zilina; 2010-05-26 - 2010-05-27; in: "Revitalisation of Economy - New Challenge for European Railways", EDIS Zilina, (2010), ISBN: 978-80-554-0198-0; 141 - 148
2009
- Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur / J. Blieberger, N. Ostermann, A. Schöbel / Signal&Draht, 101 (2009), 9; 33 - 36
2008
- Static Partial-Order Reduction of Concurrent Systems in Polynomial Time / R. Mittermayr, J. Blieberger / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, 17 (2008), ISBN: 978-3-540-88478-1; 619 - 633
- A Framework for CFG-based Static Program Analysis of Ada Programs / R. Fechete, G. Kienesberger, J. Blieberger / Talk: Reliable Software Technologies - Ada-Europe, Venice, Italy; 2008-06-16 - 2008-06-20; in: "Ada-Europe'2008 International Conference on Reliable Software Technologies", Springer - LNCS, 5026 (2008), ISBN: 978-3-540-68621-7; 130 - 143
- Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms / J. Blieberger / Talk: Dagstuhl Seminar 08161 Scalable Program Analysis, Dagstuhl, Germany (invited); 2008-04-13 - 2008-04-18; in: "Scalable Program Analysis", Leibniz-Zentrum für Informatik, 08161 (2008), ISSN: 1862-4405
- Symbolic Analysis: An Algebra-based Approach / B. Burgstaller, B. Scholz, J. Blieberger / VDM - Verlag Dr. Müller, Saarbrücken, 2008, ISBN: 978-3-836-48142-7; 161 pages
2007
- Static Detection of Livelocks in Ada Multitasking Programs / J. Blieberger, B. Burgstaller, R. Mittermayr / Talk: Reliable Software Technologies - Ada-Europe, Geneva, Switzerland; 2007-06-25 - 2007-06-29; in: "Proc. Ada-Europe 2007", Springer-Verlag, LNCS 4498 (2007), ISBN: 978-3-540-73229-7; 69 - 83
- A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees / B. Scholz, J. Blieberger / Talk: International Conference on Compiler Construction, Braga, Portugal; 2007-03-26 - 2007-03-30; in: "Proc. ETAPS'07", LNCS, Springer-Verlag, 4420 (2007), ISBN: 978-3-540-71228-2; 202 - 217
2006
- 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
- Average Case Analysis of DJ Graphs / J. Blieberger / Journal of Discrete Algorithms, 4 (2006), 649 - 675
2005
- Dekomposition und Enumeration von Flussgraphen / J. Blieberger / Talk: Department Mathematik und Informationstechnologie, Lehrstuhl für Mathematik & Statistik, Leoben, Austria (invited); 2005-06-10
- Informatik-Grundlagen / J. Blieberger, B. Burgstaller, G. Schildt / Springer-Verlag, Wien, 2005, ISBN: 3-211-27754-4; 274 pages
2004
- On the Tree Width of Ada Programs / B. Burgstaller, J. Blieberger, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Palma de Mallorca, Spain; 2004-06-14 - 2004-06-18; in: "Lecture Notes in Computer Science - Ada-Europe", Springer-Verlag, 3063 (2004), ISBN: 3-540-22011-9; 78 - 90
- Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation / B. Burgstaller, B. Scholz, J. Blieberger / Report for Technical Report 183/1-137, Department of Automation, Technische Universität Wien; 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
- Informatik-Grundlagen / J. Blieberger, B. Burgstaller, G. Schildt / Springer, Vienna, 2002, ISBN: 3-211-83710-8; 229 pages
- Quanten-Computer / J. Blieberger / in: "Informatik - Grundlagen", Springer, Vienna, 2002, ISBN: 3-211-83710-8, 195 - 217
- Informationstheorie (Überarbeitung & Ergänzung) / J. Blieberger / in: "Informatik - Grundlagen", Springer, Vienna, 2002, ISBN: 3-211-83710-8, 15 - 32
- Algorithmen (Überarbeitung) / J. Blieberger / in: "Informatik - Grundlagen", Springer, Vienna, 2002, ISBN: 3-211-83710-8, 151 - 164
- Lecture Notes in Computer Science; Reliable Software Technologies - Ada-Europe 2002 / J. Blieberger, A. Strohmeier / Springer, Berlin, 2002, ISBN: 3-540-43784-3; 366 pages
- Data-Flow Frameworks for Worst-Case Execution Time Analysis / J. Blieberger / Real-Time Systems, 22 (2002), 3; 183 - 227
2001
- Unified Modelling Language / J. Blieberger / Talk: UML-Kurs, Länderübergreifende Veranstaltung des Pädagogischen Instituts des Bundes, Vienna, Austria (invited); 2001-09-26 - 2001-09-28
- WCET Anlaysis for Multi-Threaded Applications on Multi-Processor Systems / J. Blieberger / Talk: WCET Workshop of the EUROMICRO Conference on Real-Time Systems, Delft, The Netherlands; 2001-06-13 - 2001-06-15
- Real-Time Properties of Indirect Recursive Procedures / J. Blieberger / Information and Computation, 171 (2001), 156 - 182
2000
- Symbolic Worst-Case Execution Time Analysis / J. Blieberger / Talk: Habilitationskolloquium, Vienna, Austria; 2000-12-11
- Data-Flow Frameworks for Worst-Case Execution Time Analysis / J. Blieberger / Talk: Deutschsprachige WCET-Tagung, Paderborn; 2000-10-20
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs / J. Blieberger, B. Burgstaller, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Potsdam, Germany; 2000-06-26 - 2000-06-30; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1845 (2000), ISBN: 3-540-67669-4; 225 - 237
- Symbolic Pointer Analysis for Detecting Memory Leaks / B. Scholz, J. Blieberger, T. Fahringer / Talk: ACM SIGPLAN Workshop on "Partial Evaluation and Semantics-Based Program Manipulation" (PEPM), Boston, MA, USA; 2000-01-22 - 2000-01-23; in: "Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)", ACM Press, (2000), 104 - 113
- Symbolic Cache Analysis for Real-Time Systems / J. Blieberger, T. Fahringer, B. Scholz / Real-Time Systems, 18 (2000), 181 - 215
- Worst-Case Execution Time Analysis of Real-Time Programs / Habilitation Thesis by J. Blieberger / TU Wien / Technisch-Naturwissenschaftliche Fakultät, 2000
- Lady Ada and Senor Java at the Dentist / J. Blieberger / Talk: Globex Roadshow, Bregenz, Austria (invited); 2000
1999
- Ada Binding to a Shared Object Layer / J. Blieberger, J. Klasek, E. Kühn / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 263 - 274
- Interprocedural Symbolic Evaluation of Ada Programs with Aliases / J. Blieberger, B. Burgstaller, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 136 - 145
- Proceedings der OTG-Konferenz / J. Blieberger / OTG, Perchtoldsdorf, 1999
- Expertengutachten: Beurteilung einer Software-Entwicklungsabteilung eines Unternehmens / J. Blieberger / Report for Erste Bank; 1999
1998
- Symbolic Reaching Definitions Analysis of Ada Programs / J. Blieberger, B. Burgstaller / Talk: Reliable Software Technologies - Ada-Europe, Uppsala, Sweden; 1998-06-08 - 1998-06-12; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1411 (1998), ISBN: 3-540-64536-5; 238 - 250
- Ada - Die erste genormte objektorientierte Programmiersprache / J. Blieberger / Talk: OTG, Vienna, Austria; 1998; in: "Proceedings OTG-Konferenz", (1998)
- Busy Period Duration for Static Priority Scheduling of Database Transactions (TR 183/1-104) / J. Blieberger / 1998
1997
- WPP - Programmer's and User's Guide (TR 183/1-74) / J. Blieberger, B. Burgstaller / 1997
- Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75) / J. Blieberger, B. Scholz / 1997
- Scheduling in a Real-Time Environment under Rush-Hour Conditions (TR 183/1-102) / J. Blieberger, H. Reinwein / 1997
1996
- Multi-Staged Discrete Loops for Real-Time Systems / R. Lieger, J. Blieberger / Talk: EUROMICRO Workshop on Real-Time Systems, l'Aquila, Italy; 1996-06-12 - 1996-06-14; in: "Proceedings of the EUROMICRO Workshop on Real-Time Systems", (1996), 290 - 294
- Augmenting Ada 95 with Additional Real-Time Features / J. Blieberger, R. Lieger, B. Burgstaller / Talk: Reliable Software Technologies - Ada-Europe, Montreux, Switzerland; 1996-06-10 - 1996-06-14; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", A. Strohmeier (ed.); Springer-Verlag, 1088 (1996), ISBN: 3-540-61317-x; 330 - 341
- Informatik, third extended edition / J. Blieberger, J. Klasek, A. Redlein, G. Schildt / Springer, Vienna, 1996, ISBN: 3-211-82860-5; 430 pages
- Datenkompression / J. Blieberger / in: "Informatik, third extended edition", Springer, Vienna, 1996, ISBN: 3-211-82860-5, 29 - 35
- Inhaltsübersicht (Überarbeitung) / J. Blieberger / in: "Informatik, third extended edition", Springer, Vienna, 1996, ISBN: 3-211-82860-5, 7 - 12
- Informationsreduzierende Codierungen / J. Blieberger / in: "Informatik, third extended edition", Springer, Vienna, 1996, ISBN: 3-211-82860-5, 59 - 70
- Worst-Case Space and Time Complexity of Recursive Procedures / J. Blieberger, R. Lieger / Real-Time Systems, 11 (1996), 115 - 144
- Zusatzantrag zum FWF-Projekt WOOP (TR 183/1-72) / J. Blieberger / 1996
- An Annotated Bibliography on Real-Time Databases (TR 183/1-73) / J. Blieberger / 1996
1995
- Loops for Safety-Critical Applications / J. Blieberger / Talk: SAFECOMP, Belgirate, Italy; 1995-10-11 - 1995-10-13; in: "Proceedings of SAFECOMP", (1995)
- The Role of GNAT within Project WOOP / J. Blieberger, B. Burgstaller / Talk: GNAT Workshop of the Ada-Europe'95 Conference, Frankfurt/Main, Germany; 1995-10-02 - 1995-10-06
- Using Discrete Loops for Easy Comprehension of Algorithms / R. Lieger, J. Blieberger / Talk: Workshop on Automation and Control engineering in Higher Education, Vienna, Austria; 1995-07-05 - 1995-07-07; in: "Proceedings of the Workshop on Automation and Control Engineering in Higher Education", (1995), 125 - 134
- Real-Time Recursive Procedures / J. Blieberger, R. Lieger / Talk: EUROMICRO Workshop on Real-Time Systems, Odense, Denmark; 1995-03-14 - 1995-03-16; in: "Proceedings of the EUROMICRO Workshop on Real-Time Systems", (1995), 229 - 235
- On non-preemptive LCFS Scheduling with Deadlines / U. Schmid, J. Blieberger / Journal of Algorithms, 18 (1995), 124 - 158
- Ada / J. Blieberger / Talk: Ada-Kurs für Angehörige des Forschungszentrums Seibersdorf, Seibersdorf, Austria; 1995
- Skriptum "Entwurf von Automatisierungssystemen mit Ada95" (TR 183/1-71) / J. Blieberger / 1995
1994
- Discrete Loops and Worst Case Performance / J. Blieberger / Computer Languages, 20 (1994), 3; 193 - 212
- Entwurf zur Automatisierung der Lagerbewirtschaftung von Wertpapierdruckereien unter spezieller Berücksichtigung von Hochsicherheitsaspekten (TR 183/1-49) / A. Pircher, J. Blieberger, U. Janner, G. Schildt, M. Zadic / Report for ABB Austria; 1994
- The Ackermann-Function Effort in Space and Time (TR 183/1-48) / R. Lieger, J. Blieberger / 1994
1993
- Ein LaTeX-Style zur Gestaltung von Diplomarbeiten an Instituten der Technisch-Naturwissenschaftlichen Fakultät der Technischen Universität Wien (TR 183/1-34) / J. Blieberger / 1993
- FWF-Projektantrag "Worst Case Performance Objekt-Orientierter Echtzeit-Programme (WOOP)" (TR 183/1-42) / J. Blieberger / 1993
- Safe Programmable Logic Controller "SAFE_PLC" (TR-183/1-38) / J. Blieberger, G. Schildt / Report for ESPRIT; 1993
1992
- Informatik, second edition / J. Blieberger, G. Schildt, U. Schmid, S. Stöckler / Springer, Vienna, 1992, ISBN: 3-211-82389-1; 390 pages
- Some Investigations on FCFS Scheduling in Hard Real-Time Applications / U. Schmid, J. Blieberger / Journal of Computer and System Sciences, 45 (1992), 3; 493 - 512
- Preemptive LCFS Scheduling in Hard Real-Time Applications / J. Blieberger, U. Schmid / Performance Evaluation, 15 (1992), 3; 203 - 215
- FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions / J. Blieberger, U. Schmid / BIT Numerical Mathematics, 32 (1992), 3; 370 - 383
1991
- Versuche der Compiler-Validierung / J. Blieberger, G. Schildt / Talk: PEARL - Workshop über Realzeitsysteme, Boppard, Germany (invited); 1991-11-28 - 1991-11-29; in: "Informatik-Fachberichte", 295 (1991), 1 - 19
- Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach / J. Blieberger, U. Schmid / Report for Technical Report 183/1-15, Vienna University of Technology, Department of Automation; 1991
- Anleitung zur Gestaltung von Projektberichten (TR 183/1-1) / J. Blieberger, S. Stöckler / 1991
- Skripten zur Übung "Einführung in die Informatik I" (TR 183/1-28) / A. Bezirgan, J. Blieberger, J. Kremser / 1991
- Skriptum "Entwurf von Automatisierungssystemen mit Ada" (TR 183/1-24) / J. Blieberger / 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
- Untersuchungen bezüglich des Echtzeitverhaltens von Schedulingstrategien / J. Blieberger / Talk: Kongress der Österreichischen Mathematischen Gesellschaft, Vienna, Austria; 1989
1987
- Monotonically Labelled Motzkin Trees / J. Blieberger / Discrete Applied Mathematics, 18 (1987), 9 - 24
Supervisions
- People tracking using particle filters and an advanced human motion model on mobile robots / Master Thesis by F. Beck / Supervisor: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; final examination: 2018-04-11
- Spatio-Temporal Prioritized Planning / Master Thesis by B. Binder / Supervisor: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; final examination: 2018-01-11
- Kronecker Algebra Based Analysis of Shared Memory Concurrent Systems / Doctoral Thesis by R. Mittermayr / Supervisor, Reviewer: J. Blieberger, B. Burgstaller; E 183-1, 2016; oral examination: 2016-10-11
- Energy-efficient Optimization of Railway Operation / Doctoral Thesis by M. Volcic / Supervisor, Reviewer: J. Blieberger, J. Siegmann; 183, 2015; oral examination: 2015-02-04
- Sicherheitskritische Modelleisenbahnsteuerung in Ada / Master Thesis by M. Volcic / Supervisor: J. Blieberger; 183, 2011
- Detecting Busy Waiting by Means of Static Control Flow Analysis / Master Thesis by G. Kienesberger / Supervisor: J. Blieberger; 183/1, 2009
- Resource Management in an Integrated Time-Triggered Architecture / Doctoral Thesis by B. Huber / Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01
- Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems / Doctoral Thesis by M. Schlager / Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09
- Symbolic Evaluation of Imperative Programming Languages / Doctoral Thesis by B. Burgstaller / Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005
- Statische Analyse von Multi-Threading Java-Programmen / Master Thesis by R. Mittermayr / Supervisor: J. Blieberger; 183/1, 2005
- Experiment Management, Performance Optimisation, and Tool Integration in Grid Computing / Doctoral Thesis by R. Prodan / Supervisor, Reviewer: T. Fahringer, J. Blieberger; Institut für Informatik, Leopold-Franzens Universität Innsbruck, 2004
- Bounding the Worst-Case Execution Time of General Loops and Recursion / Doctoral Thesis by R. Lieger / Supervisor, Reviewer: J. Blieberger, W. Purgathofer; Institut für Rechnergestützte Automation, 2002
- Symbolische Verifikation von Echtzeitprogrammen / Master Thesis by B. Scholz / Supervisor: J. Blieberger; Institut für Automation, 1996
- The WOOP Preprocessor - An Impementation of Discrete Loops in Ada95 / Master Thesis by B. Burgstaller / Supervisor: J. Blieberger; Institut für Automation, 1996
- Analytische Untersuchung von Schedulingalgorithmen unter Echtzeitbedingungen / Master Thesis by H. Reinwein / Supervisor: J. Blieberger; Institut für Automation, 1996
- Entwurf zur Automatisierung der Lagerbewirtschaftung von Wertpapierdruckereien / Master Thesis by A. Pircher / Supervisor: J. Blieberger, U. Janner, G. Schildt; Institut für Automation, 1994
- Ein allgemeines, generisches Prozeßvisualisierungs- und -leitsystem / Master Thesis by A. Kainz / Supervisor: J. Blieberger, G. Schildt; Institut für Automation, 1994
- Vergleich verschiedener Verfahren zur temporalen Spezifikation / Master Thesis by L. Kripp-Kalnoky / Supervisor: J. Blieberger, A. Bezirgan, G. Schildt; Institut für Technische Informatik, 1990