| 2026 | ENASE | A Path for Quality Software Engineering in the Age of AI. | Bertrand Meyer |
| 2024 | TAP | Is MCDC Really Better? Lessons from Combining Tests and Proofs. | Li Huang, Bertrand Meyer, Manuel Oriol |
| 2022 | ISSRE | Improving Counterexample Quality from Failed Program Verification. | Li Huang, Bertrand Meyer, Manuel Oriol |
| 2017 | RE | Seamless Integration of Multirequirements in Complex Systems. | Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer |
| 2016 | Coordination | An Interference-Free Programming Model for Network Objects. | Mischael Schill, Christopher M. Poskitt, Bertrand Meyer |
| 2016 | TASE | Complete Contracts through Specification Drivers. | Alexandr Naumchev, Bertrand Meyer |
| 2015 | GPCE | Contract-based general-purpose GPU programming. | Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer |
| 2015 | IROS | Concurrency patterns for easier robotic coordination. | Andrey Rusakov, Jiwon Shin, Bertrand Meyer |
| 2015 | ICSE | Automated Program Repair in an Integrated Development Environment. | Yu Pei, Carlo A. Furia, Martn Nordio, Bertrand Meyer |
| 2015 | ICSE | Concurrent Software Engineering and Robotics Education. | Jiwon Shin, Andrey Rusakov, Bertrand Meyer |
| 2015 | ITiCSE | An Incremental Hint System For Automated Programming Assignments. | Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer |
| 2015 | PPoPP | Efficient and reasonable object-oriented concurrency. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2014 | Coordination | Safe and Efficient Data Sharing for Message-Passing Concurrency. | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2014 | FASE | Automatic Program Repair by Fixing Contracts. | Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2014 | FM | Contracts in Practice. | H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer |
| 2014 | FM | Flexible Invariants through Semantic Collaboration. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer |
| 2014 | ICGSE | Awareness and Merge Conflicts in Distributed Software Development. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2014 | IROS | Simple concurrency for robotics with the Roboscoop framework. | Andrey Rusakov, Jiwon Shin, Bertrand Meyer |
| 2014 | ITiCSE | SPOC-supported introduction to programming. | Marco Piccioni, H.-Christian Estler, Bertrand Meyer |
| 2014 | MEMOCODE | Keynote talk IIP: Proving (and revisiting) what programs do not. | Bertrand Meyer |
| 2013 | ECOOP | Really Automatic Scalable Object-Oriented Reengineering. | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | ESEM | Benchmarking Usability and Performance of Multicore Languages. | Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer |
| 2013 | ESEM | An Empirical Study of API Usability. | Marco Piccioni, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICGSE | Collaborative Debugging. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICSE | What good are strong specifications? | Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer |
| 2013 | SAC | The search for the laws of automatic random testing. | Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei |
| 2013 | SSBSE | Applying Search in an Automatic Contract-Based Testing Tool. | Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer |
| 2012 | APSEC | Who is Accountable for Asynchronous Exceptions? | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2012 | ICFEM | Demonic Testing of Concurrent Programs. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2012 | ICGSE | Agile vs. Structured Distributed Software Development: A Case Study. | H.-Christian Estler, Martn Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider |
| 2012 | ICSE | Can asynchronous exceptions expire? | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2012 | POPL | Freefinement. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2011 | APSEC | Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. | Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol |
| 2011 | ESEM | Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. | Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer |
| 2011 | ICGSE | How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. | Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto |
| 2011 | ICSE | Teaching software engineering using globally distributed projects: the DOSE course. | Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni |
| 2011 | ICSE | Inferring better contracts. | Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer |
| 2011 | ISIT | Some constructions of maximal witness codes. | Nikolaos Makriyannis, Bertrand Meyer |
| 2011 | SEFM | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2010 | ECOOP | Verifying Executable Object-Oriented Specifications with Separation Logic. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | ICFEM | A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | IROS | Deriving concurrent control software from behavioral specifications. | Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | ICSE | Advanced hands-on training for distributed and outsourced software engineering. | Martin Nordio, Roman Mitin, Bertrand Meyer |
| 2010 | ICST | Satisfying Test Preconditions through Guided Object Selection. | Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol |
| 2010 | ISSTA | Automated fixing of programs with contracts. | Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller |
| 2009 | ICST | On the Effectiveness of Test Extraction without Overhead. | Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol |
| 2009 | ISSTA | A comparative study of programmer-written and automatically inferred contracts. | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer |
| 2008 | ICSE | ARTOO: adaptive random testing for object-oriented software. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | ICST | On the Predictability of Random Tests for Object-Oriented Software. | Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | ISSRE | Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. | Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner |
| 2008 | ITiCSE | Course management with TrucStudio. | Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer |
| 2008 | SIGCSE | Compiler error messages: what can help novices? | Marie-Hlne Nienaltowski, Michela Pedroni, Bertrand Meyer |
| 2008 | SIGCSE | Automatic extraction of notions from course material. | Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer |
| 2007 | ECOOP | IDE-integrated Support for Schema Evolution in Object-Oriented Applications. | Marco Piccioni, Manuel Oriol, Bertrand Meyer |
| 2007 | FASE | Contract-Driven Development. | Bertrand Meyer |
| 2007 | ISSTA | Experimental assessment of random testing for object-oriented software. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2007 | ITiCSE | A framework for describing and comparing courses and curricula. | Michela Pedroni, Manuel Oriol, Bertrand Meyer |
| 2007 | MEMOCODE | Proving What Programs Do Not. | Bertrand Meyer |
| 2007 | OOPSLA | Celebrating 40 years of language evolution: simula 67 to the present and beyond. | Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr. |
| 2007 | SOFSEM | Automatic Testing of Object-Oriented Software. | Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu |
| 2007 | TAP | Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. | Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller |
| 2006 | ISSTA | Object distance and its application to adaptive random testing of object-oriented programs. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2006 | SIGCSE | The inverted curriculum in practice. | Michela Pedroni, Bertrand Meyer |
| 2006 | SEFM | The Context of Object Computation (extended abstract). | Bertrand Meyer |
| 2005 | ECOOP | Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. | Bertrand Meyer |
| 2003 | APSEC | Blueprint for Real Progress in Software Engineering. | Bertrand Meyer |
| 2003 | ICSE | The Grand Challenge of Trusted Components. | Bertrand Meyer |
| 1992 | OOPSLA | OOP in Languages Providing Strong, Static Typing (Panel). | David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian |
| 1992 | OOPSLA | Ensuring Semantic Integrity of Reusable Objects (Panel). | Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer |
| 1989 | OOPSLA | Objects in their Eyes (Panel). | Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy |
| 1986 | OOPSLA | Genericity versus Inheritance. | Bertrand Meyer |
| 1985 | ICSE | The Software Knowledge Base. | Bertrand Meyer |
| 1980 | SIGMOD | A Three-Level Approach to the Description of Data Structures, and Notational Framework. | Bertrand Meyer |
| 1980 | SIGMOD | Relationships Between and Among Models (discussion). | John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix |