Peter Müller - RankMe

185 papers A* 13A 21B 22Misc 1Journal 68Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	SMTScope: Automated and Efficient Analysis of SMT Traces. TACAS (1) Jonás Fiala, Peter Müller
2026	J	`jnl`	Sound State Encodings in Translational Separation Logic Verifiers (Extended Version). CoRR Hongyi Ling, Thibault Dardinier, Ellen Arlt, Peter Müller
2025	J	`jnl`	A Refinement Methodology for Distributed Programs in Rust. Proc. ACM Program. Lang. Aurel Bílý, João C. Pereira, Peter Müller
2025	—	`conf`	Accelerating Automated Program Verifiers by Automatic Proof Localization. CAV (3) Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, Ilya Sergey
2025	J	`jnl`	Destabilizing Iris. Proc. ACM Program. Lang. Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
2025	—	`conf`	Fifteen Years of Viper. CAV (1) Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Müller
2025	J	`jnl`	Formal Foundations for Translational Separation Logic Verifiers. Proc. ACM Program. Lang. Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller
2025	J	`jnl`	Modular Reasoning about Global Variables and Their Initialization. Proc. ACM Program. Lang. João C. Pereira, Isaac van Bakel, Patricia Firlejczyk, Marco Eilers, Peter Müller
2025	J	`jnl`	On Formal Methods Thinking in Computer Science Education. Formal Aspects Comput. Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2025	J	`jnl`	Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees. CoRR Zachary Grannan, Aurel Bílý, Jonás Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers
2025	J	`jnl`	Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees. Proc. ACM Program. Lang. Zachary Grannan, Aurel Bílý, Jonás Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers
2025	A*	`conf`	Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. CCS João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2025	J	`jnl`	The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version). CoRR Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller
2025	J	`jnl`	Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia. CoRR Lea Salome Brugger, Xavier Denis, Peter Müller
2024	J	`jnl`	Formal Foundations for Translational Separation Logic Verifiers (extended version). CoRR Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller
2024	J	`jnl`	Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties. Proc. ACM Program. Lang. Thibault Dardinier, Peter Müller
2024	J	`jnl`	Hypra: A Deductive Program Verifier for Hyper Hoare Logic. Proc. ACM Program. Lang. Thibault Dardinier, Anqi Li, Peter Müller
2024	J	`jnl`	Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024	J	`jnl`	Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. CoRR Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers
2024	J	`jnl`	Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version). CoRR Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers
2024	J	`jnl`	Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language. Proc. ACM Program. Lang. Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers
2024	A*	`conf`	Verifiable Security Policies for Distributed Systems. CCS Felix A. Wolf, Peter Müller
2024	—	`conf`	Verification Algorithms for Automated Separation Logic Verifiers. CAV (1) Marco Eilers, Malte Schwerhoff, Peter Müller
2024	J	`jnl`	Verification Algorithms for Automated Separation Logic Verifiers. CoRR Marco Eilers, Malte Schwerhoff, Peter Müller
2023	A*	`conf`	A Generic Methodology for the Modular Verification of Security Protocol Implementations. CCS Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
2023	J	`jnl`	CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. Proc. ACM Program. Lang. Marco Eilers, Thibault Dardinier, Peter Müller
2023	J	`jnl`	Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version). CoRR Thibault Dardinier, Peter Müller
2023	J	`jnl`	Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). Formal Aspects Comput. Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
2023	J	`jnl`	Leveraging Rust Types for Program Synthesis. Proc. ACM Program. Lang. Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey
2023	J	`jnl`	Refinement Proofs in Rust Using Ghost Locks. CoRR Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller
2023	A*	`conf`	Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2023	J	`jnl`	Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi
2023	J	`jnl`	Verification-Preserving Inlining in Automatic Separation Logic Verifiers. Proc. ACM Program. Lang. Thibault Dardinier, Gaurav Parthasarathy, Peter Müller
2022	J	`jnl`	A Generic Methodology for the Modular Verification of Security Protocol Implementations. CoRR Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
2022	J	`jnl`	CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. CoRR Marco Eilers, Thibault Dardinier, Peter Müller
2022	J	`jnl`	Compositional Reasoning for Side-effectful Iterators and Iterator Adapters. CoRR Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers
2022	J	`jnl`	Concise outlines for a complex logic: a proof outline checker for TaDA. Formal Methods Syst. Des. Felix A. Wolf, Malte Schwerhoff, Peter Müller
2022	J	`jnl`	Fractional resources in unbounded separation logic. Proc. ACM Program. Lang. Thibault Dardinier, Peter Müller, Alexander J. Summers
2022	J	`jnl`	Sound Automation of Magic Wands (extended version). CoRR Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller
2022	—	`conf`	Sound Automation of Magic Wands. CAV (2) Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers
2022	J	`jnl`	Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	—	`book`	The Complete Guide to SCION - From Design Principles to Formal Verification Laurent Chuat, Markus Legner, David A. Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig
2022	—	`conf`	The Prusti Project: Formal Verification for Rust. NFM Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
2022	J	`jnl`	Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version). CoRR Thibault Dardinier, Gaurav Parthasarathy, Peter Müller
2021	B	`conf`	Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. FM Felix A. Wolf, Malte Schwerhoff, Peter Müller
2021	J	`jnl`	Flexible Refinement Proofs in Separation Logic. CoRR Aurel Bílý, Christoph Matheja, Peter Müller
2021	J	`jnl`	Formally Validating a Practical Verification Condition Generator (extended version). CoRR Gaurav Parthasarathy, Peter Müller, Alexander J. Summers
2021	—	`conf`	Formally Validating a Practical Verification Condition Generator. CAV (2) Gaurav Parthasarathy, Peter Müller, Alexander J. Summers
2021	J	`jnl`	Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2021	—	`conf`	Gobra: Modular Specification and Verification of Go Programs. CAV (1) Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2021	B	`conf`	Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. FM Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
2021	J	`jnl`	Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. CoRR Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
2021	J	`jnl`	Introduction to the Special Section on ESOP 2020. ACM Trans. Program. Lang. Syst. Peter Müller
2021	J	`jnl`	Modular Verification of Collaborating Smart Contracts. CoRR Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
2021	J	`jnl`	Modular specification and verification of closures in Rust. Proc. ACM Program. Lang. Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers
2021	—	`conf`	Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security. CAV (1) Marco Eilers, Severin Meier, Peter Müller
2021	J	`jnl`	Rich specifications for Ethereum smart contract verification. Proc. ACM Program. Lang. Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
2021	—	`ch.`	The First Fifteen Years of the Verified Software Project. Theories of Programming Peter Müller, Natarajan Shankar
2021	J	`jnl`	VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2020	A*	`conf`	Automatically testing string solvers. ICSE Alexandra Bugariu, Peter Müller
2020	J	`jnl`	Automating deductive verification for weak-memory programs (extended version). Int. J. Softw. Tools Technol. Transf. Alexander J. Summers, Peter Müller
2020	J	`jnl`	Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). CoRR Felix A. Wolf, Malte Schwerhoff, Peter Müller
2020	J	`jnl`	How do programmers use unsafe rust? Proc. ACM Program. Lang. Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers
2020	J	`jnl`	Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	J	`jnl`	Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	J	`jnl`	Modular Product Programs. ACM Trans. Program. Lang. Syst. Marco Eilers, Peter Müller, Samuel Hitz
2020	A	`ed.`	Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings ESOP Peter Müller
2020	J	`jnl`	VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2019	J	`jnl`	Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. Vytautas Astrauskas, Peter Müller, Federico Poli, Alexander J. Summers
2019	J	`jnl`	Modular Verification of Heap Reachability Properties in Separation Logic. CoRR Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller
2019	J	`jnl`	Modular verification of heap reachability properties in separation logic. Proc. ACM Program. Lang. Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller
2019	—	`conf`	The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. TACAS (1) Nils Becker, Peter Müller, Alexander J. Summers
2018	B	`conf`	Abstract Interpretation of CTL Properties. SAS Caterina Urban, Samuel Ueltschi, Peter Müller
2018	A	`conf`	An Abstract Interpretation Framework for Input Data Usage. ESOP Caterina Urban, Peter Müller
2018	A*	`conf`	Automatically testing implementations of numerical abstract domains. ASE Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller
2018	—	`conf`	Automating Deductive Verification for Weak-Memory Programs. TACAS (1) Alexander J. Summers, Peter Müller
2018	—	`conf`	MaxSMT-Based Type Inference for Python 3. CAV (2) Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
2018	A	`conf`	Modular Product Programs. ESOP Marco Eilers, Peter Müller, Samuel Hitz
2018	—	`conf`	Nagini: A Static Verifier for Python. CAV (1) Marco Eilers, Peter Müller
2018	—	`conf`	Permission Inference for Array Programs. CAV (2) Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
2018	J	`jnl`	Permission Inference for Array Programs. CoRR Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
2018	—	`ed.`	Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday Principled Software Development Peter Müller, Ina Schaefer
2018	J	`jnl`	Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller
2018	A*	`conf`	Static serializability analysis for causal consistency. PLDI Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2018	—	`conf`	The Binomial Heap Verification Challenge in Viper. Principled Software Development Peter Müller
2017	A	`ed.`	31st European Conference on Object-Oriented Programming, ECOOP 2017, Barcelona, Spain, June 19-23, 2017 ECOOP Peter Müller
2017	A*	`conf`	A general framework for dynamic stub injection. ICSE Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller
2017	J	`jnl`	Automating Deductive Verification for Weak-Memory Programs. CoRR Alexander J. Summers, Peter Müller
2017	B	`conf`	Precise Version Control of Trees with Line-Based Version Control Systems. FASE Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth
2017	A*	`conf`	Serializability for eventual consistency: criterion, analysis, and applications. POPL Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2017	—	`ch.`	Viper: A Verification Infrastructure for Permission-Based Reasoning. Dependable Software Systems Engineering Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016	A	`conf`	Actor Services - Modular Verification of Message Passing Programs. ESOP Alexander J. Summers, Peter Müller
2016	—	`conf`	Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. CAV (1) Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016	J	`jnl`	Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution. CoRR Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016	A	`conf`	Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS Cédric Favre, Hagen Völzer, Peter Müller
2016	A*	`conf`	Guiding dynamic symbolic execution toward unverified program executions. ICSE Maria Christakis, Peter Müller, Valentin Wüstholz
2016	A	`conf`	Integrated Environment for Diagnosing Verification Errors. TACAS Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
2016	J	`jnl`	Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp
2016	A*	`conf`	The Effect of Richer Visualizations on Code Comprehension. CHI Dimitar Asenov, Otmar Hilliges, Peter Müller
2016	J	`jnl`	The IDE as a Scriptable Information System (extended version). CoRR Dimitar Asenov, Peter Müller, Lukas Vogel
2016	A*	`conf`	The IDE as a scriptable information system. ASE Dimitar Asenov, Peter Müller, Lukas Vogel
2016	B	`conf`	Viper: A Verification Infrastructure for Permission-Based Reasoning. VMCAI Peter Müller, Malte Schwerhoff, Alexander J. Summers
2015	B	`conf`	An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI Maria Christakis, Peter Müller, Valentin Wüstholz
2015	B	`conf`	Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI Pietro Ferrara, Peter Müller, Milos Novácek
2015	—	`conf`	Building automatic program verifiers. PLMW@POPL Peter Müller
2015	A	`conf`	Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP Pontus Boström, Peter Müller
2014	—	`conf`	Constraint Semantics for Abstract Read Permissions. FTfJP@ECOOP John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
2014	B	`conf`	Dynamic Test Generation with Static Fields and Initializers. RV Maria Christakis, Patrick Emmisberger, Peter Müller
2014	B	`conf`	Envision: A fast and flexible visual code editor with fluid interactions (Overview). VL/HCC Dimitar Asenov, Peter Müller
2014	A	`conf`	Static analysis for independent app developers. OOPSLA Lucas Brutschy, Pietro Ferrara, Peter Müller
2014	B	`conf`	Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM Maria Christakis, Peter Müller, Valentin Wüstholz
2014	—	`conf`	TouchGuru: Integrating Static Analysis with a Mobile Development Environment. MobileDeLi Lucas Brutschy, Pietro Ferrara, Peter Müller
2013	B	`conf`	Abstract Read Permissions: Fractional Permissions without the Fractions. VMCAI Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
2013	B	`conf`	Customizing the visualization and interaction for embedded domain-specific languages in a structured editor. VL/HCC Dimitar Asenov, Peter Müller
2013	—	`ch.`	Object Ownership in Program Verification. Aliasing in Object-Oriented Programming Werner Dietl, Peter Müller
2013	A	`conf`	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. ECOOP Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
2012	B	`conf`	Automatic Inference of Access Permissions. VMCAI Pietro Ferrara, Peter Müller
2012	J	`jnl`	Behavioral interface specification languages. ACM Comput. Surv. John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson
2012	B	`conf`	Collaborative Verification and Testing with Explicit Assumptions. FM Maria Christakis, Peter Müller, Valentin Wüstholz
2012	—	`conf`	Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE Ioannis T. Kassios, Peter Müller, Malte Schwerhoff
2012	—	`ed.`	Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings VSTTE Rajeev Joshi, Peter Müller, Andreas Podelski
2011	—	`ch.`	Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing Peter Müller
2011	—	`conf`	Fractional permissions without the fractions. FTfJP@ECOOP Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
2011	A	`conf`	Freedom before commitment: a lightweight type system for object initialisation. OOPSLA Alexander J. Summers, Peter Müller
2011	J	`jnl`	Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. Werner Dietl, Sophia Drossopoulou, Peter Müller
2011	J	`jnl`	Specification and verification: the Spec# experience. Commun. ACM Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM 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ß
2011	A	`conf`	Tunable Static Inference for Generic Universe Types. ECOOP Werner Dietl, Michael D. Ernst, Peter Müller
2011	B	`conf`	Using Debuggers to Understand Failed Verification Attempts. FM Peter Müller, Joseph N. Ruskiewicz
2010	—	`ed.`	Advanced Lectures on Software Engineering, LASER Summer School 2007/2008 LASER Summer School Peter Müller
2010	A	`conf`	Deadlock-Free Channels and Locks. ESOP K. Rustan M. Leino, Peter Müller, Jan Smans
2010	B	`conf`	Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. FASE Hermann Lehner, Peter Müller
2010	B	`conf`	Proving Consistency and Completeness of Model Classes Using Theory Interpretation. FASE Ádám Darvas, Peter Müller
2010	—	`conf`	Reasoning about Function Objects. TOOLS (48) Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
2009	A	`conf`	A Basis for Verifying Multi-threaded Programs. ESOP K. Rustan M. Leino, Peter Müller
2009	—	`conf`	A Modular Verification Methodology for C# Delegates. Rigorous Methods for Software Construction and Analysis Peter Müller, Joseph N. Ruskiewicz
2009	—	`conf`	A Sound and Complete Program Logic for Eiffel. TOOLS (47) Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
2009	J	`jnl`	Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. J. Object Technol. Alexander J. Summers, Sophia Drossopoulou, Peter Müller
2009	—	`conf`	Verification of Concurrent Programs with Chalice. FOSAD K. Rustan M. Leino, Peter Müller, Jan Smans
2008	—	`conf`	A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008	A	`conf`	A Unified Framework for Verification Techniques for Object Invariants. ECOOP Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008	—	`conf`	Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
2008	B	`conf`	Checking Well-Formedness of Pure-Method Specifications. FM Arsenii Rudich, Ádám Darvas, Peter Müller
2008	J	`jnl`	Faithful mapping of model classes to mathematical structures. IET Softw. Ádám Darvas, Peter Müller
2008	—	`conf`	Flexible Immutability with Frozen Objects. VSTTE K. Rustan M. Leino, Peter Müller, Angela Wallenburg
2008	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad
2008	—	`conf`	Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) Martin Nordio, Peter Müller, Bertrand Meyer
2008	—	`conf`	Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs. LASER Summer School K. Rustan M. Leino, Peter Müller
2008	A	`conf`	Verification of Equivalent-Results Methods. ESOP K. Rustan M. Leino, Peter Müller
2007	—	`conf`	07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`conf`	07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`conf`	Faithful mapping of model classes to mathematical structures. SAVCBS Ádám Darvas, Peter Müller
2007	—	`conf`	Formal Translation of Bytecode into BoogiePL. Bytecode@ETAPS Hermann Lehner, Peter Müller
2007	A	`conf`	Generic Universe Types. ECOOP Werner Dietl, Sophia Drossopoulou, Peter Müller
2007	A*	`conf`	Information Hiding and Visibility in Interface Specifications. ICSE Gary T. Leavens, Peter Müller
2007	—	`ed.`	Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	A	`conf`	Ownership transfer in universe types. OOPSLA Peter Müller, Arsenii Rudich
2007	—	`conf`	Proof-transforming compilation of programs with abrupt termination. SAVCBS Peter Müller, Martin Nordio
2007	B	`conf`	Sound reasoning about unchecked exceptions. SEFM Bart Jacobs, Peter Müller, Frank Piessens
2007	J	`jnl`	Specification and verification challenges for sequential object-oriented programs. Formal Aspects Comput. Gary T. Leavens, K. Rustan M. Leino, Peter Müller
2007	—	`conf`	Universe Types for Topology and Encapsulation. FMCO Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2006	Misc	`conf`	A Pattern Language for Overlay Networks in Peer-to-Peer Systems. EuroPLoP Dominik Grolimund, Peter Müller
2006	A	`conf`	A Verification Methodology for Model Fields. ESOP K. Rustan M. Leino, Peter Müller
2006	B	`conf`	Changing Programs Correctly: Refactoring with Specifications. FM Fabian Bannwart, Peter Müller
2006	—	`conf`	MOBIUS: Mobility, Ubiquity, Security. TGC 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
2006	J	`jnl`	Modular invariants for layered object structures. Sci. Comput. Program. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
2006	J	`jnl`	Reasoning About Method Calls in Interface Specifications. J. Object Technol. Ádám Darvas, Peter Müller
2005	—	`conf`	A Program Logic for Bytecode. Bytecode@ETAPS Fabian Bannwart, Peter Müller
2005	B	`conf`	Modular Verification of Static Class Invariants. FM K. Rustan M. Leino, Peter Müller
2005	—	`conf`	Reasoning about Object Structures Using Ownership. VSTTE Peter Müller
2005	J	`jnl`	Universes: Lightweight Ownership for JML. J. Object Technol. Werner Dietl, Peter Müller
2004	—	`conf`	A Type System for Checking Applet Isolation in Java Card. CASSIS Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
2004	—	`conf`	Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
2004	A	`conf`	Object Invariants in Dynamic Contexts. ECOOP K. Rustan M. Leino, Peter Müller
2003	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
2003	J	`jnl`	Modular specification of frame properties in JML. Concurr. Comput. Pract. Exp. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
2002	—	`book`	Modular Specification and Verification of Object-Oriented Programs Peter Müller
2000	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
1999	A	`conf`	A Programming Logic for Sequential Java. ESOP Arnd Poetzsch-Heffter, Peter Müller
1999	—	`conf`	Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops Peter Müller, Arnd Poetzsch-Heffter
1999	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
1999	—	`conf`	Making Executable Interface Specifications More Expressive. Java-Informations-Tage Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter
1998	—	`conf`	Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage Peter Müller, Arnd Poetzsch-Heffter
1998	—	`conf`	Logical foundations for typed object-oriented languages. PROCOMET Arnd Poetzsch-Heffter, Peter Müller
1997	—	`conf`	Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung Peter Müller, Arnd Poetzsch-Heffter