Peter Müller

Available identifiers

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
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
https://portal.mardi4nfdi.de/entity/Q2744196	2001-09-19	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Müller