( 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 Syst., 22 (3): 183-227 (2002)

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 Fischer

Johann Melentis

Johann Carstensen

Johann Edelmann

Johann Spettmann

 

Other publications of authors with the same name

Versuche der Compiler-Validierung., and . PEARL, volume 295 of Informatik-Fachberichte, page 1-19. Springer, (1991)Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints., , and . CoRR, (2015)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)FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions., and . BIT, 32 (3): 370-383 (1992)Some Investigations on FCFS Scheduling in Hard Real Time Applications., and . J. Comput. Syst. Sci., 45 (3): 493-512 (1992)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)Interprocedural Symbolic Evaluation of Ada Programs with Aliases., , and . Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 136-145. Springer, (1999)Symbolic Reaching Definitions Analysis of Ada Programs., and . Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 238-250. Springer, (1998)Safe Non-blocking Synchronization in Ada 202x., and . CoRR, (2018)