PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Guiding dynamic symbolic execution toward unverified program executions.

, , and . ICSE, page 144-155. ACM, (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.

Alexander Müller

Timo Müller University of Stuttgart

Niklas Müller University of Stuttgart

Theresa Müller University of Stuttgart

Johannes Müller University of Stuttgart

 

Other publications of authors with the same name

Designing a Crossbar Scheduler for HPC Applications., , , , , , , , , and 1 other author(s). IEEE Micro, 26 (3): 58-71 (2006)Information Hiding and Visibility in Interface Specifications., and . ICSE, page 385-395. IEEE Computer Society, (2007)Proof-Transforming Compilation of Eiffel Programs., , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 316-335. Springer, (2008)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)Formal Specification Techniques for Object-Oriented Programs., and . GI Jahrestagung, page 602-611. Springer, (1997)Flexible Immutability with Frozen Objects., , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 192-208. Springer, (2008)Bayesian Graphical Models for Computational Network Biology., , , and . BCB, page 751. ACM, (2017)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)A Bayesian graphical model for integrative analysis of TCGA data., , , , , and . GENSiPS, page 135-138. IEEE, (2012)Building automatic program verifiers.. PLMW@POPL, page 3:1. ACM, (2015)