2019W

• Bachelor Thesis / PR / 183.609
• Computer Engineering Practical / PR / 183.610
• Computer Engineering Project / PR / 183.672
• Computer Engineering Scientific Project / PR / 183.673
• Fundamentals of Computer Engineering / VU / 183.579
• Fundamentals of Digital Systems / VU / 183.580
• Project in Computer Science 1 / PR / 191.111
• Project in Computer Science 2 / PR / 191.112
• Pv.aus Automatisierungssystemen / PV / 183.183
• Seminar Computer Engineering / SE / 183.674

2020S

• Bachelor Thesis / PR / 183.609
• Computer Engineering Practical / PR / 183.610
• Computer Engineering Project / PR / 183.672
• Computer Engineering Scientific Project / PR / 183.673
• Literature Seminar for PhD Students / SE / 183.616
• Parallel and Real-Time Programming / VU / 183.626
• Project in Computer Science 1 / PR / 191.111
• Research seminar for PhD students / SE / 183.615
• Security Seminar / SE / 183.641
• Selected Topics of Computer Engineering Selected Topics of Computer Engineering / VO / 183.618
• Seminar Computer Engineering / SE / 183.674
• Seminar for PhD candidates / SE / 183.614
• Software Engineering / SE / 183.642

 

• Coordination of Autonomous Vehicles to Transport 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)

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

2018

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

2017

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

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

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

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

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

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

2007

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

2006

• Average Case Analysis of DJ Graphs / J. Blieberger / Journal of Discrete Algorithms, 4 (2006), 649 - 675
• 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

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 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
• 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 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
• Lady Ada and Senor Java at the Dentist / J. Blieberger / Talk: Globex Roadshow, Bregenz, Austria (invited); 2000

1999

• Proceedings der OTG-Konferenz / J. Blieberger / OTG, Perchtoldsdorf, 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
• 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

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

• 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
• On non-preemptive LCFS Scheduling with Deadlines / U. Schmid, J. Blieberger / Journal of Algorithms, 18 (1995), 124 - 158
• 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
• 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
• Loops for Safety-Critical Applications / J. Blieberger / Talk: SAFECOMP, Belgirate, Italy; 1995-10-11 - 1995-10-13; in: "Proceedings of SAFECOMP", (1995)
• 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

 

• Spatio-Temporal Prioritized Planning / Master Thesis by B. Binder / Supervisor: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; final examination: 2018-01-11
• 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
• Kronecker Algebra Based Analysis of Shared Memory Concurrent Systems / PhD 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 / PhD 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 / PhD 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 / PhD Thesis by M. Schlager / Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09
• Symbolic Evaluation of Imperative Programming Languages / PhD 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 / PhD 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 / PhD 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