Travelled to:1 × Austria
1 × Czech Republic
1 × Finland
1 × Germany
1 × Hungary
1 × India
1 × Ireland
1 × Italy
1 × Norway
1 × Spain
1 × The Netherlands
2 × Canada
2 × Switzerland
3 × Cyprus
3 × France
4 × United Kingdom
5 × USA
Collaborated with:K.R.M.Leino A.J.Summers P.Ferrara V.Wüstholz M.Christakis Á.Darvas A.Rudich M.Nordio B.Meyer W.Dietl S.Drossopoulou G.T.Leavens P.Boström S.Heule J.N.Ruskiewicz H.Lehner F.Bannwart A.Poetzsch-Heffter N.Fuhr C.Calcagno B.Jacobs F.Piessens J.Smans M.Novácek L.Brutschy M.D.Ernst D.Asenov L.Vogel M.Schwerhoff I.T.Kassios A.Francalanza J.Tschannen V.Klebanov N.Shankar E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand R.Monahan N.Polikarpova T.Ridge S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:verif (9) program (7) object (5) permiss (4) static (4) invari (4) type (4) abstract (3) univers (3) automat (3)
Person: Peter Müller
DBLP: M=uuml=ller:Peter
Contributed to:
2015
2015
2014
201420132013
20122012201120112011
2010
2010
20102009200920082008200820082007
20072007200720062006200520041999
1987
2016
2016Wrote 35 papers:
- ECOOP-2015-BostromM #composition #finite #source code #verification
- Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
- VMCAI-2015-Christakis0W #evaluation
- An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
- VMCAI-2015-Ferrara0N #automation
- Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
- OOPSLA-2014-BrutschyF0 #developer #independence #static analysis
- Static analysis for independent app developers (LB, PF, PM), pp. 847–860.
- SEFM-2014-ChristakisMW #detection #invariant #testing
- Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
- ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
- VMCAI-2013-HeuleLMS
- Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.
- FM-2012-ChristakisMW #collaboration #testing #verification
- Collaborative Verification and Testing with Explicit Assumptions (MC, PM, VW), pp. 132–146.
- VMCAI-2012-FerraraM #automation
- Automatic Inference of Access Permissions (PF, PM), pp. 202–218.
- ECOOP-2011-DietlEM #static analysis
- Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- FM-2011-MullerR #using #verification
- Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.
- OOPSLA-2011-SummersM #lightweight #type system
- Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
- ESOP-2010-LeinoMS #concurrent
- Deadlock-Free Channels and Locks (KRML, PM, JS), pp. 407–426.
- FASE-2010-DarvasM #consistency #proving #using
- Proving Consistency and Completeness of Model Classes Using Theory Interpretation (ÁD, PM), pp. 218–232.
- FASE-2010-LehnerM #performance #runtime
- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
- TOOLS-EUROPE-2010-NordioCMMT #reasoning
- Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.
- ESOP-2009-LeinoM #concurrent #multi #source code #thread #verification
- A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.
- TOOLS-EUROPE-2009-NordioCMM #eiffel #logic
- A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.
- ECOOP-2008-DrossopoulouFMS #framework #invariant #verification
- A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.
- ESOP-2008-LeinoM #verification
- Verification of Equivalent-Results Methods (KRML, PM), pp. 307–321.
- FM-2008-RudichDM #specification
- Checking Well-Formedness of Pure-Method Specifications (AR, ÁD, PM), pp. 68–83.
- TOOLS-EUROPE-2008-NordioMM #compilation #eiffel #source code
- Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
- ECOOP-2007-DietlDM
- Generic Universe Types (WD, SD, PM), pp. 28–53.
- ICSE-2007-LeavensM #information management #interface #specification
- Information Hiding and Visibility in Interface Specifications (GTL, PM), pp. 385–395.
- OOPSLA-2007-MullerR
- Ownership transfer in universe types (PM, AR), pp. 461–478.
- SEFM-2007-JacobsMP #exception #reasoning
- Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.
- ESOP-2006-LeinoM #verification
- A Verification Methodology for Model Fields (KRML, PM), pp. 115–130.
- FM-2006-BannwartM #refactoring #source code #specification
- Changing Programs Correctly: Refactoring with Specifications (FB, PM), pp. 492–507.
- FM-2005-LeinoM #composition #invariant #verification
- Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.
- ECOOP-2004-LeinoM #invariant
- Object Invariants in Dynamic Contexts (KRML, PM), pp. 491–516.
- ESOP-1999-Poetzsch-HeffterM #java #logic #programming
- A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
- SIGIR-1987-FuhrM #probability
- Probabilistic Search Term Weighting-Some Negative Results (NF, PM), pp. 13–18.
- ASE-2016-Asenov0V #ide #information management
- The IDE as a scriptable information system (DA, PM, LV), pp. 444–449.
- CAV-2016-MuellerSS #automation #execution #symbolic computation #using #verification
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.