( en | de | ru )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).

, , , and . Dagstuhl Reports, 6 (5): 56-71 (2016)

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.

Peter Müller

Peter Müller

Peter Müller

Peter Müller

Peter Müller

 

Other publications of authors with the same name

Little boxes. Books on Demand, Norderstedt, (2006)A Sound and Complete Program Logic for Eiffel., , , and . TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 195-214. Springer, (2009)Bayesian Graphical Models for Computational Network Biology., , , and . BCB, page 751. ACM, (2017)Building automatic program verifiers.. PLMW@POPL, page 3:1. ACM, (2015)A Modular Verification Methodology for C# Delegates., and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 187-203. Springer, (2009)Leveraging Rust Types for Program Synthesis., , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1414-1437 (2023)Verification-Preserving Inlining in Automatic Separation Logic Verifiers., , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 789-818 (April 2023)Designing a Crossbar Scheduler for HPC Applications., , , , , , , , , and 1 other author(s). IEEE Micro, 26 (3): 58-71 (2006)Proof-Transforming Compilation of Eiffel Programs., , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 316-335. Springer, (2008)Alternative Streitbeilegung für Domainnamen nach dem Uniform Rapid Suspension System (URS).. Comput. und Recht, 32 (7): 446-451 (2016)