| | |
ETH Zürich
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 81 |       | Maria Christakis, Peter Müller, Valentin Wüstholz: Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146 |
| 80 | | Pietro Ferrara, Peter Müller: Automatic Inference of Access Permissions. VMCAI 2012: 202-218 |
| 79 | | Ioannis T. Kassios, Peter Müller, Malte Schwerhoff: Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE 2012: 196-208 |
| 78 | | 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) |
| 77 | | Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357 |
| 76 | | 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 |
| 75 | | Peter Müller, Joseph N. Ruskiewicz: Using Debuggers to Understand Failed Verification Attempts. FM 2011: 73-87 |
| 74 | | Alexander J. Summers, Peter Müller: Freedom before commitment: a lightweight type system for object initialisation. OOPSLA 2011: 1013-1032 |
| 73 | | Peter Müller: Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing 2011: 704-710 |
| 72 | | 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) |
| 71 | | 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) |
| 70 | | Peter Müller: Discussion of "Sampling schemes for generalized DP random effects models". Statistical Methods and Applications 20(3): 299-301 (2011) |
| 69 | | Peter Müller: Advanced Lectures on Software Engineering, LASER Summer School 2007/2008 Springer 2010 |
| 68 | | K. Rustan M. Leino, Peter Müller, Jan Smans: Deadlock-Free Channels and Locks. ESOP 2010: 407-426 |
| 67 | | Ádám Darvas, Peter Müller: Proving Consistency and Completeness of Model Classes Using Theory Interpretation. FASE 2010: 218-232 |
| 66 | | Hermann Lehner, Peter Müller: Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. FASE 2010: 338-352 |
| 65 | | 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 |
| 64 | | Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96 |
| 63 | | K. Rustan M. Leino, Peter Müller: A Basis for Verifying Multi-threaded Programs. ESOP 2009: 378-393 |
| 62 | | K. Rustan M. Leino, Peter Müller, Jan Smans: Verification of Concurrent Programs with Chalice. FOSAD 2009: 195-222 |
| 61 | | Peter Müller, Joseph N. Ruskiewicz: A Modular Verification Methodology for C# Delegates. Rigorous Methods for Software Construction and Analysis 2009: 187-203 |
| 60 | | Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214 |
| 59 | | 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) |
| 58 | | Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 |
| 57 | | Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41 |
| 56 | | 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 |
| 55 | | K. Rustan M. Leino, Peter Müller: Verification of Equivalent-Results Methods. ESOP 2008: 307-321 |
| 54 | | Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83 |
| 53 | | 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 |
| 52 | | Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335 |
| 51 | | 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 |
| 50 | | K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208 |
| 49 | | Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. IET Software 2(6): 477-499 (2008) |
| 48 |  | Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 47 | | Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53 |
| 46 | | Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 |
| 45 | | Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395 |
| 44 | | Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007 |
| 43 | | Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007 |
| 42 | | Peter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478 |
| 41 | | Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38 |
| 40 | | Peter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46 |
| 39 | | Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122 |
| 38 | | Hermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007) |
| 37 | | 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) |
| 36 | | K. Rustan M. Leino, Peter Müller: A Verification Methodology for Model Fields. ESOP 2006: 115-130 |
| 35 | | Dominik Grolimund, Peter Müller: A Pattern Language for Overlay Networks in Peer-to-Peer Systems. EuroPLoP 2006: 95-140 |
| 34 | | Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507 |
| 33 | | 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 |
| 32 | | Ádám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006) |
| 31 | | Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006) |
| 30 | | K. Rustan M. Leino, Peter Müller: Modular Verification of Static Class Invariants. FM 2005: 26-42 |
| 29 | | 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 |
| 28 | | Peter Müller: Reasoning about Object Structures Using Ownership. VSTTE 2005: 93-104 |
| 27 | | Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005) |
| 26 | | Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005) |
| 25 | | Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150 |
| 24 | | K. Rustan M. Leino, Peter Müller: Object Invariants in Dynamic Contexts. ECOOP 2004: 491-516 |
| 23 | | Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83 |
| 22 | | 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 |
| 21 | | Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71 |
| 20 | | 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) |
| 19 | | Peter Müller: Modular Specification and Verification of Object-Oriented Programs Springer 2002 |
| 18 | | 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) |
| 17 | | 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 |
| 16 | | Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A combinatorial approach to protein docking with flexible side-chains. RECOMB 2000: 15-24 |
| 15 | | 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) |
| 14 | | Peter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156 |
| 13 | | Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115 |
| 12 | | Arnd Poetzsch-Heffter, Peter Müller: A Programming Logic for Sequential Java. ESOP 1999: 162-176 |
| 11 | | 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 |
| 10 | | Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating Synthetic Polymer Chains in Parallel. HPCN Europe 1999: 13-22 |
| 9 | | Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252 |
| 8 | | Peter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10 |
| 7 | | Arnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423 |
| 6 | | Markus Dreger, Stefan Lohrum, Peter Müller: The MeDoc Communication Protocol. The MeDoc Approach 1998: 89-101 |
| 5 | | Peter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611 |
| 4 | | Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Parallel MD-Simulations of Synthetic Polymers. PPSC 1997 |
| 3 | | Norbert Fuhr, Peter Müller: Probabilistic Search Term Weighting-Some Negative Results. SIGIR 1987: 13-18 |
| 2 | | Jan Vytopil, Peter Müller: Communication Architecture of TCP16, a Highly Reliable, Distributed System. ICC (2) 1984: 549-553 |
| 1 | | Peter Müller: Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Elektronische Rechenanlagen 13(3): 124-128 (1971) |
Selection of 81 from 81 records - Peter Müller has 93 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page