( en | de | ru )

 

Disambiguation of "Müller-Olm, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Deciding Asynchronous Hyperproperties for Recursive Programs.

, , and . Proc. ACM Program. Lang., 8 (POPL): 33-60 (January 2024)

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.

Markus Müller-Olm

Sven Olm

Peter Olm

Markus Müller

Markus Müller

 

Other publications of authors with the same name

Computing polynomial program invariants., and . Inf. Process. Lett., 91 (5): 233-244 (2004)Variations on Constants - Flow Analysis of Sequential and Parallel Programs. Lecture Notes in Computer Science Springer, (2006)Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction. Lecture Notes in Computer Science Springer, (1997)Automata and Fixpoints for Asynchronous Hyperproperties., , and . CoRR, (2020)A Modal Fixpoint Logic with Chop.. STACS, volume 1563 of Lecture Notes in Computer Science, page 510-520. Springer, (1999)Polynomial Constants are Decidable, and . Static Analysis Symposium (SAS 2002), volume 2477 of LNCS, page 4--19. Springer, (2002)Analysis of Modular Arithmetic., and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 46-60. Springer, (2005)Derivation of Characteristic Formulae.. MFCS Workshop on Concurrency, volume 18 of Electronic Notes in Theoretical Computer Science, page 159-170. Elsevier, (1998)Precise Interprocedural Dependence Analysis of Parallel Programs. Universität Trier, Mathematik/Informatik, Forschungsbericht, (2002)Interprocedural Invariants, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (2002)