( en | de | ru )

 

Disambiguation of "Blieberger, Johann"

Author of the publication

copydeleteadd this publication to your clipboard
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

, , and . Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 136-145. Springer, (1999)

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 Schmid

Johann Wallner

Johann Bauer

Johann Felden

Johann Schnapauff

 

Other publications of authors with the same name

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)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)On Nonpreemptive LCFS Scheduling with Deadlines., and . J. Algorithms, 18 (1): 124-158 (1995)A Framework for CFG-Based Static Program Analysis of Ada Programs., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 130-143. Springer, (2008)Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects., and . Ada-Europe, volume 8454 of Lecture Notes in Computer Science, page 27-42. Springer, (2014)Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics., , , , , and . J. Syst. Archit., (2020)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)