Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Peter Müller" ( http://dblp.L3S.de/Authors/Peter_Müller )

  Author page on DBLP  Author page in RDF  Community of Peter Müller in ASPL-2

Publication years (Num. hits)
1971-1999 (15) 2000-2005 (16) 2006-2007 (18) 2008-2009 (15) 2010-2012 (16)
Publication types (Num. hits)
article(15) book(1) incollection(1) inproceedings(61) proceedings(2)
Venues (Conferences, Journals, ...)
ECOOP Workshops(7) ESOP(5) FM(5) ECOOP(4) Journal of Object Technology(3) Mobility, Ubiquity and Securit...(3) TOOLS(3) VSTTE(3) Electr. Notes Theor. Comput. S...(2) FASE(2) GI Jahrestagung(2) Java-Informations-Tage(2) LASER Summer School(2) OOPSLA(2) SAVCBS(2) ACM Trans. Program. Lang. Syst...(1) More (+10 of total 47)
Authors
Peter Müller(80) Arnd Poetzsch-Heffter(12) K. Rustan M. Leino(12) Gary T. Leavens(9) Sophia Drossopoulou(9) Werner Dietl(6) Ádám Darvas(5) Alexander J. Summers(5) Hans-Peter Lenhof(5) Gilles Barthe(4) Martin Nordio(4) Adrian Francalanza(3) Andrei Sabelfeld(3) Andrew C. Myers(3) Bart Jacobs(3) Bernd Jung(3) More (+10 of total 92)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 18 keywords
Results
Found 80 publication records. Showing 80 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ioannis T. Kassios, Peter Müller, Malte Schwerhoff Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pietro Ferrara, Peter Müller Automatic Inference of Access Permissions. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Müller Discussion of "Sampling schemes for generalized DP random effects models". Search on Bibsonomy Statistical Methods and Applications The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Werner Dietl, Sophia Drossopoulou, Peter Müller Separating ownership topology and encapsulation with generic universe types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter Specification and verification: the Spec# experience. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Müller Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Müller, Joseph N. Ruskiewicz Using Debuggers to Understand Failed Verification Attempts. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß The 1st Verified Software Competition: Experience Report. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander J. Summers, Peter Müller Freedom before commitment: a lightweight type system for object initialisation. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Werner Dietl, Michael D. Ernst, Peter Müller Tunable Static Inference for Generic Universe Types. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen Reasoning about Function Objects. Search on Bibsonomy TOOLS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Müller (eds.) Advanced Lectures on Software Engineering, LASER Summer School 2007/2008 Search on Bibsonomy LASER Summer School The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ádám Darvas, Peter Müller Proving Consistency and Completeness of Model Classes Using Theory Interpretation. Search on Bibsonomy FASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hermann Lehner, Peter Müller Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. Search on Bibsonomy FASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wolfgang Büscher, Ute Müller, Peter Müller, Eckhard Stamer Informationsmanagement in der Milchviehhaltung - am Beispiel der Milchviehherde "Frankenforst" der Universität Bonn. Search on Bibsonomy GI Jahrestagung The full citation details ... 2010 DBLP  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller, Jan Smans Deadlock-Free Channels and Locks. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander J. Summers, Sophia Drossopoulou, Peter Müller Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. Search on Bibsonomy Journal of Object Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer A Sound and Complete Program Logic for Eiffel. Search on Bibsonomy TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, Software verification, Eiffel, program proofs
1K. Rustan M. Leino, Peter Müller, Jan Smans Verification of Concurrent Programs with Chalice. Search on Bibsonomy FOSAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Müller, Joseph N. Ruskiewicz A Modular Verification Methodology for C# Delegates. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller A Basis for Verifying Multi-threaded Programs. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ádám Darvas, Peter Müller Faithful mapping of model classes to mathematical structures. Search on Bibsonomy IET Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad Aliasing, Confinement, and Ownership in Object-Oriented Programming. Search on Bibsonomy ECOOP Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Peter Müller, Bertrand Meyer Proof-Transforming Compilation of Eiffel Programs. Search on Bibsonomy TOOLS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
1Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers A Unified Framework for Verification Techniques for Object Invariants. Search on Bibsonomy Types, Logics and Semantics for State The full citation details ... 2008 DBLP  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs. Search on Bibsonomy LASER Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller, Angela Wallenburg Flexible Immutability with Frozen Objects. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Arsenii Rudich, Ádám Darvas, Peter Müller Checking Well-Formedness of Pure-Method Specifications. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers A Unified Framework for Verification Techniques for Object Invariants. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller Verification of Equivalent-Results Methods. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, K. Rustan M. Leino, Peter Müller Specification and verification challenges for sequential object-oriented programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Object-oriented programming, Specification, Program verification, Contract, Challenge
1Hermann Lehner, Peter Müller Formal Translation of Bytecode into BoogiePL. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Peter Müller, Frank Piessens Sound reasoning about unchecked exceptions. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld 07091 Executive Summary - Mobility, Ubiquity and Security. Search on Bibsonomy Mobility, Ubiquity and Security The full citation details ... 2007 DBLP  BibTeX  RDF
1Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (eds.) Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Search on Bibsonomy Mobility, Ubiquity and Security The full citation details ... 2007 DBLP  BibTeX  RDF
1Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld 07091 Abstracts Collection - Mobility, Ubiquity and Security. Search on Bibsonomy Mobility, Ubiquity and Security The full citation details ... 2007 DBLP  BibTeX  RDF
1Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers Universe Types for Topology and Encapsulation. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Müller, Arsenii Rudich Ownership transfer in universe types. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF universe types, aliasing, uniqueness, ownership transfer
1Werner Dietl, Sophia Drossopoulou, Peter Müller Generic Universe Types. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, Peter Müller Information Hiding and Visibility in Interface Specifications. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ádám Darvas, Peter Müller Faithful mapping of model classes to mathematical structures. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model classes, verification, specification, abstraction, isomorphism, java modeling language
1Peter Müller, Martin Nordio Proof-transforming compilation of programs with abrupt termination. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proof-transforming compiler, proof-carrying code, trusted components
1Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens Modular invariants for layered object structures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ádám Darvas, Peter Müller Reasoning About Method Calls in Interface Specifications. Search on Bibsonomy Journal of Object Technology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dominik Grolimund, Peter Müller A Pattern Language for Overlay Networks in Peer-to-Peer Systems. Search on Bibsonomy EuroPLoP The full citation details ... 2006 DBLP  BibTeX  RDF
1Fabian Bannwart, Peter Müller Changing Programs Correctly: Refactoring with Specifications. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard MOBIUS: Mobility, Ubiquity, Security. Search on Bibsonomy TGC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller A Verification Methodology for Model Fields. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Werner Dietl, Peter Müller Universes: Lightweight Ownership for JML. Search on Bibsonomy Journal of Object Technology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabian Bannwart, Peter Müller A Program Logic for Bytecode. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexander Nyßen, Horst Lichter, Jan Suchotzki, Peter Müller, Andreas Stelter UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie. Search on Bibsonomy MBEES The full citation details ... 2005 DBLP  BibTeX  RDF
1Peter Müller Reasoning about Object Structures Using Ownership. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller Modular Verification of Static Class Invariants. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll Formal Techniques for Java-Like Programs (FTfJP). Search on Bibsonomy ECOOP Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter A Type System for Checking Applet Isolation in Java Card. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. Search on Bibsonomy Modellierung The full citation details ... 2004 DBLP  BibTeX  RDF
1K. Rustan M. Leino, Peter Müller Object Invariants in Dynamic Contexts. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens Modular specification of frame properties in JML. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller A Combinatorial Approach to Protein Docking with Flexible Side Chains. Search on Bibsonomy Journal of Computational Biology The full citation details ... 2002 DBLP  BibTeX  RDF
1Peter Müller Modular Specification and Verification of Object-Oriented Programs Search on Bibsonomy 2002   DOI  RDF
1Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb Simulating synthetic polymer chains in parallel. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter Formal Techniques for Java Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller A combinatorial approach to protein docking with flexible side-chains. Search on Bibsonomy RECOMB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Müller, Arnd Poetzsch-Heffter Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  BibTeX  RDF
1Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter Formal Techniques for Java Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter Making Executable Interface Specifications More Expressive. Search on Bibsonomy Java-Informations-Tage The full citation details ... 1999 DBLP  BibTeX  RDF
1Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb Simulating Synthetic Polymer Chains in Parallel. Search on Bibsonomy HPCN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Reinhard Guthke, Wolfgang Schmidt-Heck, Peter Müller, Heike Rodig, Ralph Berkholz Data and knowlage based experimental design for bioprocess optimization. Search on Bibsonomy German Conference on Bioinformatics The full citation details ... 1999 DBLP  BibTeX  RDF
1Arnd Poetzsch-Heffter, Peter Müller A Programming Logic for Sequential Java. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Markus Dreger, Stefan Lohrum, Peter Müller The MeDoc Communication Protocol. Search on Bibsonomy The MeDoc Approach The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Arnd Poetzsch-Heffter, Peter Müller Logical foundations for typed object-oriented languages. Search on Bibsonomy PROCOMET The full citation details ... 1998 DBLP  BibTeX  RDF
1Peter Müller, Arnd Poetzsch-Heffter Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Search on Bibsonomy Java-Informations-Tage The full citation details ... 1998 DBLP  BibTeX  RDF
1Peter Müller, Arnd Poetzsch-Heffter Formal Specification Techniques for Object-Oriented Programs. Search on Bibsonomy GI Jahrestagung The full citation details ... 1997 DBLP  BibTeX  RDF
1Gert-Jan de Vreede, Peter Muller Why Some GSS Meetings Just Don't Work: Exploring Success Factors of Electronic Meetings. Search on Bibsonomy ECIS The full citation details ... 1997 DBLP  BibTeX  RDF
1Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb Parallel MD-Simulations of Synthetic Polymers. Search on Bibsonomy PPSC The full citation details ... 1997 DBLP  BibTeX  RDF
1Norbert Fuhr, Peter Müller Probabilistic Search Term Weighting-Some Negative Results. Search on Bibsonomy SIGIR The full citation details ... 1987 DBLP  BibTeX  RDF
1Jan Vytopil, Peter Müller Communication Architecture of TCP16, a Highly Reliable, Distributed System. Search on Bibsonomy ICC The full citation details ... 1984 DBLP  BibTeX  RDF
1Peter Müller Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Search on Bibsonomy Elektronische Rechenanlagen The full citation details ... 1971 DBLP  BibTeX  RDF
Displaying result #1 - #80 of 80 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.