( en | de | ru )

 

Disambiguation of "Blieberger, Johann"

Author of the publication

copydeleteadd this publication to your clipboard
Data-Flow Frameworks for Worst-Case Execution Time Analysis

. Real-Time Systems, 22 (3): 183-227 (2002)http://dblp.uni-trier.de/db/journals/rts/rts22.html#Blieberger02 http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcetklu.pdf.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johann Heber

Johann Beyer

Johann Dill

Johann Reiner

Wolfgang Johann

 

Other publications of authors with the same name

Versuche der Compiler-Validierung., and . PEARL, volume 295 of Informatik-Fachberichte, page 1-19. Springer, (1991)Kronecker Algebra for Static Analysis of Barriers in Ada., and . Ada-Europe, volume 9695 of Lecture Notes in Computer Science, page 145-159. Springer, (2016)Some Investigations on FCFS Scheduling in Hard Real Time Applications., and . J. Comput. Syst. Sci., 45 (3): 493-512 (1992)Safe Non-blocking Synchronization in Ada 202x., and . CoRR, (2018)Symbolic Reaching Definitions Analysis of Ada Programs., and . Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 238-250. Springer, (1998)Interprocedural Symbolic Evaluation of Ada Programs with Aliases., , and . Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 136-145. Springer, (1999)On the Tree Width of Ada Programs., , and . Ada-Europe, volume 3063 of Lecture Notes in Computer Science, page 78-90. Springer, (2004)Augmenting Ada 95 with Additional Real-Time Features., , and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 330-341. Springer, (1996)Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real-Time Systems, 22 (3): 183-227 (2002)http://dblp.uni-trier.de/db/journals/rts/rts22.html#Blieberger02 http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcetklu.pdf.Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms.. Scalable Program Analysis, volume 08161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)