Johann Blieberger, Ao.Univ.Prof.Dr.


Contact

Address E191-03
Treitlstr. 1-3/ 4. Floor
A-1040 Vienna
Austria
Room DE0428
Telephone +43 1 58801-18313
Fax +43 1 58801-18391
E Mail This email address is being protected from spambots. You need JavaScript enabled to view it.
Office Hours Please make an appointment via email.
Contact

 


Teaching

WS

Title: LVANr.: Type: Hours:
Echtzeit-Programmiersprachen 183.170 VU 3.0
Grundlagen digitaler Systeme 183.580 VU 2.0

SS

Title: LVANr.: Type: Hours:
Grundlagen digitaler Systeme 183.580 VU 2.0

 


Publications

Books and Book Chapters

  1. Johann Blieberger and Markus Bader. 22nd Ada-Europe International Conference on Reliable Software Technologies, LNCS 10300. Springer-Verlag, June 2017. DOI BibTeX

    @book{ bli:ae2017,
    	author = "Johann Blieberger and Markus Bader",
    	title = "{22nd Ada-Europe International Conference on Reliable Software Technologies, LNCS 10300}",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	month = "June",
    	year = 2017,
    	doi = "10.1007/978-3-319-60588-3"
    }
    
  2. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. Symbolic Analysis: An Algebra-based Approach. VDM Verlag, 2008. BibTeX

    @book{ bburg:phd,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "{Symbolic Analysis: An Algebra-based Approach}",
    	publisher = "VDM Verlag",
    	isbn = "978-3-836-48142-7",
    	address = {Saarbr\"ucken, Germany},
    	year = 2008
    }
    
  3. Johann Blieberger, Bernd Burgstaller and Gerhard-Helge Schildt. Informatik–-Grundlagen. Fifth edition, Springer-Verlag, 2005. BibTeX

    @book{ bli:info5,
    	author = "Johann Blieberger and Bernd Burgstaller and Gerhard-Helge Schildt",
    	title = "{Informatik---Grundlagen}",
    	edition = "fifth",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "978-3-211-27754-6",
    	year = 2005
    }
    
  4. Johann Blieberger and Alfred Strohmeier. 7th Ada-Europe International Conference on Reliable Software Technologies, LNCS 2361. Springer-Verlag, June 2002. BibTeX

    @book{ bli:ae2002,
    	author = "Johann Blieberger and Alfred Strohmeier",
    	title = "{7th Ada-Europe International Conference on Reliable Software Technologies, LNCS 2361}",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-540-43784-3",
    	month = "June",
    	year = 2002
    }
    
  5. Johann Blieberger, Bernd Burgstaller and Gerhard-Helge Schildt. Informatik–-Grundlagen. Forth edition, Springer-Verlag, 2001. BibTeX

    @book{ bli:info4,
    	author = "Johann Blieberger and Bernd Burgstaller and Gerhard-Helge Schildt",
    	title = "{Informatik---Grundlagen}",
    	edition = "forth",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-83710-8",
    	year = 2001
    }
    
  6. Johann Blieberger, Johann Klasek, Alexander Redlein and Gerhard-Helge Schildt. Informatik. Third edition, Springer-Verlag, 1996. BibTeX

    @book{ bli:info3,
    	author = "Johann Blieberger and Johann Klasek and Alexander Redlein and Gerhard-Helge Schildt",
    	title = "{Informatik}",
    	edition = "third",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-82860-5",
    	year = 1996
    }
    
  7. Johann Blieberger, Gerhard-Helge Schildt, Ulrich Schmid and Stefan Stöckler. Informatik. Second edition, Springer-Verlag, 1992. BibTeX

    @book{ bli:info2,
    	author = {Johann Blieberger and Gerhard-Helge Schildt and Ulrich Schmid and Stefan St{\"o}ckler},
    	title = "{Informatik}",
    	edition = "second",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-82389-1",
    	year = 1992
    }
    
  8. Johann Blieberger, Gerhard-Helge Schildt, Ulrich Schmid and Stefan Stöckler. Informatik. Springer-Verlag, 1990. BibTeX

    @book{ bli:info1,
    	author = {Johann Blieberger and Gerhard-Helge Schildt and Ulrich Schmid and Stefan St{\"o}ckler},
    	title = "{Informatik}",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-82232-1",
    	year = 1990
    }
    

Articles

  1. Johann Blieberger and Bernd Burgstaller. Safe Non-blocking Synchronization in Ada 202x. CoRR abs/1803.10067, 2018. URL BibTeX

    @article{ dblp:journals/corr/abs-1803-10067,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "Safe Non-blocking Synchronization in Ada 202x",
    	journal = "CoRR",
    	volume = "abs/1803.10067",
    	year = 2018,
    	url = "http://arxiv.org/abs/1803.10067",
    	archiveprefix = "arXiv",
    	eprint = "1803.10067",
    	timestamp = "Wed, 11 Apr 2018 17:54:17 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/corr/abs-1803-10067",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Robert Mittermayr and Johann Blieberger. Deadlock and WCET analysis of barrier-synchronized concurrent programs. Computing, May 2017. URL, DOI BibTeX

    @article{ mittermayr2017,
    	author = "Mittermayr, Robert and Blieberger, Johann",
    	title = "Deadlock and WCET analysis of barrier-synchronized concurrent programs",
    	journal = "Computing",
    	year = 2017,
    	month = "May",
    	day = 08,
    	abstract = "Kronecker algebra until now has been applied to concurrent programs that use semaphores and protected objects for synchronization. Like many other programming languages, Ada uses barriers, too. In this paper, we present a new synchronization construct for barriers. By applying this, we are able to statically analyze Ada multi-tasking programs that employ barriers for synchronization issues. It turns out that we can use our existing Kronecker algebra implementation completely unmodified for concurrent program graphs using such barrier synchronization primitives. In addition, we extend a static WCET technique such that our barrier synchronization primitive is supported.",
    	issn = "1436-5057",
    	doi = "10.1007/s00607-017-0555-8",
    	url = "https://doi.org/10.1007/s00607-017-0555-8"
    }
    
  3. Mark Stefan, Johann Blieberger and Andreas Schöbel. Application of Kronecker Algebra in Railway Operation. Tehnički vjesnik – Technical Gazette (TV-TG) 24(1):21–30, February 2017. DOI BibTeX

    @article{ stef:kronapplrailway,
    	author = {Mark Stefan and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Application of Kronecker Algebra in Railway Operation}",
    	journal = "Tehni\v{c}ki vjesnik -- Technical Gazette (TV-TG)",
    	year = 2017,
    	month = "February",
    	volume = 24,
    	number = 1,
    	pages = "21--30",
    	doi = "10.17559/TV-20131107130926"
    }
    
  4. Andreas Schöbel, Jelena Aksentijevic, Mark Stefan and Johann Blieberger. Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure. Transportation Research Procedia 27:545–552, 2017. DOI BibTeX

    @article{ schoebel:optmaint,
    	author = {Andreas Sch{\"o}bel and Jelena Aksentijevic and Mark Stefan and Johann Blieberger},
    	title = "{Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure}",
    	journal = "Transportation Research Procedia",
    	year = 2017,
    	volume = 27,
    	pages = "545--552",
    	doi = "10.1016/j.trpro.2017.12.040"
    }
    
  5. Robert Mittermayr and Johann Blieberger. A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications. JSEA, Special Issue On Parallel & Concurrent Computing 9(5):182–198, 2016. BibTeX

    @article{ rm:wcetkron,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications}",
    	journal = "JSEA, Special Issue On Parallel \& Concurrent Computing",
    	volume = 9,
    	number = 5,
    	year = 2016,
    	pages = "182--198"
    }
    
  6. Mark Stefan, Johann Blieberger and Andreas Schöbel. Kronecker Algebra zur Optimierung des Eisenbahnbetriebes. ETR 9:78–84, 2015. URL BibTeX

    @article{ stef:kronalg,
    	author = {Mark Stefan and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra zur Optimierung des Eisenbahnbetriebes}",
    	journal = "ETR",
    	year = 2015,
    	volume = 9,
    	pages = "78--84",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/78_84_Austria_Volcic_ua.pdf"
    }
    
  7. Johann Blieberger and Peter Kirschenhofer. Generalized Catalan Sequences Originating from the Analysis of Special Data Structures. Bulletin of the Institute of Combinatorics and its Applications 71:103–116, May 2014. URL BibTeX

    @article{ tuw-228630,
    	author = "Blieberger, Johann and Kirschenhofer, Peter",
    	title = "{Generalized Catalan Sequences Originating from the Analysis of Special Data Structures}",
    	journal = "Bulletin of the Institute of Combinatorics and its Applications",
    	year = 2014,
    	month = "May",
    	volume = 71,
    	pages = "103--116",
    	url = "http://institute.unileoben.ac.at/mathstat/personal/(2014)%20Generalized%20Catalan%20Sequences%20%5bEtc%5d.pdf"
    }
    
  8. Johann Blieberger, Andreas Schöbel and Mark Volcic. {Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich}. Signal + Draht 7/8:15–18, 2014. BibTeX

    @article{ bli:kronalg,
    	author = {Johann Blieberger and Andreas Sch{\"o}bel and Mark Volcic},
    	title = {{Kronecker-Algebra und ihre breit gef{\"a}cherten Anwendungen im Eisenbahnbereich}},
    	journal = "Signal + Draht",
    	year = 2014,
    	volume = "7/8",
    	pages = "15--18"
    }
    
  9. Robert Mittermayr, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Deadlock Analysis for Railway Systems. PROMET-TRAFFIC & TRANSPORTATION, pages 359–369, 2012. DOI BibTeX

    @article{ rrdeadlock,
    	author = {Robert Mittermayr and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra based Deadlock Analysis for Railway Systems}",
    	journal = "PROMET-TRAFFIC \& TRANSPORTATION",
    	issn = "1848-4069",
    	pages = "359--369",
    	year = 2012,
    	doi = "http://dx.doi.org/10.7307/ptt.v24i5.1171"
    }
    
  10. Jingun Hong, Kirak Hong, Bernd Burgstaller and Johann Blieberger. StreamPI: A stream-parallel programming extension for object-oriented programming languages. The Journal of Supercomputing 61(1):118-140, 2012. DOI BibTeX

    @article{ bli:streampi,
    	author = "Hong, Jingun and Hong, Kirak and Burgstaller, Bernd and Blieberger, Johann",
    	title = "Stream{PI}: {A} stream-parallel programming extension for object-oriented programming languages",
    	journal = "The Journal of Supercomputing",
    	publisher = "Springer Netherlands",
    	issn = "0920-8542",
    	volume = 61,
    	number = 1,
    	pages = "118-140",
    	doi = "10.1007/s11227-011-0656-7",
    	year = 2012
    }
    
  11. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages. Journal of Systems and Software 85(6):1418–1439, 2012. DOI BibTeX

    @article{ bburg:symanal,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages",
    	journal = "Journal of Systems and Software",
    	volume = 85,
    	number = 6,
    	doi = "http://dx.doi.org/10.1016/j.jss.2011.11.1039",
    	pages = "1418--1439",
    	year = 2012
    }
    
  12. Johann Blieberger, Norbert Ostermann and Andreas Schöbel. Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur. Signal + Draht 9:33–36, 2009. BibTeX

    @article{ bli:verfwei,
    	author = {Johann Blieberger and Norbert Ostermann and Andreas Sch{\"o}bel},
    	title = {{Graphentheoretische Verf\"ugbarkeitsanalyse f\"ur die Eisenbahninfrastruktur}},
    	journal = "Signal + Draht",
    	year = 2009,
    	volume = 9,
    	pages = "33--36"
    }
    
  13. Johann Blieberger. Average Case Analysis of DJ Graphs. Journal of Discrete Algorithms 4:649–675, 2006. URL, DOI BibTeX

    @article{ bli:gragra,
    	author = "Johann Blieberger",
    	title = "Average Case Analysis of {DJ} Graphs",
    	journal = "Journal of Discrete Algorithms",
    	year = 2006,
    	volume = 4,
    	pages = "649--675",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/djgenum.pdf",
    	doi = "10.1016/j.jda.2005.07.002"
    }
    
  14. Johann Blieberger. Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real-Time Systems 22(3):183–227, 2002. URL, DOI BibTeX

    @article{ bli:dfwcet,
    	author = "Johann Blieberger",
    	title = "Data-Flow Frameworks for Worst-Case Execution Time Analysis",
    	journal = "Real-Time Systems",
    	year = 2002,
    	volume = 22,
    	number = 3,
    	pages = "183--227",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/dfwcetklu.pdf",
    	doi = "10.1023/A:1014535317056"
    }
    
  15. Johann Blieberger. Real-Time Properties of Indirect Recursive Procedures. Information and Computation 171:156-182, 2001. URL, DOI BibTeX

    @article{ bli:indrtrec,
    	author = "Johann Blieberger",
    	title = "Real-Time Properties of Indirect Recursive Procedures",
    	journal = "Information and Computation",
    	volume = 171,
    	year = 2001,
    	pages = "156-182",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/indrtrec.pdf",
    	doi = "10.1006/inco.2001.3042"
    }
    
  16. Johann Blieberger, Thomas Fahringer and Bernhard Scholz. Symbolic Cache Analysis for Real-Time Systems. Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis 18(2/3):181-215, 2000. URL, DOI BibTeX

    @article{ bli:symcache,
    	author = "Johann Blieberger and Thomas Fahringer and Bernhard Scholz",
    	title = "Symbolic Cache Analysis for Real-Time Systems",
    	journal = "Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis",
    	year = 2000,
    	volume = 18,
    	number = "2/3",
    	pages = "181-215",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/symcache.pdf",
    	doi = "10.1023/A:1008193114940"
    }
    
  17. Johann Blieberger and Roland Lieger. Worst-Case Space and Time Complexity of Recursive Procedures. Real-Time Systems 11(2):115–144, 1996. URL, DOI BibTeX

    @article{ bli:rtrecurr,
    	author = "Johann Blieberger and Roland Lieger",
    	title = "Worst-Case Space and Time Complexity of Recursive Procedures",
    	journal = "Real-Time Systems",
    	volume = 11,
    	number = 2,
    	year = 1996,
    	pages = "115--144",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/rtrecurr.pdf",
    	doi = "10.1007/BF00365315"
    }
    
  18. Ulrich Schmid and Johann Blieberger. On non-preemptive LCFS scheduling with deadlines. Journal of Algorithms 18:124-158, 1995. URL, DOI BibTeX

    @article{ sch:nplcfs,
    	author = "Ulrich Schmid and Johann Blieberger",
    	title = "On non-preemptive {LCFS} scheduling with deadlines",
    	journal = "Journal of Algorithms",
    	volume = 18,
    	year = 1995,
    	pages = "124-158",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/npLCFS.pdf",
    	doi = "10.1006/jagm.1995.1004"
    }
    
  19. Johann Blieberger. Discrete Loops and Worst Case Performance. Computer Languages 20(3):193-212, 1994. URL, DOI BibTeX

    @article{ bli:discloop,
    	author = "Johann Blieberger",
    	title = "Discrete Loops and Worst Case Performance",
    	journal = "Computer Languages",
    	volume = 20,
    	year = 1994,
    	number = 3,
    	pages = "193-212",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/discloop.pdf",
    	doi = "10.1016/0096-0551(94)90004-3"
    }
    
  20. Ulrich Schmid and Johann Blieberger. Some investigations on FCFS scheduling in hard real-time applications. Journal of Computer and System Sciences 45(3):493-512, 1992. URL, DOI BibTeX

    @article{ sch:fcfs,
    	author = "Ulrich Schmid and Johann Blieberger",
    	title = "Some investigations on {FCFS} scheduling in hard real-time applications",
    	journal = "Journal of Computer and System Sciences",
    	volume = 45,
    	number = 3,
    	year = 1992,
    	pages = "493-512",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/FCFS.pdf",
    	doi = "10.1016/0022-0000(92)90036-I"
    }
    
  21. Johann Blieberger and Ulrich Schmid. FCFS scheduling in a hard real-time environment under rush-hour conditions. BIT 32(3):370-383, 1992. URL, DOI BibTeX

    @article{ bli:rfcfs,
    	author = "Johann Blieberger and Ulrich Schmid",
    	title = "{FCFS} scheduling in a hard real-time environment under rush-hour conditions",
    	journal = "{BIT}",
    	volume = 32,
    	number = 3,
    	year = 1992,
    	pages = "370-383",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/rFCFS.pdf",
    	doi = "10.1007/BF02074875"
    }
    
  22. Johann Blieberger and Ulrich Schmid. Preemptive LCFS scheduling in hard real-time applications. Performance Evaluation 15(3):203-215, 1992. URL, DOI BibTeX

    @article{ bli:plcfs,
    	author = "Johann Blieberger and Ulrich Schmid",
    	title = "Preemptive {LCFS} scheduling in hard real-time applications",
    	journal = "Performance Evaluation",
    	volume = 15,
    	number = 3,
    	year = 1992,
    	pages = "203-215",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/pLCFS.pdf",
    	doi = "10.1016/0166-5316(92)90035-F"
    }
    
  23. Johann Blieberger. Monotonically labelled Motzkin trees. Discrete Appl. Math. 18:9-24, 1987. URL BibTeX

    @article{ bli:motzkin,
    	author = "Johann Blieberger",
    	title = "Monotonically labelled {M}otzkin trees",
    	journal = "Discrete Appl. Math.",
    	volume = 18,
    	year = 1987,
    	pages = "9-24",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/motzkin.pdf"
    }
    

Proceedings

  1. Andreas Schöbel, Christian Schöbel, Mark Stefan and Johann Blieberger. Kronecker Algebra for Optimization of Rail Traffic Flow on Zagreb–Rijeka Line. In Railcon 2018. October 2018, 41–44. BibTeX

    @inproceedings{ schoe:railcon2018,
    	author = {Andreas Sch{\"o}bel and Christian Sch{\"o}bel and Mark Stefan and Johann Blieberger},
    	title = "Kronecker Algebra for Optimization of Rail Traffic Flow on Zagreb--Rijeka Line",
    	address = "Ni\v{s}, Serbia",
    	booktitle = "Railcon 2018",
    	pages = "41--44",
    	month = "October",
    	year = 2018
    }
    
  2. Andreas Schöbel, Christian Schöbel, Mark Stefan and Johann Blieberger. Enhancing Performance in Railway Operation by Application of Kronecker Algebra. In ICTTE 2018. September 2018, 113–117. BibTeX

    @inproceedings{ schoe:ictte2018,
    	author = {Andreas Sch{\"o}bel and Christian Sch{\"o}bel and Mark Stefan and Johann Blieberger},
    	title = "Enhancing Performance in Railway Operation by Application of Kronecker Algebra",
    	address = "Beograd, Serbia",
    	booktitle = "ICTTE 2018",
    	pages = "113--117",
    	month = "September",
    	year = 2018
    }
    
  3. Andreas Schöbel, Johann Blieberger and Christian Schöbel. Application of Kronecker Algebra for Railway Line Zagreb–Rijeka. In CETRA 2018. May 2018, 1261–1264. BibTeX

    @inproceedings{ schoe:cetra18,
    	author = {Andreas Sch{\"o}bel and Johann Blieberger and Christian Sch{\"o}bel},
    	title = "Application of Kronecker Algebra for Railway Line Zagreb--Rijeka",
    	address = "Zadar, Croatia",
    	booktitle = "CETRA 2018",
    	pages = "1261--1264",
    	month = "May",
    	year = 2018
    }
    
  4. Johann Blieberger and Bernd Burgstaller. Safe Non-blocking Synchronization in Ada2x. In António Casimiro and Pedro M Ferreira (eds.). Ada-Europe'2018 International Conference on Reliable Software Technologies. 2018, 53–69. DOI BibTeX

    @inproceedings{ tuw-270419,
    	author = "Blieberger, Johann and Burgstaller, Bernd",
    	title = "Safe Non-blocking Synchronization in Ada2x",
    	booktitle = "Ada-Europe'2018 International Conference on Reliable Software Technologies",
    	year = 2018,
    	editor = "Casimiro, Ant{\'o}nio and Ferreira, Pedro M.",
    	pages = "53--69",
    	publisher = "Springer-Verlag",
    	address = "LNCS 10873",
    	issn = "0302-9743",
    	doi = "10.1007/978-3-319-92432-8{\_}4",
    	note = "Vortrag: Reliable Software Technologies - Ada-Europe, Lissabon; 2018-06-18 -- 2018-06-22"
    }
    
  5. Jelena Aksentijevic, Andreas Schöbel, Johann Blieberger and Mark Stefan. Optimisation of Rail Traffic Flow using Kronecker Algebra during maintenance on infrastructure. In EWGT 2017: 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING. September 2017, . BibTeX

    @inproceedings{ asbs:ewgt17,
    	author = {Jelena Aksentijevic and Andreas Sch\"obel and Johann Blieberger and Mark Stefan},
    	title = "{Optimisation of Rail Traffic Flow using Kronecker Algebra during maintenance on infrastructure}",
    	booktitle = "EWGT 2017: 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING",
    	month = "September",
    	address = "Budapest",
    	year = 2017,
    	pages = ""
    }
    
  6. Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Johann Blieberger and Bernd Burgstaller. Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. In Euro-Par 2017. August 2017, 538–552. DOI BibTeX

    @inproceedings{ sods:kronpar,
    	author = "Wasuwee Sodsong and Robert Mittermayr and Yoojin Park and Johann Blieberger and Bernd Burgstaller",
    	title = "{Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores}",
    	booktitle = "Euro-Par 2017",
    	month = "August",
    	address = "Santiago de Compostela, Spain",
    	year = 2017,
    	doi = "10.1007/978-3-319-64203-1_39",
    	pages = "538--552"
    }
    
  7. Minyoung Jung, Jinwoo Park, Johann Blieberger and Bernd Burgstaller. Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores. In ICPP 2017. August 2017, 271–281. DOI BibTeX

    @inproceedings{ jung:sfa,
    	author = "Minyoung Jung and Jinwoo Park and Johann Blieberger and Bernd Burgstaller",
    	title = "{Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores}",
    	booktitle = "ICPP 2017",
    	month = "August",
    	address = "Bristol, UK",
    	year = 2017,
    	doi = "10.1109/ICPP.2017.36",
    	pages = "271--281"
    }
    
  8. Robert Mittermayr and Johann Blieberger. Kronecker Algebra for Static Analysis of Barriers in Ada. In Ada-Europe'2016 International Conference on Reliable Software Technologies, LNCS 9695. June 2016, 145–159. DOI BibTeX

    @inproceedings{ mb:adabarriers,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Kronecker Algebra for Static Analysis of Barriers in Ada}",
    	address = "Pisa, Italy",
    	booktitle = "Ada-Europe'2016 International Conference on Reliable Software Technologies, LNCS 9695",
    	pages = "145--159",
    	month = "June",
    	year = 2016,
    	doi = "10.1007/978-3-319-39083-3_10"
    }
    
  9. Johann Blieberger and Bernd Burgstaller. Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. In Ada-Europe'2014 International Conference on Reliable Software Technologies, LNCS 8454. June 2014, 27–42. DOI BibTeX

    @inproceedings{ bburg:adakron,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "{Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects}",
    	address = "Paris, France",
    	booktitle = "Ada-Europe'2014 International Conference on Reliable Software Technologies, LNCS 8454",
    	pages = "27--42",
    	month = "June",
    	year = 2014,
    	doi = "http://dx.doi.org/10.1007/978-3-319-08311-7_4"
    }
    
  10. Andreas Schöbel, Mark Volcic and Johann Blieberger. Analysis and Optimisation of Railway Systems. In EURO-ŽEL 2014. May 2014. BibTeX

    @inproceedings{ sch:optrail,
    	author = {Andreas Sch{\"o}bel and Mark Volcic and Johann Blieberger},
    	title = "Analysis and Optimisation of Railway Systems",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2014",
    	month = "May",
    	year = 2014
    }
    
  11. Mark Volcic, Johann Blieberger and Andreas Schöbel. Optimisation of Railway Operation by Application of Kronecker Algebra. In CETRA 2014. April 2014, 37–42. BibTeX

    @inproceedings{ vol:optrail4,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Optimisation of Railway Operation by Application of Kronecker Algebra",
    	address = "Split, Croatia",
    	booktitle = "CETRA 2014",
    	pages = "37--42",
    	month = "April",
    	year = 2014
    }
    
  12. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Modelling of Railway Operation. In MT-ITS 2013. December 2013, 345–356. BibTeX

    @inproceedings{ vol:availanalrail3,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra based Modelling of Railway Operation",
    	address = "Dresden, Germany",
    	booktitle = "MT-ITS 2013",
    	pages = "345--356",
    	month = "December",
    	year = 2013
    }
    
  13. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra as a Frame for Optimisation of Railway Operation. In 21st International Scientific Conference – TRANSPORT 2013; Mechanics Transport Communications 11/3. October 2013, 57–63. BibTeX

    @inproceedings{ vol:availanalrail2,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra as a Frame for Optimisation of Railway Operation",
    	address = "Sofia, Bulgaria",
    	booktitle = "21st International Scientific Conference -- TRANSPORT 2013; Mechanics Transport Communications",
    	pages = "57--63",
    	volume = "11/3",
    	issn = "1312-3823",
    	month = "October",
    	year = 2013
    }
    
  14. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra and its Broad Applications in Railway Systems. In EURO-ŽEL 2013: Recent Challenges for European Railways. June 2013, 275–282. BibTeX

    @inproceedings{ vol:availanalrail,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra and its Broad Applications in Railway Systems",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2013: Recent Challenges for European Railways",
    	isbn = "978-80-263-0380-0",
    	pages = "275--282",
    	month = "June",
    	year = 2013
    }
    
  15. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Travel Time Analysis for Railway Systems. In FORMS/FORMAT 2012 – 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems. December 2012, 273–281. BibTeX

    @inproceedings{ kronalgttrr,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra based Travel Time Analysis for Railway Systems}",
    	booktitle = "FORMS/FORMAT 2012 -- 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems",
    	address = "Braunschweig, Germany",
    	isbn = "978-3-9803363-3-8",
    	pages = "273--281",
    	month = "December",
    	year = 2012
    }
    
  16. Robert Mittermayr and Johann Blieberger. Timing Analysis of Concurrent Programs. In Tullio Vardanega (ed.). 12th International Workshop on Worst-Case Execution Time Analysis 23. 2012, 59–68. URL, DOI BibTeX

    @inproceedings{ wcetmt12,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Timing Analysis of Concurrent Programs}",
    	booktitle = "12th International Workshop on Worst-Case Execution Time Analysis",
    	pages = "59--68",
    	series = "OpenAccess Series in Informatics (OASIcs)",
    	isbn = "978-3-939897-41-5",
    	issn = "2190-6807",
    	year = 2012,
    	volume = 23,
    	editor = "Tullio Vardanega",
    	publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
    	address = "Dagstuhl, Germany",
    	url = "http://drops.dagstuhl.de/opus/volltexte/2012/3557",
    	urn = "urn:nbn:de:0030-drops-35570",
    	doi = "http://dx.doi.org/10.4230/OASIcs.WCET.2012.59",
    	annote = "Keywords: Worst-case execution time analysis (WCET), Concurrency, Thread Synchronization, Kronecker Algebra, Program Analysis"
    }
    
  17. Gingun Hong, Kirak Hong, Bernd Burgstaller and Johann Blieberger. AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005. In Ada-Europe'2010 International Conference on Reliable Software Technologies. June 2010. URL, DOI BibTeX

    @inproceedings{ bburg:ada_streams,
    	author = "Gingun Hong and Kirak Hong and Bernd Burgstaller and Johann Blieberger",
    	title = "{AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005}",
    	address = "Valencia, Spain",
    	booktitle = "Ada-Europe'2010 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2010,
    	doi = "http://dx.doi.org//10.1007/978-3-642-13550-7_15",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/AdaStreams.pdf"
    }
    
  18. Andreas Schöbel and Johann Blieberger. Availability Analysis for Railway Infrastructure based on Graph Theory. In EURO-ŽEL 2010: Revitalisation of Economy - New Challenge for European Railways. May 2010, 141–148. BibTeX

    @inproceedings{ bli:availanalrail,
    	author = {Andreas Sch{\"o}bel and Johann Blieberger},
    	title = "Availability Analysis for Railway Infrastructure based on Graph Theory",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2010: Revitalisation of Economy - New Challenge for European Railways",
    	month = "May",
    	year = 2010,
    	isbn = "978-80-554-0198-0",
    	pages = "141--148"
    }
    
  19. Raul Fechete, Georg Kienesberger and Johann Blieberger. A Framework for CFG-based Static Program Analysis of Ada Programs. In Ada-Europe'2008 International Conference on Reliable Software Technologies. June 2008, 130-143. URL, DOI BibTeX

    @inproceedings{ fec:adacfg,
    	author = "Raul Fechete and Georg Kienesberger and Johann Blieberger",
    	title = "{A Framework for CFG-based Static Program Analysis of Ada Programs}",
    	address = "Venice, Italy",
    	booktitle = "Ada-Europe'2008 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2008,
    	pages = "130-143",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/adacfg.pdf",
    	doi = "10.1007/978-3-540-68624-8"
    }
    
  20. Robert Mittermayr and Johann Blieberger. Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. In Tiziana Margaria and Bernhard Steffen (eds.). Leveraging Applications of Formal Methods, Verification and Validation 17. 2008, 619–633. BibTeX

    @inproceedings{ mit:po,
    	editor = "Tiziana Margaria and Bernhard Steffen",
    	booktitle = "{Leveraging Applications of Formal Methods, Verification and Validation}",
    	publisher = "Springer",
    	location = "Heidelberg",
    	series = "CCIS",
    	volume = 17,
    	year = 2008,
    	isbn = "978-3-540-88478-1",
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Static Partial-Order Reduction of Concurrent Systems in Polynomial Time}",
    	pages = "619--633"
    }
    
  21. Johann Blieberger. Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. In Florian Martin, Hanne Riis Nielson, Claudio Riva and Markus Schordan (eds.). Scalable Program Analysis (08161). 2008. URL BibTeX

    @inproceedings{ blieberger:dsp:2008:1572,
    	author = "Johann Blieberger",
    	title = "Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms",
    	booktitle = "Scalable Program Analysis",
    	year = 2008,
    	editor = "Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan",
    	number = 08161,
    	series = "Dagstuhl Seminar Proceedings",
    	issn = "1862-4405",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
    	address = "Dagstuhl, Germany",
    	url = "http://drops.dagstuhl.de/opus/volltexte/2008/1572",
    	annote = "Keywords: Average case analysis, elimination-based data-flow analysis algorithms, reducible flow graphs"
    }
    
  22. Johann Blieberger, Bernd Burgstaller and Robert Mittermayr. Static Detection of Livelocks in Ada Multitasking Programs. In Ada-Europe'2007 International Conference on Reliable Software Technologies. June 2007. URL, DOI BibTeX

    @inproceedings{ bli:livelock,
    	author = "Johann Blieberger and Bernd Burgstaller and Robert Mittermayr",
    	title = "{Static Detection of Livelocks in Ada Multitasking Programs}",
    	address = "Geneve, Switzerland",
    	booktitle = "Ada-Europe'2007 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2007,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/livelock.pdf",
    	doi = "10.1007/978-3-540-73230-3"
    }
    
  23. Bernhard Scholz and Johann Blieberger. A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. In CC'2007, LNCS 4420. March 2007, 202-217. URL, DOI BibTeX

    @inproceedings{ bli:adt,
    	author = "Bernhard Scholz and Johann Blieberger",
    	title = "{A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees}",
    	address = "Braga, Portugal",
    	booktitle = "CC'2007, LNCS 4420",
    	month = "March",
    	year = 2007,
    	pages = "202-217",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/elimADT.pdf",
    	doi = "10.1007/978-3-540-71229-9_14"
    }
    
  24. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. Symbolic Analysis of Imperative Programming Languages. In JMLC'2006, LNCS 4228. September 2006, 172-194. URL, DOI BibTeX

    @inproceedings{ bburg:sym_imperative,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "{Symbolic Analysis of Imperative Programming Languages}",
    	address = "Oxford, England",
    	booktitle = "{JMLC'2006, LNCS 4228}",
    	month = "September",
    	year = 2006,
    	pages = "172-194",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/SymbolicAnalysis.pdf",
    	doi = "10.1007/11860990_12"
    }
    
  25. Bernd Burgstaller, Johann Blieberger and Robert Mittermayr. Static Detection of Access Anomalies in Ada95. In Ada-Europe'2006 International Conference on Reliable Software Technologies. June 2006, 78-90. URL, DOI BibTeX

    @inproceedings{ bli:erroneous,
    	author = "Bernd Burgstaller and Johann Blieberger and Robert Mittermayr",
    	title = "{Static Detection of Access Anomalies in Ada95}",
    	address = "Porto, Portugal",
    	booktitle = "Ada-Europe'2006 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2006,
    	pages = "78-90",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/erroneous.pdf",
    	doi = "10.1007/11767077_4"
    }
    
  26. Bernd Burgstaller, Johann Blieberger and Bernhard Scholz. On the Tree Width of Ada Programs. In Ada-Europe'2004 International Conference on Reliable Software Technologies. June 2004, 78-90. URL, DOI BibTeX

    @inproceedings{ bli:treewidth,
    	author = "Bernd Burgstaller and Johann Blieberger and Bernhard Scholz",
    	title = "{On the Tree Width of Ada Programs}",
    	address = "Palma de Mallorca, Spain",
    	booktitle = "Ada-Europe'2004 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2004,
    	pages = "78-90",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/ada_treewidth.pdf",
    	doi = "10.1007/b97913"
    }
    
  27. Johann Blieberger and Bernd Burgstaller. Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. In Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655. June 2003, 153-167. URL BibTeX

    @inproceedings{ bli:range_check,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "{Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation}",
    	booktitle = "Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655",
    	month = "June",
    	address = "Toulouse, France",
    	year = 2003,
    	pages = "153-167",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/symrange.pdf"
    }
    
  28. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Busy Wait Analysis. In Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655. June 2003, 142-152. URL BibTeX

    @inproceedings{ bli:busywait,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Busy Wait Analysis}",
    	address = "Toulouse, France",
    	booktitle = "Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655",
    	month = "June",
    	pages = "142-152",
    	year = 2003,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/busywait.pdf"
    }
    
  29. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In Ada-Europe'2000 International Conference on Reliable Software Technologies. June 2000, 225-237. URL, DOI BibTeX

    @inproceedings{ bli:deadlock,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs}",
    	booktitle = "Ada-Europe'2000 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Potsdam, Germany",
    	pages = "225-237",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/tasks.pdf",
    	doi = "10.1007/10722060_21"
    }
    
  30. Bernhard Scholz, Johann Blieberger and Thomas Fahringer. Symbolic Pointer Analysis for Detecting Memory Leaks. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00). January 2000, 104-113. URL, DOI BibTeX

    @inproceedings{ sch:mem,
    	author = "Bernhard Scholz and Johann Blieberger and Thomas Fahringer",
    	title = "{Symbolic Pointer Analysis for Detecting Memory Leaks}",
    	booktitle = "ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)",
    	month = "January",
    	address = "Boston",
    	year = 2000,
    	pages = "104-113",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/pepmfront.pdf",
    	doi = "10.1145/328690.328704"
    }
    
  31. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In Ada-Europe'99 International Conference on Reliable Software Technologies. June 1999, 136-145. URL BibTeX

    @inproceedings{ bli:alias,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Interprocedural Symbolic Evaluation of Ada Programs with Aliases}",
    	booktitle = "Ada-Europe'99 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Santander, Spain",
    	pages = "136-145",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/ada99.pdf"
    }
    
  32. Johann Blieberger, Johann Klasek and Kühn. Ada Binding to a Shared Object Layer. In Ada-Europe'99 International Conference on Reliable Software Technologies. June 1999, 263-274. URL BibTeX

    @inproceedings{ bli:ada-corso,
    	author = {Johann Blieberger and Johann Klasek and eva K{\"u}hn},
    	title = "{Ada Binding to a Shared Object Layer}",
    	booktitle = "Ada-Europe'99 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Santander, Spain",
    	pages = "263-274",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/CORSO.pdf"
    }
    
  33. Johann Blieberger and Bernd Burgstaller. Symbolic Reaching Definitions Analysis of Ada Programs. In Proceedings of Ada-Europe'98. June 1998, 238–250. URL, DOI BibTeX

    @inproceedings{ bli:ada98,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "Symbolic Reaching Definitions Analysis of {A}da Programs",
    	booktitle = "Proceedings of Ada-Europe'98",
    	address = "Uppsala, Sweden",
    	pages = "238--250",
    	month = "June",
    	year = 1998,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/ada98_lncs.pdf",
    	doi = "10.1007/BFb0055009"
    }
    
  34. Roland Lieger and Johann Blieberger. Multi-Staged Discrete Loops for Real-Time Systems. In Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems. 1996, 290–294. URL, DOI BibTeX

    @inproceedings{ lie:multistg,
    	author = "Roland Lieger and Johann Blieberger",
    	title = "Multi-Staged Discrete Loops for Real-Time Systems",
    	booktitle = "Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems",
    	year = 1996,
    	address = "l'Aquila",
    	pages = "290--294",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/eumimsdl.pdf",
    	doi = "10.1109/EMWRTS.1996.557943"
    }
    
  35. Johann Blieberger, Roland Lieger and Bernd Burgstaller. Augmenting Ada95 with Additional Real-Time Features. In Proc. of Ada-Europe'96. 1996, 330–341. URL, DOI BibTeX

    @inproceedings{ bli:adaeur96,
    	author = "Johann Blieberger and Roland Lieger and Bernd Burgstaller",
    	title = "Augmenting {Ada95} with Additional Real-Time Features",
    	booktitle = "Proc. of Ada-Europe'96",
    	publisher = "LNCS",
    	year = 1996,
    	pages = "330--341",
    	address = "Montreux",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/Ada-Europe_96.pdf",
    	doi = "10.1007/BFb0013500"
    }
    
  36. Roland Lieger and Johann Blieberger. Using Discrete Loops for Easy Comprehension of Algorithms. In Proceedings of the Workshop on Automation and Control Engineering in Higher Education. 1995, 125–135. URL BibTeX

    @inproceedings{ lie:education,
    	author = "Roland Lieger and Johann Blieberger",
    	title = "Using Discrete Loops for Easy Comprehension of Algorithms",
    	booktitle = "Proceedings of the Workshop on Automation and Control Engineering in Higher Education",
    	year = 1995,
    	address = "Vienna",
    	pages = "125--135",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/education_95.pdf"
    }
    
  37. Johann Blieberger. Loops for Safety Critical Applications. In Proceedings of SAFECOMP'95. 1995, 269–282. URL BibTeX

    @inproceedings{ bli:safecomp,
    	author = "Johann Blieberger",
    	title = "Loops for Safety Critical Applications",
    	booktitle = "Proceedings of SAFECOMP'95",
    	year = 1995,
    	address = "Belgirate, Italy",
    	pages = "269--282",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/safecomp_95.pdf"
    }
    
  38. Johann Blieberger and Roland Lieger. Real-Time Recursive Procedures. In Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems. 1995, 229–235. URL, DOI BibTeX

    @inproceedings{ bli:eumirtrc,
    	author = "Johann Blieberger and Roland Lieger",
    	title = "Real-Time Recursive Procedures",
    	booktitle = "Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems",
    	year = 1995,
    	address = "Odense",
    	pages = "229--235",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/eumirtrc.pdf",
    	doi = "10.1109/EMWRTS.1995.514316"
    }
    
  39. Johann Blieberger and Gerhard-Helge Schildt. Versuche der Compiler-Validierung. In Informatik-Fachberichte 295, PEARL'91, Workshop über Realzeitsysteme. 1991, 1-19. BibTeX

    @inproceedings{ bli:compiler-validierung,
    	author = "Johann Blieberger and Gerhard-Helge Schildt",
    	title = "{Versuche der Compiler-Validierung}",
    	address = "Boppard, Germany",
    	booktitle = {Informatik-Fachberichte 295, PEARL'91, Workshop \"uber Realzeitsysteme},
    	pages = "1-19",
    	year = 1991
    }
    

Thesis

    Technical Reports

      Others

      1. Johann Blieberger. Kronecker Algebra Based Analysis of Concurrent Computer Programs. 2016. BibTeX

        @misc{ kirsch2016,
        	author = "Johann Blieberger",
        	title = "Kronecker Algebra Based Analysis of Concurrent Computer Programs",
        	year = 2016,
        	month = "Oct.",
        	note = "Vortrag beim Festkolloquium aus Anlass des 60. Geburtstages von o.Univ.Prof.Dr. Peter Kirschenhofer"
        }
        

      DATENSCHUTZERKLÄRUNG - Joomla templates by a4joomla