BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=uuml=ller:Peter

Contributed to:

ECOOP 20152015
VMCAI 20152015
OOPSLA 20142014
SEFM 20142014
ECOOP 20132013
VMCAI 20132013
FM 20122012
VMCAI 20122012
ECOOP 20112011
FM 20112011
OOPSLA 20112011
ESOP 20102010
FASE 20102010
TOOLS Europe 20102010
ESOP 20092009
TOOLS Europe 20092009
ECOOP 20082008
ESOP 20082008
FM 20082008
TOOLS Europe 20082008
ECOOP 20072007
ICSE 20072007
OOPSLA 20072007
SEFM 20072007
ESOP 20062006
FM 20062006
FM 20052005
ECOOP 20042004
ESOP 19991999
SIGIR 19871987
ASE 20162016
CAV (1) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.