PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Artificial Low current Arc Faults for Pattern Recognition in Low voltage Switchgear

, , , and . (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Müller

Elke Müller University of Stuttgart

Florian Müller University of Stuttgart

Thomas Müller

Armin Müller University of Stuttgart

 

Other publications of authors with the same name

Formal Methods-Based Tools for Race, Deadlock, and Other Errors.. Encyclopedia of Parallel Computing, Springer, (2011)07091 Abstracts Collection - Mobility, Ubiquity and Security., , , , and . Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 41-62. Springer, (2016)Abstract Read Permissions: Fractional Permissions without the Fractions., , , and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 315-334. Springer, (2013)An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer., , and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 336-354. Springer, (2015)Automatic Inference of Heap Properties Exploiting Value Domains., , and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 393-411. Springer, (2015)Logical foundations for typed object-oriented languages., and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 404-423. Chapman & Hall, (1998)Proving Consistency and Completeness of Model Classes Using Theory Interpretation., and . FASE, volume 6013 of Lecture Notes in Computer Science, page 218-232. Springer, (2010)A Unified Framework for Verification Techniques for Object Invariants., , , and . Types, Logics and Semantics for State, volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)The IDE as a Scriptable Information System (extended version)., , and . CoRR, (2016)