Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Müller
Author information
- ETH Zürich
Other persons with the same name
- Peter Müller 0002 — IBM Zurich
- Peter Müller 0003 — Dept. of Biostatistics, University of Texas
- Peter Müller 0004 — TH Darmstadt
- Peter Müller 0005 — Institut fuer Mathematik, Universität Würzburg
2010 – today
- 2013
[j19]Gohar M. M. Kyureghyan, Peter Müller, Qi Wang: On the Size of Kakeya Sets in Finite Vector Spaces. Electr. J. Comb. 20(3): P36 (2013)- [c65]Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers: Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. ECOOP 2013: 451-476
- [c64]Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers: Abstract Read Permissions: Fractional Permissions without the Fractions. VMCAI 2013: 315-334
- [p1]Werner Dietl, Peter Müller: Object Ownership in Program Verification. Aliasing in Object-Oriented Programming 2013: 289-318
- 2012
- [j18]Guoshuai Cai, Hua Li, Yue Lu, Xuelin Huang, Juhee Lee, Peter Müller, Yuan Ji, Shoudan Liang: Accuracy of RNA-Seq and its dependence on sequencing depth. BMC Bioinformatics 13(S-13): S5 (2012)
- [j17]Yuan Ji, Riten Mitra, Fernando Quintana, Alejandro Jara, Peter Müller, Ping Liu, Yue Lu, Shoudan Liang: BM-BC: a Bayesian method of base calling for Solexa sequence data. BMC Bioinformatics 13(S-13): S6 (2012)
- [j16]John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson: Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16 (2012)
- [c63]Maria Christakis, Peter Müller, Valentin Wüstholz: Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146
- [c62]Riten Mitra, Peter Müller, Yuan Ji, Gordon B. Mills, Yiling Lu: Sparse Bayesian graphical models for RPPA time course data. GENSiPS 2012: 113-117
- [c61]Yanxun Xu, Jie Zhang, Yuan Yuan, Riten Mitra, Peter Müller, Yuan Ji: A Bayesian graphical model for integrative analysis of TCGA data. GENSiPS 2012: 135-138
- [c60]
- [c59]Ioannis T. Kassios, Peter Müller, Malte Schwerhoff: Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE 2012: 196-208
- 2011
- [j15]Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter: Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011)
- [j14]Peter Müller: Discussion of "Sampling schemes for generalized DP random effects models". Statistical Methods and Applications 20(3): 299-301 (2011)
- [j13]Werner Dietl, Sophia Drossopoulou, Peter Müller: Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20 (2011)
- [c58]Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357
- [c57]Peter Müller, Joseph N. Ruskiewicz: Using Debuggers to Understand Failed Verification Attempts. FM 2011: 73-87
- [c56]Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
- [c55]Alexander J. Summers, Peter Müller: Freedom before commitment: a lightweight type system for object initialisation. OOPSLA 2011: 1013-1032
- [r1]Peter Müller: Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing 2011: 704-710
- 2010
- [c54]
- [c53]Ádám Darvas, Peter Müller: Proving Consistency and Completeness of Model Classes Using Theory Interpretation. FASE 2010: 218-232
- [c52]Hermann Lehner, Peter Müller: Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. FASE 2010: 338-352
- [c51]Wolfgang Büscher, Ute Müller, Peter Müller, Eckhard Stamer: Informationsmanagement in der Milchviehhaltung - am Beispiel der Milchviehherde "Frankenforst" der Universität Bonn. GI Jahrestagung (1) 2010: 179-184
- [c50]Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96
- [e2]Peter Müller (Ed.): Advanced Lectures on Software Engineering, LASER Summer School 2007/2008. Lecture Notes in Computer Science 6029, Springer 2010, ISBN 978-3-642-13009-0
2000 – 2009
- 2009
- [j12]Alexander J. Summers, Sophia Drossopoulou, Peter Müller: Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. Journal of Object Technology 8(4): 85-125 (2009)
- [c49]Peter Müller, Joseph N. Ruskiewicz: A Modular Verification Methodology for C# Delegates. Rigorous Methods for Software Construction and Analysis 2009: 187-203
- [c48]
- [c47]K. Rustan M. Leino, Peter Müller, Jan Smans: Verification of Concurrent Programs with Chalice. FOSAD 2009: 195-222
- [c46]Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
- 2008
- [j11]Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. IET Software 2(6): 477-499 (2008)
- [c45]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
- [c44]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
- [c43]Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
- [c42]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
- [c41]
- [c40]Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
- [c39]K. Rustan M. Leino, Peter Müller: Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs. LASER Summer School 2008: 91-139
- [c38]Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
- [c37]K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
- 2007
- [j10]Hermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007)
- [j9]Gary T. Leavens, K. Rustan M. Leino, Peter Müller: Specification and verification challenges for sequential object-oriented programs. Formal Asp. Comput. 19(2): 159-189 (2007)
- [c36]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
- [c35]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
- [c34]
- [c33]Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
- [c32]Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
- [c31]
- [c30]Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
- [c29]Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
- [c28]Peter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
- [e1]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (Eds.): Mobility, Ubiquity and Security, 25.02. - 02.03.2007. Dagstuhl Seminar Proceedings 07091, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j8]Ádám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006)
- [j7]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
- [c27]
- [c26]Dominik Grolimund, Peter Müller: A Pattern Language for Overlay Networks in Peer-to-Peer Systems. EuroPLoP 2006: 95-140
- [c25]Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507
- [c24]Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
- 2005
- [j6]Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)
- [j5]Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
- [c23]
- [c22]Alexander Nyßen, Horst Lichter, Jan Suchotzki, Peter Müller, Andreas Stelter: UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie. MBEES 2005: 147-158
- [c21]
- 2004
- [c20]Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
- [c19]
- [c18]Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
- [c17]Alexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter: Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. Modellierung 2004: 229-233
- 2003
- [j4]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular specification of frame properties in JML. Concurrency and Computation: Practice and Experience 15(2): 117-154 (2003)
- [c16]Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
- 2002
- [b1]Peter Müller: Modular Specification and Verification of Object-Oriented Programs. Lecture Notes in Computer Science 2262, Springer 2002, ISBN 3-540-43167-5
- [j3]Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A Combinatorial Approach to Protein Docking with Flexible Side Chains. Journal of Computational Biology 9(4): 597-612 (2002)
- 2000
- [j2]Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating synthetic polymer chains in parallel. Future Generation Comp. Syst. 16(5): 513-522 (2000)
- [c15]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
- [c14]Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A combinatorial approach to protein docking with flexible side-chains. RECOMB 2000: 15-24
1990 – 1999
- 1999
- [c13]Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
- [c12]Peter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
- [c11]
- [c10]Reinhard Guthke, Wolfgang Schmidt-Heck, Peter Müller, Heike Rodig, Ralph Berkholz: Data and knowlage based experimental design for bioprocess optimization. German Conference on Bioinformatics 1999: 199-200
- [c9]Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating Synthetic Polymer Chains in Parallel. HPCN Europe 1999: 13-22
- [c8]Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252
- 1998
- [c7]Peter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10
- [c6]Markus Dreger, Stefan Lohrum, Peter Müller: The MeDoc Communication Protocol. The MeDoc Approach 1998: 89-101
- [c5]Arnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423
- 1997
- [c4]Peter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611
- [c3]Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Parallel MD-Simulations of Synthetic Polymers. PPSC 1997
1980 – 1989
- 1987
- [c2]Norbert Fuhr, Peter Müller: Probabilistic Search Term Weighting-Some Negative Results. SIGIR 1987: 13-18
- 1984
- [c1]Jan Vytopil, Peter Müller: Communication Architecture of TCP16, a Highly Reliable, Distributed System. ICC (2) 1984: 549-553
1970 – 1979
- 1971
- [j1]Peter Müller: Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Elektronische Rechenanlagen 13(3): 124-128 (1971)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team