2022W

• Bachelor Thesis / 183.609 / PR
• Computer Engineering Project / 183.672 / PR
• Computer Engineering Scientific Project / 183.673 / PR
• Fundamentals of Digital Systems / 183.580 / VU
• Fundamentals of Digital Systems / 192.134 / VU
• Project in Computer Science 1 / 191.111 / PR
• Project in Computer Science 2 / 191.112 / PR
• Scientific Research and Writing / 193.052 / SE
• Seminar Computer Engineering / 183.674 / SE
• Seminar for Master Students in Computer Engineering / 180.778 / SE

 

• Simulation tool to increase sustainability and efficiency of public transport verhicles
  2021 – 2023 / Austrian Research Promotion Agency (FFG)
• 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)

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2021

• AdaMM: A Precompiler for Memory Model Aware Programming on Higher Language Level / J. Blieberger / Talk: Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain; 2021-06-07 - 2021-06-10
• Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs / R. Mittermayr, J. Blieberger / Computing, 103 (2021), 5; 749 - 770

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
• 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_Marker-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

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

• 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