Peter Müller

Available identifiers

zbMath Open muller.peter.4DBLPm/PMuller1WikidataQ102292653 ScholiaQ102292653MaRDI QIDQ240898

List of research outcomes

Publication	Date of Publication	Type
Concise outlines for a complex logic: a proof outline checker for TaDA	2024-01-08	Paper
Abstract interpretation of CTL properties	2023-05-26	Paper
Permission inference for array programs	2023-05-05	Paper
Sound Automation of Magic Wands	2022-12-07	Paper
Automating deductive verification for weak-memory programs	2019-09-16	Paper
Viper: A Verification Infrastructure for Permission-Based Reasoning	2016-03-23	Paper
Automatic Inference of Heap Properties Exploiting Value Domains	2015-02-04	Paper
Behavioral interface specification languages	2014-08-13	Paper
Collaborative Verification and Testing with Explicit Assumptions	2012-11-08	Paper
Automatic Inference of Access Permissions	2012-06-15	Paper
Tunable Static Inference for Generic Universe Types	2011-08-25	Paper
Deadlock-Free Channels and Locks	2010-05-04	Paper
A Basis for Verifying Multi-threaded Programs	2009-03-31	Paper
Universe Types for Topology and Encapsulation	2009-02-12	Paper
Verification of Equivalent-Results Methods	2008-04-11	Paper
Specification and verification challenges for sequential object-oriented programs	2007-08-23	Paper
Programming Languages and Systems	2007-05-02	Paper
Modular invariants for layered object structures	2006-10-05	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4413998	2003-07-22	Paper
Modular specification of frame properties in JML	2003-02-20	Paper
Modular specification and verification of object-oriented programs	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