Peter Müller

MaRDI QIDQ240898zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Concise outlines for a complex logic: a proof outline checker for TaDA Formal Methods in System Design	2024-01-08	Paper
Abstract interpretation of CTL properties Static Analysis	2023-05-26	Paper
Permission inference for array programs Computer Aided Verification	2023-05-05	Paper
Sound Automation of Magic Wands	2022-12-07	Paper
Automating deductive verification for weak-memory programs (available as arXiv preprint)	2019-09-16	Paper
Viper: a verification infrastructure for permission-based reasoning Lecture Notes in Computer Science	2016-03-23	Paper
Automatic inference of heap properties exploiting value domains Lecture Notes in Computer Science	2015-02-04	Paper
Behavioral interface specification languages ACM Computing Surveys	2014-08-13	Paper
Collaborative verification and testing with explicit assumptions FM 2012: Formal Methods	2012-11-08	Paper
Automatic inference of access permissions Lecture Notes in Computer Science	2012-06-15	Paper
Tunable static inference for generic universe types Lecture Notes in Computer Science	2011-08-25	Paper
Deadlock-free channels and locks Programming Languages and Systems	2010-05-04	Paper
A Basis for Verifying Multi-threaded Programs Programming Languages and Systems	2009-03-31	Paper
Universe Types for Topology and Encapsulation Formal Methods for Components and Objects	2009-02-12	Paper
Verification of Equivalent-Results Methods Programming Languages and Systems	2008-04-11	Paper
Specification and verification challenges for sequential object-oriented programs Formal Aspects of Computing	2007-08-23	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-05-02	Paper
Modular invariants for layered object structures Science of Computer Programming	2006-10-05	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 1952102 (Why is no real title available?)	2003-07-22	Paper
Modular specification of frame properties in JML Concurrency and Computation: Practice and Experience	2003-02-20	Paper
Modular specification and verification of object-oriented programs Lecture Notes in Computer Science	2002-04-15	Paper
Modular specification and verification of object-oriented programs	2001-09-19	Paper

Research outcomes over time

This page was built for person: Peter Müller