×

zbMATH — the first resource for mathematics

Müller, Peter

Compute Distance To:
Author ID: muller.peter.4 Recent zbMATH articles by "Müller, Peter"
Published as: Mueller, Peter; Muller, P.; Müller, Peter
Homepage: http://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html
External Links: MGP
Documents Indexed: 39 Publications since 2001, including 8 Books

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 80 times in 64 Documents Cited by Year
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
16
2002
Specification and verification challenges for sequential object-oriented programs. Zbl 1121.68074
Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter
12
2007
A basis for verifying multi-threaded programs. Zbl 1234.68078
Leino, K. Rustan M.; Müller, Peter
9
2009
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
8
2006
Modular specification of frame properties in JML. Zbl 1005.68583
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
6
2003
Behavioral interface specification languages. Zbl 1293.68078
Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew
5
2012
How much delocalisation is needed for an enhanced area law of the entanglement entropy? Zbl 1439.81023
Müller, Peter; Pastur, Leonid; Schulte, Ruth
4
2020
Modular verification of static class invariants. Zbl 1120.68377
Leino, K. Rustan M.; Müller, Peter
4
2005
A verification methodology for model fields. Zbl 1178.68348
Leino, K. Rustan M.; Müller, Peter
3
2006
Computational Bayesian statistics. An introduction. Zbl 1416.62007
Amaral Turkman, Maria Antónia; Paulino, Carlos Daniel; Müller, Peter
2
2019
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
2
2017
Viper: a verification infrastructure for permission-based reasoning. Zbl 06559851
Müller, Peter; Schwerhoff, Malte; Summers, Alexander J.
2
2016
Stability of the enhanced area law of the entanglement entropy. Zbl 1454.81070
Müller, Peter; Schulte, Ruth
1
2020
A note on a conjecture by Ulas on polynomial substitutions. Zbl 1436.11031
Müller, Peter
1
2019
A diffuse interface method for the Navier-Stokes/Darcy equations: perfusion profile for a patient-specific human liver based on MRI scans. Zbl 1439.76184
Stoter, Stein K. F.; Müller, Peter; Cicalese, Luca; Tuveri, Massimiliano; Schillinger, Dominik; Hughes, Thomas J. R.
1
2017
A Bayesian subgroup analysis using collections of ANOVA models. Zbl 1369.62297
Liu, Jinzhong; Sivaganesan, Siva; Laud, Purushottam W.; Müller, Peter
1
2017
Collaborative verification and testing with explicit assumptions. Zbl 1372.68167
Christakis, Maria; Müller, Peter; Wüstholz, Valentin
1
2012
Verification of equivalent-results methods. Zbl 1133.68377
Leino, K. Rustan M.; Müller, Peter
1
2008
Modular specification and verification of object-oriented programs. Zbl 0974.68035
Müller, Peter
1
2001
How much delocalisation is needed for an enhanced area law of the entanglement entropy? Zbl 1439.81023
Müller, Peter; Pastur, Leonid; Schulte, Ruth
4
2020
Stability of the enhanced area law of the entanglement entropy. Zbl 1454.81070
Müller, Peter; Schulte, Ruth
1
2020
Computational Bayesian statistics. An introduction. Zbl 1416.62007
Amaral Turkman, Maria Antónia; Paulino, Carlos Daniel; Müller, Peter
2
2019
A note on a conjecture by Ulas on polynomial substitutions. Zbl 1436.11031
Müller, Peter
1
2019
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
2
2017
A diffuse interface method for the Navier-Stokes/Darcy equations: perfusion profile for a patient-specific human liver based on MRI scans. Zbl 1439.76184
Stoter, Stein K. F.; Müller, Peter; Cicalese, Luca; Tuveri, Massimiliano; Schillinger, Dominik; Hughes, Thomas J. R.
1
2017
A Bayesian subgroup analysis using collections of ANOVA models. Zbl 1369.62297
Liu, Jinzhong; Sivaganesan, Siva; Laud, Purushottam W.; Müller, Peter
1
2017
Viper: a verification infrastructure for permission-based reasoning. Zbl 06559851
Müller, Peter; Schwerhoff, Malte; Summers, Alexander J.
2
2016
Behavioral interface specification languages. Zbl 1293.68078
Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew
5
2012
Collaborative verification and testing with explicit assumptions. Zbl 1372.68167
Christakis, Maria; Müller, Peter; Wüstholz, Valentin
1
2012
A basis for verifying multi-threaded programs. Zbl 1234.68078
Leino, K. Rustan M.; Müller, Peter
9
2009
Verification of equivalent-results methods. Zbl 1133.68377
Leino, K. Rustan M.; Müller, Peter
1
2008
Specification and verification challenges for sequential object-oriented programs. Zbl 1121.68074
Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter
12
2007
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
8
2006
A verification methodology for model fields. Zbl 1178.68348
Leino, K. Rustan M.; Müller, Peter
3
2006
Modular verification of static class invariants. Zbl 1120.68377
Leino, K. Rustan M.; Müller, Peter
4
2005
Modular specification of frame properties in JML. Zbl 1005.68583
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
6
2003
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
16
2002
Modular specification and verification of object-oriented programs. Zbl 0974.68035
Müller, Peter
1
2001
all top 5

Cited by 162 Authors

4 Huisman, Marieke
3 Gurov, Dilian
3 Müller, Peter
3 Naumann, David A.
2 Brucker, Achim D.
2 de Boer, Frank S.
2 Dovland, Johan
2 Hermenegildo, Manuel V.
2 Jacobs, Bart
2 Johnsen, Einar Broch
2 Leavens, Gary T.
2 Leino, K. Rustan M.
2 Marché, Claude
2 Morales, Jose Francisco
2 O’Hearn, Peter W.
2 Owe, Olaf
2 Piessens, Frank
2 Schulte, Ruth
2 Steffen, Martin
2 Summers, Alexander J.
2 Wolff, Burkhart
2 Yang, Hongseok
1 Abdul-Rahman, Houssam M.
1 Al Mahbub, Md. Abdullah
1 Amighi, Afshin
1 Andersen, Kristoffer Just
1 Anureev, Igor S.
1 Apt, Krzysztof Rafal
1 Bao, Yuyan
1 Barnett, Mike
1 Beillahi, Sidi Mohamed
1 Berger, Martin J.
1 Birkedal, Lars
1 Blom, Stefan
1 Botella, Bernard
1 Bouajjani, Ahmed
1 Boulmé, Sylvain
1 Bruyneel, Luk
1 Bueno, Francisco
1 Carro, Manuel
1 Castegren, Elias
1 Cerone, Andrea
1 Charguéraud, Arthur
1 Chechik, Marsha
1 Chin, Wei-Ngan
1 Colvin, Robert J.
1 Cook, William R.
1 Craciun, Florin
1 Cunningham, Dave
1 da Costa, Umberto Souza
1 da Rocha Pinto, Pedro
1 Damiani, Ferruccio
1 Darabi, Saeed
1 De Gouw, Stijn
1 Dietl, Werner
1 Din, Crystal Chang
1 Dinsdale-Young, Thomas
1 Drossopolou, Sophia
1 Drossopoulou, Sophia Chloe
1 Dubickas, Artūras
1 Dubranovsky, I. V.
1 Eisenbach, Susan
1 Enea, Constantin
1 Ernst, Gidon
1 Fendrich, Sascha
1 Ferrara, Pietro
1 Filipović, Ivana
1 Fischbacher, Christoph
1 Frade, Maria João
1 Francalanza, Adrian
1 Furia, Carlo Alberto
1 Garbervetsky, Diego
1 Ghezzi, Carlo
1 Giorgetti, Alain
1 Gorín, Daniel
1 Gotsman, Alexey
1 He, Guanhua
1 He, Xiaoming
1 Honda, Kohei
1 Huizing, Cornelis
1 Hussain, Akbar
1 Julliand, Jacques
1 Kassios, Ioannis T.
1 Kosmatov, Nikolai
1 Kuiper, Ruurd
1 Lahiri, Shuvendu Kumar
1 Lesaffre, Emmanuel M. E. H.
1 Leschke, Hajo
1 Liu, Shaoying
1 Liu, Yijing
1 Long, Quan
1 López-García, Pedro
1 Luit, Erik J.
1 Luo, Chenguang
1 Lüttgen, Gerald
1 Martins Moreira, Anamaria
1 Menghi, Claudio
1 Mera, Edison
1 Meyer, Bertrand
1 Middelkoop, Ronald
...and 62 more Authors

Citations by Year