Peter Müller

	2009
65		K. Rustan M. Leino, Peter Müller: A Basis for Verifying Multi-threaded Programs. ESOP 2009: 378-393
64		K. Rustan M. Leino, Peter Müller, Jan Smans: Verification of Concurrent Programs with Chalice. FOSAD 2009: 195-222
63		Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
62		Alexander 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
61		Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
60		Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
59		Elvira 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
58		K. Rustan M. Leino, Peter Müller: Verification of Equivalent-Results Methods. ESOP 2008: 307-321
57		Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
56		Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
55		Sophia 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
54		K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
53		Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. IET Software 2(6): 477-499 (2008)
	2007
52		Gilles 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
51		Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
50		Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
49		Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
48		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
47		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
46		Peter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478
45		Raj Krishnamurthy, Peter Müller: An Input Queueing Implementation for Low-Latency Speculative Optical Switches. PDPTA 2007: 161-167
44		Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
43		Peter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
42		Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
41		Hermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007)
40		Gary 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
39		K. Rustan M. Leino, Peter Müller: A Verification Methodology for Model Fields. ESOP 2006: 115-130
38		Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507
37		Gilles 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
36		Cyriel 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)
35		Ádám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006)
34		Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
	2005
33		K. Rustan M. Leino, Peter Müller: Modular Verification of Static Class Invariants. FM 2005: 26-42
32		Cyriel 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
31		Peter Müller: Reasoning about Object Structures Using Ownership. VSTTE 2005: 93-104
30		Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)
29		Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
	2004
28		Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
27		K. Rustan M. Leino, Peter Müller: Object Invariants in Dynamic Contexts. ECOOP 2004: 491-516
26		Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
25		Alexander 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
24		Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
23		Peter 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
22		Peter Müller: Modular Specification and Verification of Object-Oriented Programs Springer 2002
21		Ernst 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
20		Walter 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)
19		Santos 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
18		Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
17		Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A combinatorial approach to protein docking with flexible side-chains. RECOMB 2000: 15-24
16		Bernd 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
15		Peter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
14		Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
13		Arnd Poetzsch-Heffter, Peter Müller: A Programming Logic for Sequential Java. ESOP 1999: 162-176
12		Reinhard 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
11		Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating Synthetic Polymer Chains in Parallel. HPCN Europe 1999: 13-22
10		Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252
	1998
9		Peter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10
8		Arnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423
7		Markus Dreger, Stefan Lohrum, Peter Müller: The MeDoc Communication Protocol. The MeDoc Approach 1998: 89-101
	1997
6		Peter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611
5		Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Parallel MD-Simulations of Synthetic Polymers. PPSC 1997
	1994
4		Peter Müller: On the Collineation Group of Cyclic Planes. J. Comb. Theory, Ser. A 65(1): 60-66 (1994)
	1987
3		Norbert Fuhr, Peter Müller: Probabilistic Search Term Weighting-Some Negative Results. SIGIR 1987: 13-18
	1984
2		Jan Vytopil, Peter Müller: Communication Architecture of TCP16, a Highly Reliable, Distributed System. ICC (2) 1984: 549-553
	1971
1		Peter Müller: Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Elektronische Rechenanlagen 13(3): 124-128 (1971)

Coauthor Index

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

Colors in the list of coauthors