litlas
Log inCreate account

Bertrand Meyer

Active 1978–2026

367
Papers
28,883
Citations
61
h-index
165
i10-index

Citations

Citations per year for Bertrand Meyer1979: 1 citations1980: 1 citations1983: 1 citations1984: 1 citations1985: 3 citations1986: 7 citations1987: 21 citations1988: 32 citations1989: 49 citations1990: 113 citations1991: 127 citations1992: 201 citations1993: 166 citations1994: 167 citations1995: 153 citations1996: 152 citations1997: 183 citations1998: 180 citations1999: 224 citations2000: 253 citations2001: 250 citations2002: 305 citations2003: 368 citations2004: 345 citations2005: 437 citations2006: 420 citations2007: 435 citations2008: 426 citations2009: 451 citations2010: 501 citations2011: 439 citations2012: 404 citations2013: 417 citations2014: 490 citations2015: 413 citations2016: 422 citations2017: 369 citations2018: 369 citations2019: 421 citations2020: 322 citations2021: 298 citations2022: 273 citations2023: 230 citations2024: 249 citations2025: 165 citations2026: 47 citations1981–1982: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 2,064 citing papers, 19.2% of this breakdownGermany: 982 citing papers, 9.1% of this breakdownChina: 906 citing papers, 8.4% of this breakdownUnited Kingdom: 742 citing papers, 6.9% of this breakdownFrance: 694 citing papers, 6.4% of this breakdownItaly: 428 citing papers, 4% of this breakdownSwitzerland: 426 citing papers, 4% of this breakdownAustralia: 409 citing papers, 3.8% of this breakdownCanada: 384 citing papers, 3.6% of this breakdownNetherlands: 288 citing papers, 2.7% of this breakdownBrazil: 283 citing papers, 2.6% of this breakdownSpain: 264 citing papers, 2.4% of this breakdown
0%19.2%Other 26.9%

Institutions

Fields

  • Computer Science79.8%
  • Earth and Planetary Sciences7.9%
  • Engineering3.1%
  • Materials Science1.8%
  • Business, Management and Accounting1.5%
  • Decision Sciences1.3%
  • Other4.6%

Topics

  • Software Engineering Research10.2%
  • Advanced Software Engineering Methodologies8.9%
  • Software Testing and Debugging Techniques6.8%
  • Logic, programming, and type systems6.2%
  • Formal Methods in Verification4.9%
  • Software Reliability and Analysis Research4.8%
  • Other58.2%

Coauthors

All papers

Open in search
  1. Applying "Design by Contract"

    Authors: Bertrand Meyer - Computer 1992 cited by 2,120

  2. Oblique Stepwise Rise and Growth of the Tibet Plateau

    Authors: Paul Tapponnier, Xu Zhiqin, Françoise Roger, Bertrand Meyer, Nicolas Arnaud, G. Wittlinger, Yang Jingsui - Science 2001 cited by 3,925

  3. Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013

    Authors: Bertrand Meyer, Luciano Baresi, Mira Mezini - ESEC/SIGSOFT FSE 2013 cited by 144

  4. Present and Ulterior Software Engineering

    Authors: Manuel Mazzara, Bertrand Meyer - IEEE Symposium on Security and Privacy, SP 2017 cited by 115

  5. An Empirical Study of API Usability

    Authors: Marco Piccioni, Carlo A. Furia, Bertrand Meyer - ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2013 cited by 113

  6. Automated Fixing of Programs with Contracts

    Authors: Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller - IEEE Transactions on Software Engineering, IEEE Trans. Software Eng. 2014 cited by 147

  7. Automated fixing of programs with contracts

    Authors: Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller - symposium on Software testing and analysis, ISSTA 2010 cited by 237

  8. Inferring better contracts

    Authors: Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer - Conference on Software Engineering, ICSE 2011 cited by 98

  9. The Role of Formalism in System Requirements

    Authors: Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer - ACM Computing Surveys, ACM Comput. Surv. 2021 cited by 27

  10. Eiffel: A language and environment for software engineering

    Authors: Bertrand Meyer - Journal of Systems and Software, J. Syst. Softw. 1988 cited by 120

  11. Seven Principles of Software Testing

    Authors: Bertrand Meyer - Computer 2008 cited by 72

  12. Handbook of Requirements and Business Analysis

    Authors: Bertrand Meyer - IEEE Symposium on Security and Privacy, SP 2022 cited by 16

  13. Crustal thickening in Gansu-Qinghai, lithospheric mantle subduction, and oblique, strike-slip controlled growth of the Tibet plateau

    Authors: Bertrand Meyer, P. Tapponnier, Laurence Bourjot, François Métivier, Y. Gaudemer, G. Peltzer, Guo Shunmin, Zhitai Chen - Geophysical Journal International 1998 cited by 971

  14. ARTOO: adaptive random testing for object-oriented software

    Authors: Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer - conference on Software engineering, ICSE 2008 cited by 197

  15. Compiler error messages: what can help novices?

    Authors: Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer - ACM SIGCSE Bulletin 2008 cited by 77

  16. Reconciling Manual and Automated Testing: The AutoTest Experience

    Authors: Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard - 40th Annual Hawaii International Conference on System Sciences (HICSS'07) 2007 cited by 60

  17. Lessons from Formally Verified Deployed Software Systems

    Authors: Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege - CoRR 2023 cited by 6

  18. Partitioning of crustal slip between linked, active faults in the eastern Qilian Shan, and evidence for a major seismic gap, the ‘Tianzhu gap', on the western Haiyuan Fault, Gansu (China)

    Authors: Y. Gaudemer, P. Tapponnier, Bertrand Meyer, G. Peltzer, Guo Shunmin, Zhitai Chen, Huagung Dai, Inés Cifuentes - Geophysical Journal International 1995 cited by 375

  19. Evidence-Based Automated Program Fixing

    Authors: Yu Pei, Wei Yi, Carlo A. Furia, Martín Nordio, Bertrand Meyer - 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) 2011 cited by 53

  20. Flexible Invariants Through Semantic Collaboration

    Authors: Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer - Lecture notes in computer science, FM 2014 cited by 38

  21. Incremental String Matching

    Authors: Bertrand Meyer - Information Processing Letters, Inf. Process. Lett. 1985 cited by 26

  22. SmartWalker: Towards an Intelligent Robotic Walker for the Elderly

    Authors: Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer - International Conference on Intelligent Environments 2015 cited by 18

  23. Efficient unit test case minimization

    Authors: Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer - twenty-second IEEE/ACM international conference on Automated software engineering, ASE 2007 cited by 108

  24. Viewpoint - Research evaluation for computer science

    Authors: Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan Van Leeuwen - Communications of the ACM, Commun. ACM 2009 cited by 84