Bertrand Meyer
Orcid: 0000-0002-5985-7434Affiliations:
- Constructor University, Switzerland
- ETH Zurich, Department of Computer Science, Switzerland
- Polytechnic University of Milan, Italy (former)
According to our database1,
Bertrand Meyer
authored at least 297 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2008, "For contributions to software engineering and programming languages.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on linkedin.com
-
on viaf.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on inf.ethz.ch
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Formal Aspects Comput., March, 2024
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community.
CoRR, 2024
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
Proceedings of the French School of Programming, 2024
2023
Softw. Test. Verification Reliab., November, 2023
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol., 2023
Proceedings of the Testing Software and Systems, 2023
2022
SN Comput. Sci., 2022
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
Springer, ISBN: 978-3-031-06738-9, 2022
2021
2020
SN Comput. Sci., 2020
Proceedings of the Unimagined Futures - ICT Opportunities and Challenges, 2020
2019
J. Comput. Lang., 2019
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019
2018
2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2015
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Proceedings of the 2015 International Conference on Intelligent Environments, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015
Proceedings of the Perspectives of System Informatics, 2015
2014
Empir. Softw. Eng., 2014
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
Proceedings of the Software Engineering - International Summer Schools, 2014
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the IEEE 9th International Conference on Global Software Engineering, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Proceedings of the Perspectives of System Informatics, 2014
An experiment on teaching coordination in a globally distributed software engineering class.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014
Proceedings of the Coordination Models and Languages, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.
IEEE Trans. Software Eng., 2013
Design of an empirical study for comparing the usability of concurrent programming languages.
Inf. Softw. Technol., 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013
Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013
Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Proceedings of the 19th Working Conference on Reverse Engineering, 2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012
Proceedings of the 5th International Workshop on Exception Handling, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
Softw. Test. Verification Reliab., 2011
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
CoRR, 2011
Commun. ACM, 2011
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Tools for Practical Software Verification, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.
Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011
Empirical assessment of languages for teaching concurrency: Methodology and application.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages
CoRR, 2010
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010
Proceedings of the Testing, 2010
Proceedings of the Empirical Software Engineering and Verification, 2010
Proceedings of the Empirical Software Engineering and Verification, 2010
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the ECOOP 2010, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Springer, ISBN: 978-3-540-92144-8, 2009
2008
By students, for students: a production-quality multimedia library and its application to game-based teaching.
J. Object Technol., 2008
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
Proceedings of the Advanced Lectures on Software Engineering, 2008
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development.
Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008
2007
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.
Proceedings of the Tests and Proofs - 1st International Conference, 2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
IDE-integrated Support for Schema Evolution in Object-Oriented Applications.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007
2006
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006
Object distance and its application to adaptive random testing of object-oriented programs.
Proceedings of the 1st International Workshop on Random Testing, 2006
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.
Proceedings of the ECOOP 2005, 2005
2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.
Proceedings of the From Object-Orientation to Formal Methods, 2004
2003
J. Object Technol., 2003
J. Object Technol., 2003
Obj. Logiciel Base données Réseaux, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Proceedings of the Abstract State Machines, 2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
2002
Proceedings of the Formal Methods for Components and Objects, 2002
2001
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001
Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001
Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001
2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000
1999
Design by Contract, Components and Debugging.
J. Object Oriented Program., 1999
Computer, 1999
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
1998
Free EiffelBase: Eiffel Libraries Go Open Source.
J. Object Oriented Program., 1998
Prelude to a Theory of Void.
J. Object Oriented Program., 1998
The Power of Round-Trip Engineering.
J. Object Oriented Program., 1998
Approaches to Portability.
J. Object Oriented Program., 1998
The Component Combinator for Enterprise Applications.
J. Object Oriented Program., 1998
Is Object Technology Ready for the Embedded World?
J. Object Oriented Program., 1998
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998
1997
Ten Years After.
J. Object Oriented Program., 1997
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997
Prentice-Hall, ISBN: 0-13-629155-4, 1997
1996
Why Your next Project Should use Eiffel.
J. Object Oriented Program., 1996
Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract).
Proceedings of the Object Technologies for Advanced Software, 1996
1995
Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 1995
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses
Carl Hanser Verlag, ISBN: 3-446-18697-2, 1995
1994
Library Design.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994
Keynote: Uses and Misuses of Inheritance.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994
On the Role of Methodology: Advice to the Advisors.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994
Reusable Software: The Base Object-Oriented Component Libraries
Prentice-Hall, ISBN: 0-13-245499-8, 1994
Prentice-Hall, ISBN: 0-13-245507-2, 1994
1993
Object-Oriented Management.
Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993
Towards an Object-Oriented Curriculum.
Proceedings of the TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, 1993
Object-Oriented Applications
Prentice-Hall, 1993
1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
Eiffel: Version 3 and beyond.
Proceedings of the Eiffel, 1992
1991
Re-engineering software by isolating abstractions.
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991
Do we know how to find the classes?
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991
1990
Introduction to the Theory of Programming Languages
Prentice-Hall, ISBN: 0-13-498510-9, 1990
Objektorientierte Softwareentwicklung
Carl Hanser Verlag / Prentice Hall, ISBN: 3-446-15773-5, 1990
1989
From Structured Programming to Object-Oriented Design: The Road to Eiffel.
Struct. Program., 1989
Objects in their Eyes (Panel).
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989
Eiffel - the environment Version 2.2.
Interactive Software Engineering Inc., 1989
Eiffel - the libraries Version 2.2.
Interactive Software Engineering Inc., 1989
1988
Object-Oriented Software Construction, 1st edition
Prentice-Hall, ISBN: 0-13-629031-0, 1988
1987
Proceedings of the ESEC '87, 1987
1986
Proceedings of the Conference on Object-Oriented Programming Systems, 1986
1985
1984
Méthodes de Programmation, 3rd edition
Eyrolles, 1984
1983
ACM SIGSOFT Softw. Eng. Notes, 1983
1982
Towards a Two-Dimensional Programming Environment.
Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982
1980
Proceedings of the Workshop on Data Abstraction, 1980
A Three-Level Approach to the Description of Data Structures, and Notational Framework.
Proceedings of the Workshop on Data Abstraction, 1980
A Basis for the Constructive Approach to Programming.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
Specification Language.
Proceedings of the On the Construction of Programs, 1980
1978
Méthodes de Programmation, 1st edition
Eyrolles, 1978