Bertrand Meyer

Cited by

	All	Since 2020
Citations	32787	3577
h-index	62	27
i10-index	218	62

1300

650

325

975

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202597 222 405 526 698 771 745 754 747 693 720 766 716 818 945 1076 1046 1037 1083 1232 1160 1154 1228 1121 1260 1235 1215 1092 1011 911 902 901 755 736 701 640 620 125

Public access

View all

39 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Carlo A. FuriaSoftware Institute - USI Università della Svizzera italianaVerified email at usi.ch
Manuel OriolConstructor Institute SchaffhausenVerified email at constructor.org
Martin NordioETH ZurichVerified email at inf.ethz.ch
Wei YiChair of Software Engineering, ETH ZurichVerified email at inf.ethz.ch
Sebastian NanzGoogleVerified email at google.com
H.-Christian EstlerETH Zurich (formerly)Verified email at inf.ethz.ch
Jean-Michel BruelProfessor of Computer Science, Toulouse University, FranceVerified email at irit.fr
Yu PeiThe Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
sophie ebersold marcaillouFull Professor at University of Toulouse - Researcher at IRITVerified email at irit.fr
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
Florian GalinierSPILEn CEOVerified email at spilen.fr
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security • Professor, Saarland UniversityVerified email at cispa.de
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Alexander KogtenkovComputer Software Consultant, Software Development Tools Expert, ResearcherVerified email at sit.org
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Lucas Serpa SilvaSwiss Big-Data SolutionsVerified email at sbds.ch
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Jean-Marc JezequelProfessor of Software Engineering, Univ Rennes, CNRS, Inria, IRISA, IUFVerified email at irisa.fr

Bertrand Meyer

Professor of Software Engineering, Constructor Institute of Technology

Verified email at inf.ethz.ch - Homepage

Software engineering object-oriented programming software verification Eiffel concurrent programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Object-oriented software construction B Meyer Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997	11846	1997
Applying "Design by Contract" B Meyer Computer 25 (10), 40-51, 1992	3696	1992
Eiffel: the language B Meyer Prentice-Hall, 1992	2661*	1992
Reusability: The case for object-oriented design B Meyer IEEE software 4 (2), 50, 1987	590	1987
On formalism in specifications B Meyer IEEE Software 2 (1), 6-26, 1985	573*	1985
Automated fixing of programs with contracts Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller Proceedings of the 19th international symposium on Software testing and …, 2010	459	2010
Design by Contract: The lessons of Ariane JM Jézéquel, B Meyer Computer 30 (1), 129-130, 1997	423	1997
Agile! The Good, the Hype and the Ugly B Meyer The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014	418*	2014
Agile! The Good, the Hype and the Ugly B Meyer The good, the Hype and the Ugly. Kappaleet, 275, 2014	385*	2014
Reusable software: the Base object-oriented component libraries B Meyer Prentice-Hall, Inc., 1994	311	1994
Introduction to the Theory of Programming Languages B Meyer Available for free use at https://bertrandmeyer.com/ITPL, 1990	309	1990
Specification Language. JR Abrial, SA Schuman, B Meyer On the Construction of Programs, 343-410, 1980	295	1980
ARTOO: adaptive random testing for object-oriented software I Ciupa, A Leitner, M Oriol, B Meyer Proceedings of the 30th international conference on Software engineering, 71-80, 2008	283	2008
Systematic concurrent object-oriented programming B Meyer Communications of the ACM 36 (9), 56-80, 1993	279	1993
The grand challenge of trusted components B Meyer 25th International Conference on Software Engineering, 2003. Proceedings …, 2003	278	2003
Objektorientierte Softwareentwicklung B Meyer, W Simonsmeier Hanser, 1990	260	1990
Genericity versus inheritance B Meyer ACM Sigplan Notices 21 (11), 391-405, 1986	259	1986
Lessons from the design of the Eiffel libraries B Meyer Communications of the ACM 33 (9), 68-88, 1990	214	1990
Eiffel: A language and environment for software engineering B Meyer Journal of Systems and Software 8 (3), 199-246, 1988	209	1988
Generating fixes from object behavior anomalies V Dallmeier, A Zeller, B Meyer 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	184	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors