Peter Müller

2009
59	EE	K. Rustan M. Leino, Peter Müller: A Basis for Verifying Multi-threaded Programs. ESOP 2009: 378-393
2008
58	EE	Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
57	EE	K. Rustan M. Leino, Peter Müller: Verification of Equivalent-Results Methods. ESOP 2008: 307-321
56	EE	Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
55	EE	Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
54	EE	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
53	EE	K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
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	EE	Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
50	EE	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	EE	Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
48	EE	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	EE	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	EE	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	EE	Ádám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
43	EE	Peter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
42	EE	Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
41	EE	Hermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007)
40	EE	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	EE	K. Rustan M. Leino, Peter Müller: A Verification Methodology for Model Fields. ESOP 2006: 115-130
38	EE	Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507
37	EE	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	EE	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	EE	Ádám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006)
34	EE	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	EE	K. Rustan M. Leino, Peter Müller: Modular Verification of Static Class Invariants. FM 2005: 26-42
32	EE	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	EE	Peter Müller: Reasoning about Object Structures Using Ownership. VSTTE 2005: 93-104
30	EE	Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)
29	EE	Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
2004
28	EE	Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
27	EE	K. Rustan M. Leino, Peter Müller: Object Invariants in Dynamic Contexts. ECOOP 2004: 491-516
26	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
13	EE	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	EE	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	EE	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	Ernst Althaus	[17] [21]
3	Santos F. Alvarado	[19]
4	Fabian Bannwart	[30] [38]
5	Gilles Barthe	[37] [47] [48] [52]
6	Tilman Beierlein	[20]
7	Lennart Beringer	[37]
8	Ralph Berkholz	[12]
9	Wolfgang Brütting	[20]
10	Alessandro Coglio	[26]
11	Pierre Crégut	[37]
12	Dave Cunningham	[50]
13	Ádám Darvas	[35] [44] [56]
14	Werner Dietl	[28] [29] [50] [51]
15	Peter Dill	[36]
16	Markus Dreger	[7]
17	Sophia Drossopoulou	[18] [50] [51] [54] [58]
18	Susan Eisenbach	[18] [24]
19	Adrian Francalanza	[50] [54] [58]
20	Norbert Fuhr	[3]
21	Benjamin Grégoire	[37]
22	Richard Grzybowski	[36]
23	Mitchell Gusat	[32] [36]
24	Reinhard Guthke	[12]
25	B. Roe Hemenway	[32] [36]
26	Martin Hofmann	[37]
27	Marieke Huisman	[26]
28	Ilias Iliadis	[36]
29	Bart Jacobs	[14] [18] [42]
30	Bernd Jung	[5] [11] [16]
31	Joseph Kiniry (Joseph R. Kiniry)	[26]
32	Oliver Kohlbacher	[17] [21]
33	Raj Krishnamurthy	[32] [36] [45]
34	Gary T. Leavens	[14] [18] [23] [24] [34] [40] [49]
35	Hermann Lehner	[41]
36	K. Rustan M. Leino	[27] [33] [39] [40] [53] [57] [59]
37	Hans-Peter Lenhof	[5] [11] [16] [17] [21]
38	Horst Lichter	[25]
39	Stefan Lohrum	[7]
40	Ronald P. Luijten	[36]
41	Heiko Mantel	[47] [48] [52]
42	Bertrand Meyer	[55]
43	Jörg Meyer	[10]
44	Cyriel Minkenberg	[32] [36]
45	Andrew C. Myers	[47] [48] [52]
46	Martin Nordio	[43] [55]
47	Alexander Nyßen	[25]
48	Frank Piessens	[42]
49	Arnd Poetzsch-Heffter	[6] [8] [9] [10] [13] [14] [15] [18] [23] [24] [28] [34]
50	Erik Poll	[24] [26] [37]
51	Germán Puebla (German Puebla)	[37]
52	Heike Riel	[20]
53	Walter Riess	[19] [20]
54	Heike Rodig	[12]
55	Laura Rossi	[19]
56	Christine Rüb	[5] [11] [16]
57	Arsenii Rudich	[46] [56]
58	Andrei Sabelfeld	[47] [48] [52]
59	Enrico Schiattarella	[36]
60	Wolfgang Schmidt-Heck	[12]
61	Paul F. Seidler	[19] [20]
62	Ian Stark	[37]
63	Jan Suchotzki	[25]
64	Alexander J. Summers	[50] [54] [58]
65	Eric Vétillard	[37]
66	Jan Vytopil	[2]
67	Angela Wallenburg	[53]

Colors in the list of coauthors