Peter Müller Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: A Basis for Verifying Multi-threaded Programs. ESOP 2009: 378-393
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller, Jan Smans: Verification of Concurrent Programs with Chalice. FOSAD 2009: 195-222
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander J. Summers, Sophia Drossopoulou, Peter Müller: Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. Journal of Object Technology 8(4): 85-125 (2009)
2008
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Verification of Equivalent-Results Methods. ESOP 2008: 307-321
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. IET Software 2(6): 477-499 (2008)
2007
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaj Krishnamurthy, Peter Müller: An Input Queueing Implementation for Low-Latency Speculative Optical Switches. PDPTA 2007: 161-167
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, K. Rustan M. Leino, Peter Müller: Specification and verification challenges for sequential object-oriented programs. Formal Asp. Comput. 19(2): 159-189 (2007)
2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: A Verification Methodology for Model Fields. ESOP 2006: 115-130
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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. TGC 2006: 10-29
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyriel Minkenberg, François Abel, Peter Müller, Raj Krishnamurthy, Mitchell Gusat, Peter Dill, Ilias Iliadis, Ronald P. Luijten, B. Roe Hemenway, Richard Grzybowski, Enrico Schiattarella: Designing a Crossbar Scheduler for HPC Applications. IEEE Micro 26(3): 58-71 (2006)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
2005
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Modular Verification of Static Class Invariants. FM 2005: 26-42
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyriel Minkenberg, François Abel, Peter Müller, Raj Krishnamurthy, Mitchell Gusat, B. Roe Hemenway: Control Path Implementation for a Low-Latency Optical HPC Switch. Hot Interconnects 2005: 29-35
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Reasoning about Object Structures Using Ownership. VSTTE 2005: 93-104
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
2004
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Object Invariants in Dynamic Contexts. ECOOP 2004: 491-516
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter: Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. Modellierung 2004: 229-233
2003
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular specification of frame properties in JML. Concurrency and Computation: Practice and Experience 15(2): 117-154 (2003)
2002
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Modular Specification and Verification of Object-Oriented Programs Springer 2002
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A Combinatorial Approach to Protein Docking with Flexible Side Chains. Journal of Computational Biology 9(4): 597-612 (2002)
2001
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalter Riess, Heike Riel, Tilman Beierlein, Wolfgang Brütting, Peter Müller, Paul F. Seidler: Influence of trapped and interfacial charges in organic multilayer light-emitting devices. IBM Journal of Research and Development 45(1): 77-88 (2001)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantos F. Alvarado, Laura Rossi, Peter Müller, Paul F. Seidler, Walter Riess: STM-excited electroluminescence and spectroscopy on organic materials for display applications. IBM Journal of Research and Development 45(1): 89-100 (2001)
2000
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A combinatorial approach to protein docking with flexible side-chains. RECOMB 2000: 15-24
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating synthetic polymer chains in parallel. Future Generation Comp. Syst. 16(5): 513-522 (2000)
1999
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Poetzsch-Heffter, Peter Müller: A Programming Logic for Sequential Java. ESOP 1999: 162-176
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Guthke, Wolfgang Schmidt-Heck, Peter Müller, Heike Rodig, Ralph Berkholz: Data and knowlage based experimental design for bioprocess optimization. German Conference on Bioinformatics 1999: 199-200
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating Synthetic Polymer Chains in Parallel. HPCN Europe 1999: 13-22
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252
1998
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Dreger, Stefan Lohrum, Peter Müller: The MeDoc Communication Protocol. The MeDoc Approach 1998: 89-101
1997
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Parallel MD-Simulations of Synthetic Polymers. PPSC 1997
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: On the Collineation Group of Cyclic Planes. J. Comb. Theory, Ser. A 65(1): 60-66 (1994)
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Fuhr, Peter Müller: Probabilistic Search Term Weighting-Some Negative Results. SIGIR 1987: 13-18
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Vytopil, Peter Müller: Communication Architecture of TCP16, a Highly Reliable, Distributed System. ICC (2) 1984: 549-553
1971
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Elektronische Rechenanlagen 13(3): 124-128 (1971)

Coauthor Index

1François Abel [32] [36]
2Elvira Albert [59]
3Ernst Althaus [17] [21]
4Santos F. Alvarado [19]
5Anindya Banerjee [59]
6Fabian Bannwart [30] [38]
7Gilles Barthe [37] [47] [48] [52]
8Tilman Beierlein [20]
9Lennart Beringer [37]
10Ralph Berkholz [12]
11Wolfgang Brütting [20]
12Cristiano Calcagno [63]
13Dave Clarke [60]
14Alessandro Coglio [26]
15Pierre Crégut [37]
16Dave Cunningham [50]
17Ádám Darvas [35] [44] [53] [57]
18Werner Dietl [28] [29] [50] [51]
19Peter Dill [36]
20Markus Dreger [7]
21Sophia Drossopoulou [18] [50] [51] [55] [59] [60] [61] [62]
22Susan Eisenbach [18] [24]
23Adrian Francalanza [50] [55] [61]
24Norbert Fuhr [3]
25Benjamin Grégoire [37]
26Richard Grzybowski [36]
27Mitchell Gusat [32] [36]
28Reinhard Guthke [12]
29B. Roe Hemenway [32] [36]
30Martin Hofmann [37]
31Marieke Huisman [26] [59]
32Atsushi Igarashi [59]
33Ilias Iliadis [36]
34Bart Jacobs [14] [18]
35Bart Jacobs [42]
36Bernd Jung [5] [11] [16]
37Joseph Kiniry (Joseph R. Kiniry) [26]
38Oliver Kohlbacher [17] [21]
39Raj Krishnamurthy [32] [36] [45]
40Gary T. Leavens [14] [18] [23] [24] [34] [40] [49] [59]
41Hermann Lehner [41]
42K. Rustan M. Leino [27] [33] [39] [40] [54] [58] [64] [65]
43Hans-Peter Lenhof [5] [11] [16] [17] [21]
44Horst Lichter [25]
45Stefan Lohrum [7]
46Ronald P. Luijten [36]
47Heiko Mantel [47] [48] [52]
48Bertrand Meyer [56] [63]
49Jörg Meyer [10]
50Cyriel Minkenberg [32] [36]
51Andrew C. Myers [47] [48] [52]
52James Noble [60]
53Martin Nordio [43] [56] [63]
54Alexander Nyßen [25]
55Frank Piessens [42]
56Arnd Poetzsch-Heffter [6] [8] [9] [10] [13] [14] [15] [18] [23] [24] [28] [34]
57Erik Poll [24] [26] [37]
58Germán Puebla (German Puebla) [37]
59Heike Riel [20]
60Walter Riess [19] [20]
61Heike Rodig [12]
62Laura Rossi [19]
63Christine Rüb [5] [11] [16]
64Arsenii Rudich [46] [57]
65Andrei Sabelfeld [47] [48] [52]
66Enrico Schiattarella [36]
67Wolfgang Schmidt-Heck [12]
68Paul F. Seidler [19] [20]
69Jan Smans [64]
70Ian Stark [37]
71Jan Suchotzki [25]
72Alexander J. Summers [50] [55] [61] [62]
73Eric Vétillard [37]
74Jan Vytopil [2]
75Angela Wallenburg [54]
76Tobias Wrigstad [59] [60]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)