Méthodes de Programmation, 1st edition - Bertrand Meyer 001; Claude Baudoin (Eyrolles, 1978)

A Note on Computing Multiple Sums. - Bertrand Meyer 001 (Softw. Pract. Exp., 1978)

Specification Language. - Jean-Raymond Abrial; Stephen A. Schuman; Bertrand Meyer 001 (On the Construction of Programs, 1980)

A Basis for the Constructive Approach to Programming. - Bertrand Meyer 001 (IFIP Congress, 1980)

A Three-Level Approach to the Description of Data Structures, and Notational Framework. - Bertrand Meyer 001 (SIGMOD Rec., 1980)

Relationships Between and Among Models (discussion). - John Mylopoulos; Martin S. Feather; Bertrand Meyer 001; Paolo Paolini; Diane C. P. Smith; Gary G. Hendrix (SIGMOD Rec., 1980)

Towards a Two-Dimensional Programming Environment. - Bertrand Meyer 001 (ECICS, 1982)

Principles of Package Design. - Bertrand Meyer 001 (Commun. ACM, 1982)

Some mistakes are worse than others: an open letter to professor David Gries. - Bertrand Meyer 001 (ACM SIGSOFT Softw. Eng. Notes, 1983)

Méthodes de Programmation, 3rd edition - Bertrand Meyer 001; Claude Baudoin (Eyrolles, 1984)

A note on iterative Hanoi. - Bertrand Meyer 001 (ACM SIGPLAN Notices, 1984)

The Software Knowledge Base. - Bertrand Meyer 001 (ICSE, 1985)

Incremental String Matching. - Bertrand Meyer 001 (Inf. Process. Lett., 1985)

Showing Programs on a Screen. - Bertrand Meyer 001; Jean-Marc Nerson; Soon Hae Ko (Sci. Comput. Program., 1985)

On Formalism in Specifications. - Bertrand Meyer 001 (IEEE Softw., 1985)

Genericity versus Inheritance. - Bertrand Meyer 001 (OOPSLA, 1986)

EIFFEL: Object-Oriented Design for Software Engineering. - Bertrand Meyer 001; Jean-Marc Nerson; Masanobu Matsuo (ESEC, 1987)

Eiffel: programming for reusability and extendibility. - Bertrand Meyer 001 (ACM SIGPLAN Notices, 1987)

Reusability: The Case for Object-Oriented Design. - Bertrand Meyer 001 (IEEE Softw., 1987)

Object-Oriented Software Construction, 1st edition - Bertrand Meyer 001 (Prentice-Hall, 1988)

Eiffel: A language and environment for software engineering. - Bertrand Meyer 001 (J. Syst. Softw., 1988)

Cépage: Toward computer-aided design of software. - Bertrand Meyer 001 (J. Syst. Softw., 1988)

Eiffel - the libraries Version 2.2. - Bertrand Meyer 001 (Interactive Software Engineering Inc., 1989)

Eiffel - the environment Version 2.2. - Bertrand Meyer 001 (Interactive Software Engineering Inc., 1989)

Objects in their Eyes (Panel). - Esther Dyson; Bertrand Meyer 001; Daniel Weinreb; William N. Joy (OOPSLA, 1989)

From Structured Programming to Object-Oriented Design: The Road to Eiffel. - Bertrand Meyer 001 (Struct. Program., 1989)

Objektorientierte Softwareentwicklung - Bertrand Meyer 001 (Carl Hanser Verlag / Prentice Hall, 1990)

Introduction to the Theory of Programming Languages - Bertrand Meyer 001 (Prentice-Hall, 1990)

Lessons from the Design of the Eiffel Libraries. - Bertrand Meyer 001 (Commun. ACM, 1990)

Eiffel: The Language - Bertrand Meyer 001 (Prentice-Hall, 1991)

Do we know how to find the classes? - Bertrand Meyer 001 (TOOLS (5), 1991)

Re-engineering software by isolating abstractions. - Bertrand Meyer 001 (TOOLS (5), 1991)

Eiffel: Version 3 and beyond. - Bertrand Meyer 001 (Eiffel, 1992)

OOP in Languages Providing Strong, Static Typing (Panel). - David Bulman; S. Tucker Taft; Bertrand Meyer 001; Greg Nelson; Mike Kilian (OOPSLA, 1992)

Ensuring Semantic Integrity of Reusable Objects (Panel). - Webb Stacy; Richard Helm; Gail E. Kaiser; Bertrand Meyer 001 (OOPSLA, 1992)

Applying "Design by Contract". - Bertrand Meyer 001 (Computer, 1992)

Object-Oriented Applications - Bertrand Meyer 001; Jean-Marc Nerson (Prentice-Hall, 1993)

On Formalism in Specifications. - Bertrand Meyer 001 (Program Verification, 1993)

Towards an Object-Oriented Curriculum. - Bertrand Meyer 001 (TOOLS (11), 1993)

Object-Oriented Management. - Bertrand Meyer 001 (TOOLS (10), 1993)

Systematic Concurrent Object-Oriented Programming. - Bertrand Meyer 001 (Commun. ACM, 1993)

An Object-Oriented Environment: Principles and Applications - Bertrand Meyer 001 (Prentice-Hall, 1994)

Reusable Software: The Base Object-Oriented Component Libraries - Bertrand Meyer 001 (Prentice-Hall, 1994)

On the Role of Methodology: Advice to the Advisors. - Bertrand Meyer 001 (COODBSE, 1994)

Keynote: Uses and Misuses of Inheritance. - Bertrand Meyer 001 (TOOLS (13), 1994)

Library Design. - Bertrand Meyer 001 (TOOLS (13), 1994)

Erfolgsschlüssel Objekttechnologie – Managerführer zur Neuorganisation des Softwareprozesses - Bertrand Meyer 001 (Carl Hanser Verlag, 1995)

Object Success - Bertrand Meyer 001 (Prentice-Hall, 1995)

Where Is Software Headed? A Virtual Roundtable. - Ted G. Lewis; Dave Power; Bertrand Meyer 001; Jack Grimes; Mike Potel; Ronald J. Vetter; Phillip A. Laplante; Wolfgang Pree; Gustav Pomberger; Mark D. Hill; James R. Larus; David A. Wood 001; et al. (Computer, 1995)

Static typing. - Bertrand Meyer 001 (OOPSLA Addendum, 1995)

Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract). - Bertrand Meyer 001 (ISOTAS, 1996)

The Conceptual Perspective. - Bertrand Meyer 001 (Computer, 1996)

The Reusability Challenge. - Bertrand Meyer 001 (Computer, 1996)

The many faces of inheritance: a taxonomy of taxonomy. - Bertrand Meyer 001 (Computer, 1996)

Schema Evolution: Concepts, Terminology, and Solutions. - Bertrand Meyer 001 (Computer, 1996)

Why Your next Project Should use Eiffel. - Bertrand Meyer 001 (J. Object Oriented Program., 1996)

Object-Oriented Software Construction, 2nd Edition - Bertrand Meyer 001 (Prentice-Hall, 1997)

Keynotes. - James Coplien; Joseph Gil; David Harel; Bertrand Meyer 001 (TOOLS (23), 1997)

Design by Contract: Making Object-Oriented Programs that Work. - Bertrand Meyer 001 (TOOLS (25), 1997)

The Opportunity of a Millennium. - Christopher Creel; Bertrand Meyer 001; Philippe Stephan (Computer, 1997)

Design by Contract: The Lessons of Ariane. - Jean-Marc Jézéquel; Bertrand Meyer 001 (Computer, 1997)

Practice To Perfect: The Quality First Model. - Bertrand Meyer 001 (Computer, 1997)

The Next Software Breakthrough. - Bertrand Meyer 001 (Computer, 1997)

Ten Years After. - Bertrand Meyer 001 (J. Object Oriented Program., 1997)

Can We Make Componentware Succeed? - Bertrand Meyer 001 (TOOLS (26), 1998)

Design by Contract: The Eiffel Method. - Bertrand Meyer 001 (TOOLS (26), 1998)

Panel: Issues in Moving to a Component-Based Industry. - Bertrand Meyer 001 (TOOLS (26), 1998)

The Future of Object Technology. - Bertrand Meyer 001 (Computer, 1998)

Tell Less, Say More: The Power of Implicitness. - Bertrand Meyer 001 (Computer, 1998)

The Role of Object-Oriented Metrics. - Bertrand Meyer 001 (Computer, 1998)

Providing Trusted Components to the Industry. - Bertrand Meyer 001; Christine Mingins; Heinz W. Schmidt (Computer, 1998)

Is Object Technology Ready for the Embedded World? - Christopher Creel; Bertrand Meyer 001 (J. Object Oriented Program., 1998)

The Component Combinator for Enterprise Applications. - Bertrand Meyer 001 (J. Object Oriented Program., 1998)

Approaches to Portability. - Bertrand Meyer 001 (J. Object Oriented Program., 1998)

The Power of Round-Trip Engineering. - Bertrand Meyer 001 (J. Object Oriented Program., 1998)

Prelude to a Theory of Void. - Bertrand Meyer 001 (J. Object Oriented Program., 1998)

Free EiffelBase: Eiffel Libraries Go Open Source. - Bertrand Meyer 001 (J. Object Oriented Program., 1998)

Managing By Contract. - Bertrand Meyer 001 (TOOLS (30), 1999)

The Unity of Software and the Power of Roundtrip Engineering. - Bertrand Meyer 001 (TOOLS (29), 1999)

Seamless Development with the Eiffel Method. - Bertrand Meyer 001 (TOOLS (29), 1999)

On To Components. - Bertrand Meyer 001 (Computer, 1999)

Every Little Bit Counts: Toward More Reliable Software. - Bertrand Meyer 001 (Computer, 1999)

A Really Good Idea. - Bertrand Meyer 001 (Computer, 1999)

Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction. - Bertrand Meyer 001; Christine Mingins (Computer, 1999)

Design by Contract, Components and Debugging. - Bertrand Meyer 001 (J. Object Oriented Program., 1999)

The Future of Component-Based Development. - Bertrand Meyer 001 (TOOLS (33), 2000)

Programming with Agents: Combining O-O and Functional Techniques. - Bertrand Meyer 001 (TOOLS (33), 2000)

Agent-Based Programming In Eiffel. - Bertrand Meyer 001 (TOOLS (34), 2000)

Design By Contract and the Component Revolution. - Bertrand Meyer 001 (TOOLS (34), 2000)

Component-Based Development? Refining the Blueprint. - Roger Smith; Bertrand Meyer 001; Clemens A. Szyperski; Gilda Pour (TOOLS (34), 2000)

The .NET Training Course - Bertrand Meyer 001 (Prentice-Hall, 2001)

Open Problems in Object-Oriented Programming. - Bertrand Meyer 001 (TOOLS (39), 2001)

Building Trusted Components. - Bertrand Meyer 001 (TOOLS (39), 2001)

At the Edge of Design by Contract. - Bertrand Meyer 001 (TOOLS (38), 2001)

Concurrent Object-Oriented Programming. - Bertrand Meyer 001 (TOOLS (38), 2001)

A Metric Framework for Object-Oriented Development. - Tanit Talbi; Bertrand Meyer 001; Emmanuel Stapf (TOOLS (39), 2001)

Software Engineering in the Academy. - Bertrand Meyer 001 (Computer, 2001)

.NET Is Coming. - Bertrand Meyer 001 (Computer, 2001)

Finding Implicit Contracts in .NET Components. - Karine Arnout; Bertrand Meyer 001 (FMCO, 2002)

Assessing a C# Text. - Bertrand Meyer 001 (Computer, 2002)

The Start of an Eiffel Standard. - Bertrand Meyer 001 (J. Object Technol., 2002)

In Memory of Kristen Nygaard and Ole-Johan Dahl. - Bertrand Meyer 001; Kristen Nygaard; Ole Lehrmann Madsen (J. Object Technol., 2002)

Blueprint for Real Progress in Software Engineering. - Bertrand Meyer 001 (APSEC, 2003)

A Framework for Proving Contract-Equipped Classes. - Bertrand Meyer 001 (Abstract State Machines, 2003)

The Outside-In Method of Teaching Introductory Programming. - Bertrand Meyer 001 (Ershov Memorial Conference, 2003)

The Grand Challenge of Trusted Components. - Bertrand Meyer 001 (ICSE, 2003)

Towards Practical Proofs of Class Correctness. - Bertrand Meyer 001 (ZB, 2003)

Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. - Karine Arnout; Bertrand Meyer 001 (Obj. Logiciel Base données Réseaux, 2003)

Uncovering Hidden Contracts: The .NET Example. - Karine Arnout; Bertrand Meyer 001 (Computer, 2003)

Concurrent object-oriented programming on .NET. - Piotr Nienaltowski; Volkan Arslan; Bertrand Meyer 001 (IEE Proc. Softw., 2003)

Proving Pointer Program Properties. Part 1: Context and overview. - Bertrand Meyer 001 (J. Object Technol., 2003)

On an open issue of programming language phonetics. - Bertrand Meyer 001 (J. Object Technol., 2003)

Proving Pointer Program Properties. Part 2: The Overall Object Structure. - Bertrand Meyer 001 (J. Object Technol., 2003)

The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. - Bertrand Meyer 001 (Essays in Memory of Ole-Johan Dahl, 2004)

Making Specifications Complete Through Models. - Bernd Schoeller; Tobias Widmer; Bertrand Meyer 001 (Architecting Systems with Trustworthy Components, 2004)

Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. - Bertrand Meyer 001 (ECOOP, 2005)

Can Aspects Implement Contracts?. - Stephanie Balzer; Patrick Th. Eugster; Bertrand Meyer 001 (RISE, 2005)

Doing More with Contracts: Towards Automatic Tests and Proofs. - Bertrand Meyer 001 (RISE, 2005)

Eiffel as a Framework for Verification. - Bertrand Meyer 001 (VSTTE, 2005)

Dependable Software. - Bertrand Meyer 001 (Research Results of the DICS Program, 2006)

Object distance and its application to adaptive random testing of object-oriented programs. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (Random Testing, 2006)

The Context of Object Computation (extended abstract). - Bertrand Meyer 001 (SEFM, 2006)

The inverted curriculum in practice. - Michela Pedroni; Bertrand Meyer 001 (SIGCSE, 2006)

Europe's computer scientists take fate into their own hands. - Bertrand Meyer 001; Willy Zwaenepoel (Commun. ACM, 2006)

The Unspoken Revolution in Software Engineering. - Bertrand Meyer 001 (Computer, 2006)

Testable, Reusable Units of Cognition. - Bertrand Meyer 001 (Computer, 2006)

Componentization: The Visitor Example. - Bertrand Meyer 001; Karine Arnout (Computer, 2006)

Pattern Componentization: The Factory Example. - Karine Arnout; Bertrand Meyer 001 (Innov. Syst. Softw. Eng., 2006)

IDE-integrated Support for Schema Evolution in Object-Oriented Applications. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (RAM-SE, 2007)

Contract-Driven Development. - Bertrand Meyer 001 (FASE, 2007)

Reconciling Manual and Automated Testing: The AutoTest Experience. - Andreas Leitner; Ilinca Ciupa; Bertrand Meyer 001; Mark Howard (HICSS, 2007)

Experimental assessment of random testing for object-oriented software. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ISSTA, 2007)

A framework for describing and comparing courses and curricula. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001 (ITiCSE, 2007)

Efficient unit test case minimization. - Andreas Leitner; Manuel Oriol; Andreas Zeller; Ilinca Ciupa; Bertrand Meyer 001 (ASE, 2007)

Proving What Programs Do Not. - Bertrand Meyer 001 (MEMOCODE, 2007)

Celebrating 40 years of language evolution: simula 67 to the present and beyond. - Steven Fraser 001; James Gosling; Anders Hejlsberg; Ole Lehrmann Madsen; Bertrand Meyer 001; Guy L. Steele Jr. (OOPSLA Companion, 2007)

Contract driven development = test driven development - writing test cases. - Andreas Leitner; Ilinca Ciupa; Manuel Oriol; Bertrand Meyer 001; Arno Fiva (ESEC/SIGSOFT FSE, 2007)

Automatic Testing of Object-Oriented Software. - Bertrand Meyer 001; Ilinca Ciupa; Andreas Leitner; Lisa Ling Liu (SOFSEM (1), 2007)

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. - Lisa Ling Liu; Bertrand Meyer 001; Bernd Schoeller (TAP, 2007)

Editorial Special Issue. - Jean Bézivin; Bertrand Meyer 001 (J. Object Technol., 2007)

The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. - Bertrand Meyer 001; Marco Piccioni (CSEE&T, 2008)

ARTOO: adaptive random testing for object-oriented software. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ICSE, 2008)

On the Predictability of Random Tests for Object-Oriented Software. - Ilinca Ciupa; Alexander Pretschner; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ICST, 2008)

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. - Ilinca Ciupa; Bertrand Meyer 001; Manuel Oriol; Alexander Pretschner (ISSRE, 2008)

Course management with TrucStudio. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001; Enrico Albonico; Lukas Angerer (ITiCSE, 2008)

SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. - Benjamin Morandi; Sebastian S. Bauer; Bertrand Meyer 001 (LASER Summer School, 2008)

Compiler error messages: what can help novices? - Marie-Hélène Nienaltowski; Michela Pedroni; Bertrand Meyer 001 (SIGCSE, 2008)

Automatic extraction of notions from course material. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001; Lukas Angerer (SIGCSE, 2008)

Proof-Transforming Compilation of Eiffel Programs. - Martin Nordio; Peter Müller 001; Bertrand Meyer 001 (TOOLS (46), 2008)

Design and code reviews in the age of the internet. - Bertrand Meyer 001 (Commun. ACM, 2008)

Seven Principles of Software Testing. - Bertrand Meyer 001 (Computer, 2008)

By students, for students: a production-quality multimedia library and its application to game-based teaching. - Till G. Bay; Michela Pedroni; Bertrand Meyer 001 (J. Object Technol., 2008)

Touch of Class: Learning to Program Well with Objects and Contracts - Bertrand Meyer 001 (Springer, 2009)

On the Effectiveness of Test Extraction without Overhead. - Andreas Leitner; Alexander Pretschner; Stefan Mori; Bertrand Meyer 001; Manuel Oriol (ICST, 2009)

A comparative study of programmer-written and automatically inferred contracts. - Nadia Polikarpova; Ilinca Ciupa; Bertrand Meyer 001 (ISSTA, 2009)

Generating Fixes from Object Behavior Anomalies. - Valentin Dallmeier; Andreas Zeller; Bertrand Meyer 001 (ASE, 2009)

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001; Teseo Schneider (ASE, 2009)

The Role of Contracts in Distributed Development. - Martin Nordio; Roman Mitin; Bertrand Meyer 001; Carlo Ghezzi; Elisabetta Di Nitto; Giordano Tamburrelli (SEAFOOD, 2009)

A Sound and Complete Program Logic for Eiffel. - Martin Nordio; Cristiano Calcagno; Peter Müller 001; Bertrand Meyer 001 (TOOLS (47), 2009)

Viewpoint - Research evaluation for computer science. - Bertrand Meyer 001; Christine Choppy; Jørgen Staunstrup; Jan van Leeuwen (Commun. ACM, 2009)

Programs That Test Themselves. - Bertrand Meyer 001; Arno Fiva; Ilinca Ciupa; Andreas Leitner; Yi Wei 001; Emmanuel Stapf (Computer, 2009)

Contracts for concurrency. - Piotr Nienaltowski; Bertrand Meyer 001; Jonathan S. Ostroff (Formal Aspects Comput., 2009)

Point/Counterpoint. - Gerald D. Everett; Bertrand Meyer 001 (IEEE Softw., 2009)

Avoid a Void: The Eradication of Null Dereferencing. - Bertrand Meyer 001; Alexander Kogtenkov; Emmanuel Stapf (Reflections on the Work of C. A. R. Hoare, 2010)

Inferring Loop Invariants Using Postconditions. - Carlo A. Furia; Bertrand Meyer 001 (Fields of Logic and Computation, 2010)

Verifying Executable Object-Oriented Specifications with Separation Logic. - Stephan van Staden; Cristiano Calcagno; Bertrand Meyer 001 (ECOOP, 2010)

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2010)

Advanced hands-on training for distributed and outsourced software engineering. - Martin Nordio; Roman Mitin; Bertrand Meyer 001 (ICSE (1), 2010)

Satisfying Test Preconditions through Guided Object Selection. - Yi Wei 001; Serge Gebhardt; Bertrand Meyer 001; Manuel Oriol (ICST, 2010)

Deriving concurrent control software from behavioral specifications. - Ganesh Ramanathan; Benjamin Morandi; Scott West; Sebastian Nanz; Bertrand Meyer 001 (IROS, 2010)

Object-Oriented Modeling of Object-Oriented Concepts. - Michela Pedroni; Bertrand Meyer 001 (ISSEP, 2010)

Automated fixing of programs with contracts. - Yi Wei 001; Yu Pei 001; Carlo A. Furia; Lucas Serpa Silva; Stefan Buchholz; Bertrand Meyer 001; Andreas Zeller (ISSTA, 2010)

A Formal Reference for SCOOP. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (LASER Summer School, 2010)

Is Branch Coverage a Good Measure of Testing Effectiveness? - Yi Wei 001; Bertrand Meyer 001; Manuel Oriol (LASER Summer School, 2010)

Automatic Testing and Fixing for Eiffel - (Extended Abstract). - Bertrand Meyer 001 (TAIC PART, 2010)

Reasoning about Function Objects. - Martin Nordio; Cristiano Calcagno; Bertrand Meyer 001; Peter Müller 001; Julian Tschannen (TOOLS (48), 2010)

Specifying Reusable Components. - Nadia Polikarpova; Carlo A. Furia; Bertrand Meyer 001 (VSTTE, 2010)

The theory and calculus of aliasing - Bertrand Meyer 001 (CoRR, 2010)

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (CoRR, 2010)

Towards a theory and calculus of aliasing. - Bertrand Meyer 001 (J. Object Technol., 2010)

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. - Lucas Serpa Silva; Yi Wei 001; Bertrand Meyer 001; Manuel Oriol (APSEC, 2011)

Empirical assessment of languages for teaching concurrency: Methodology and application. - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (CSEE&T, 2011)

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. - Martin Nordio; H.-Christian Estler; Bertrand Meyer 001; Julian Tschannen; Carlo Ghezzi; Elisabetta Di Nitto (ICGSE, 2011)

Teaching software engineering using globally distributed projects: the DOSE course. - Martin Nordio; Carlo Ghezzi; Bertrand Meyer 001; Elisabetta Di Nitto; Giordano Tamburrelli; Julian Tschannen; Nazareno Aguirre; Vidya Kulkarni (CTGDSD@ICSE, 2011)

Inferring better contracts. - Yi Wei 001; Carlo A. Furia; Nikolay Kazmin; Bertrand Meyer 001 (ICSE, 2011)

Code-based automated program fixing. - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Stateful testing: Finding more errors in code and contracts. - Yi Wei 001; Hannes Roth; Carlo A. Furia; Yu Pei 001; Alexander Horton; Michael Steindorfer; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. - Julian Tschannen; Carlo Alberto Furia; Martin Nordio; Bertrand Meyer 001 (LASER Summer School, 2011)

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (SEFM, 2011)

In support of open reviews; better teaching through large-scale data mining. - Bertrand Meyer 001; Greg Linden (Commun. ACM, 2011)

A comprehensive operational semantics of the SCOOP programming model - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Evidence-Based Automated Program Fixing - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (CoRR, 2011)

Collaborative Software Development on the Web - Martin Nordio; Bertrand Meyer 001; H.-Christian Estler (CoRR, 2011)

Verifying Eiffel Programs with Boogie - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

Towards a Calculus of Object Programs - Bertrand Meyer 001 (CoRR, 2011)

Record-Replay Debugging for Concurrent SCOOP Programs - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Steps Towards a Theory and Calculus of Aliasing. - Bertrand Meyer 001 (Int. J. Softw. Informatics, 2011)

On the number and nature of faults found by random testing. - Ilinca Ciupa; Alexander Pretschner; Manuel Oriol; Andreas Leitner; Bertrand Meyer 001 (Softw. Test. Verification Reliab., 2011)

Who is Accountable for Asynchronous Exceptions? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (APSEC, 2012)

Demonic Testing of Concurrent Programs. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2012)

Can asynchronous exceptions expire? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (WEH@ICSE, 2012)

Processors and Their Collection. - Bertrand Meyer 001; Alexander Kogtenkov; Anton Akhi (MSEPT, 2012)

Freefinement. - Stephan van Staden; Cristiano Calcagno; Bertrand Meyer 001 (POPL, 2012)

C to O-O Translation: Beyond the Easy Stuff. - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (WCRE, 2012)

Understanding CS1 students; defective software. - Mark Guzdial; Bertrand Meyer 001 (Commun. ACM, 2012)

Knowledgeable beginners. - Bertrand Meyer 001 (Commun. ACM, 2012)

Incremental research vs. paradigm-shift mania. - Bertrand Meyer 001 (Commun. ACM, 2012)

Automatic Translation of C Source Code to Eiffel - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (CoRR, 2012)

A survey of loop invariants - Carlo A. Furia; Bertrand Meyer 001; Sergey Velder (CoRR, 2012)

How Specifications Change and Why You Should Care - H.-Christian Estler; Marco Piccioni; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2012)

Performance analysis of SCOOP programs. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (J. Syst. Softw., 2012)

Prototyping a Concurrency Model. - Benjamin Morandi; Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (ACSD, 2013)

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (Australian Software Engineering Conference, 2013)

Really Automatic Scalable Object-Oriented Reengineering. - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (ECOOP, 2013)

Benchmarking Usability and Performance of Multicore Languages. - Sebastian Nanz; Scott West; Kaue Soares da Silveira; Bertrand Meyer 001 (ESEM, 2013)

An Empirical Study of API Usability. - Marco Piccioni; Carlo A. Furia; Bertrand Meyer 001 (ESEM, 2013)

Collaborative Debugging. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (ICGSE, 2013)

What good are strong specifications? - Nadia Polikarpova; Carlo A. Furia; Yu Pei 001; Yi Wei 001; Bertrand Meyer 001 (ICSE, 2013)

How to Cancel a Task. - Alexey Kolesnichenko; Sebastian Nanz; Bertrand Meyer 001 (MUSEPAT, 2013)

Handling Parallelism in a Concurrency Model. - Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (MUSEPAT, 2013)

The search for the laws of automatic random testing. - Carlo A. Furia; Bertrand Meyer 001; Manuel Oriol; Andrey Tikhomirov; Yi Wei 001 (SAC, 2013)

Empirical answers to fundamental software engineering problems (panel). - Bertrand Meyer 001; Harald C. Gall; Mark Harman; Giancarlo Succi (ESEC/SIGSOFT FSE, 2013)

Applying Search in an Automatic Contract-Based Testing Tool. - Alexey Kolesnichenko; Christopher M. Poskitt; Bertrand Meyer 001 (SSBSE, 2013)

Certificates and Separation Logic. - Martin Nordio; Cristiano Calcagno; Bertrand Meyer 001 (TGC, 2013)

Program Checking with Less Hassle. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (VSTTE, 2013)

When reviews do more than sting. - Bertrand Meyer 001 (Commun. ACM, 2013)

Alias and Change Calculi, Applied to Frame Inference. - Alexander Kogtenkov; Bertrand Meyer 001; Sergey Velder (CoRR, 2013)

Design of an empirical study for comparing the usability of concurrent programming languages. - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (Inf. Softw. Technol., 2013)

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (IEEE Trans. Software Eng., 2013)

Agile! - The Good, the Hype and the Ugly - Bertrand Meyer 001 (Springer, 2014)

Negative Variables and the Essence of Object-Oriented Programming. - Bertrand Meyer 001; Alexander Kogtenkov (Specification, Algebra, and Software, 2014)

Safe and Efficient Data Sharing for Message-Passing Concurrency. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (COORDINATION, 2014)

An experiment on teaching coordination in a globally distributed software engineering class. - Martín Nordio; H.-Christian Estler; Bertrand Meyer 001; Nazareno Aguirre; Rafael Prikladnicki; Elisabetta Di Nitto; Anthony Savidis (CSEE&T, 2014)

An Automatic Technique for Static Deadlock Prevention. - Bertrand Meyer 001 (Ershov Memorial Conference, 2014)

Automatic Program Repair by Fixing Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (FASE, 2014)

Contracts in Practice. - H.-Christian Estler; Carlo A. Furia; Martin Nordio; Marco Piccioni; Bertrand Meyer 001 (FM, 2014)

Flexible Invariants through Semantic Collaboration. - Nadia Polikarpova; Julian Tschannen; Carlo A. Furia; Bertrand Meyer 001 (FM, 2014)

Awareness and Merge Conflicts in Distributed Software Development. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (ICGSE, 2014)

Simple concurrency for robotics with the Roboscoop framework. - Andrey Rusakov; Jiwon Shin; Bertrand Meyer 001 (IROS, 2014)

SPOC-supported introduction to programming. - Marco Piccioni; H.-Christian Estler; Bertrand Meyer 001 (ITiCSE, 2014)

Theory of Programs. - Bertrand Meyer 001 (LASER Summer School, 2014)

Keynote talk IIP: Proving (and revisiting) what programs do not. - Bertrand Meyer 001 (MEMOCODE, 2014)

Trust or verify? - Bertrand Meyer 001 (QoSA, 2014)

Coffman deadlocks in SCOOP. - Georgiana Caltais; Bertrand Meyer 001 (CoRR, 2014)

Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. - Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2014)

Teaching Software Engineering through Robotics. - Jiwon Shin; Andrey Rusakov; Bertrand Meyer 001 (CoRR, 2014)

Loop invariants: Analysis, classification, and examples. - Carlo A. Furia; Bertrand Meyer 001; Sergey Velder (ACM Comput. Surv., 2014)

Agile vs. structured distributed software development: A case study. - Hans-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001; Johannes Schneider 002 (Empir. Softw. Eng., 2014)

Automated Fixing of Programs with Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Yi Wei 001; Bertrand Meyer 001; Andreas Zeller (IEEE Trans. Software Eng., 2014)

Rational Ethics. - Bertrand Meyer 001 (ECSS, 2015)

Unifying Requirements and Code: An Example. - Alexandr Naumchev; Bertrand Meyer 001; Víctor Rivera (Ershov Memorial Conference, 2015)

Contract-based general-purpose GPU programming. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz; Bertrand Meyer 001 (GPCE, 2015)

Automated Program Repair in an Integrated Development Environment. - Yu Pei 001; Carlo A. Furia; Martín Nordio; Bertrand Meyer 001 (ICSE (2), 2015)

Concurrent Software Engineering and Robotics Education. - Jiwon Shin; Andrey Rusakov; Bertrand Meyer 001 (ICSE (2), 2015)

SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. - Jiwon Shin; David Itten; Andrey Rusakov; Bertrand Meyer 001 (Intelligent Environments, 2015)

Concurrency patterns for easier robotic coordination. - Andrey Rusakov; Jiwon Shin; Bertrand Meyer 001 (IROS, 2015)

An Incremental Hint System For Automated Programming Assignments. - Paolo Antonucci; H.-Christian Estler; Durica Nikolic; Marco Piccioni; Bertrand Meyer 001 (ITiCSE, 2015)

Automatic speed control for SmartWalker. - Jiwon Shin; Ivo Steinmann; Bertrand Meyer 001 (PETRA, 2015)

Efficient and reasonable object-oriented concurrency. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ESEC/SIGSOFT FSE, 2015)

Alias calculus, change calculus and frame inference. - Alexander Kogtenkov; Bertrand Meyer 001; Sergey Velder (Sci. Comput. Program., 2015)

Framing the Frame Problem. - Bertrand Meyer 001 (Dependable Software Systems Engineering, 2015)

An Interference-Free Programming Model for Network Objects. - Mischael Schill; Christopher M. Poskitt; Bertrand Meyer 001 (COORDINATION, 2016)

Complete Contracts through Specification Drivers. - Alexandr Naumchev; Bertrand Meyer 001 (TASE, 2016)

Class Invariants: Concepts, Problems, Solutions. - Bertrand Meyer 001 (CoRR, 2016)

SmartWalker: An intelligent robotic walker. - Jiwon Shin; Andrey Rusakov; Bertrand Meyer 001 (J. Ambient Intell. Smart Environ., 2016)

Seamless Integration of Multirequirements in Complex Systems. - Florian Galinier; Jean-Michel Bruel; Sophie Ebersold; Bertrand Meyer 001 (RE Workshops, 2017)

Ending null pointer crashes. - Bertrand Meyer 001 (Commun. ACM, 2017)

Seamless requirements. - Alexandr Naumchev; Bertrand Meyer 001 (Comput. Lang. Syst. Struct., 2017)

A contract-based method to specify stimulus-response requirements. - Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001; Jean-Michel Bruel; Florian Galinier; Sophie Ebersold (CoRR, 2017)

Expressing and verifying embedded software requirements. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (CoRR, 2017)

Fourteen Years of Software Engineering at ETH Zurich. - Bertrand Meyer 001 (CoRR, 2017)

On the verification of SCOOP programs. - Georgiana Caltais; Bertrand Meyer 001 (Sci. Comput. Program., 2017)

The costs and pleasures of a computer science teacher. - Mark Guzdial; Bertrand Meyer 001 (Commun. ACM, 2018)

AutoFrame: Automatic Frame Inference for Object-Oriented Languages. - Victor Rivera; Bertrand Meyer 001 (CoRR, 2018)

Making Sense of Agile Methods. - Bertrand Meyer 001 (IEEE Softw., 2018)

Towards an Anatomy of Software Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (TOOLS, 2019)

The Anatomy of Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (CoRR, 2019)

Formality in Software Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001 (CoRR, 2019)

AutoReq: Expressing and verifying requirements for control systems. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (J. Comput. Lang., 2019)

Software Engineering, Across Two Centuries. - Bertrand Meyer 001 (Unimagined Futures, 2020)

In search of the shortest possible schedule. - Bertrand Meyer 001 (Commun. ACM, 2020)

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. - Victor Rivera; Bertrand Meyer 001 (SN Comput. Sci., 2020)

The concept of class invariant in object-oriented programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov; Alexandr Naumchev (CoRR, 2021)

Handbook of Requirements and Business Analysis - Bertrand Meyer 001 (Springer, 2022)

Improving Counterexample Quality from Failed Program Verification. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (ISSRE Workshops, 2022)

Right and wrong: ten choices in language design. - Bertrand Meyer 001 (CoRR, 2022)

The Role of Formalism in System Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Manuel Mazzara; Alexandr Naumchev; Bertrand Meyer 001 (ACM Comput. Surv., 2022)

Special Issue on New Paradigms of Software Production and Deployment. - Alfredo Capozucca; Jean-Michel Bruel; Manuel Mazzara; Bertrand Meyer 001 (SN Comput. Sci., 2022)

Lessons from Formally Verified Deployed Software Systems. - Li Huang 001; Sophie Ebersold; Alexander Kogtenkov; Alexandr Naumchev; Bertrand Meyer 001; Yinling Liu; ALiyu Alege (CoRR, 2023)

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. - Maria Naumcheva; Sophie Ebersold; Alexandr Naumchev; Jean-Michel Bruel; Florian Galinier; Bertrand Meyer 001 (J. Object Technol., 2023)

A failed proof can yield a useful test. - Li Huang 001; Bertrand Meyer 001 (Softw. Test. Verification Reliab., 2023)

Right and Wrong: Ten Choices in Language Design. - Bertrand Meyer 001 (The French School of Programming, 2024)

BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community. - Bertrand Meyer 001; Viktoryia Kananchuk; Li Huang 001 (APR, 2024)

Execution-Free Program Repair. - Li Huang 001; Bertrand Meyer 001; Ilgiz Mustafin; Manuel Oriol (SIGSOFT FSE Companion, 2024)

Is MCDC Really Better? Lessons from Combining Tests and Proofs. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (TAP, 2024)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. - Bertrand Meyer 001; Viktoryia Kananchuk; Li Huang 001 (CoRR, 2024)

Loop unrolling (for test coverage): formal definition. - Bertrand Meyer 001 (CoRR, 2024)

The Concept of Class Invariant in Object-oriented Programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov (Formal Aspects Comput., 2024)

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (SN Comput. Sci., 2025)

Loop unrolling: formal definition and application to testing. - Li Huang 001; Bertrand Meyer 001; Reto Weber (CoRR, 2025)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair. - Viktoryia Kananchuk; Ilgiz Mustafin; Bertrand Meyer 001 (CoRR, 2025)

Programming Really Is Simple Mathematics. - Bertrand Meyer 001; Reto Weber (CoRR, 2025)

Software Engineering as a Domain to Formalize. - Bertrand Meyer 001 (CoRR, 2025)

UOOR: Seamless and Traceable Requirements. - Maria Naumcheva; Sophie Ebersold; Jean-Michel Bruel; Bertrand Meyer 001 (CoRR, 2025)

The nature of loops in programming. - Bertrand Meyer 001 (CoRR, 2025)

Obituary for Niklaus Wirth. - Bertrand Meyer 001 (Formal Aspects Comput., 2025)

Do AI models help produce verified bug fixes? - Li Huang 001; Ilgiz Mustafin; Marco Piccioni; Alessandro Schena; Reto Weber; Bertrand Meyer 001 (CoRR, 2025)