All Stories

  1. Lessons from Formally Verified Deployed Software Systems

    Article • ACM Computing Surveys, January 2026, ACM (Association for Computing Machinery)

    Li Huang, Alexander Kogtenkov, Bertrand Meyer

  2. Obituary for Niklaus Wirth

    Article • Formal Aspects of Computing, March 2025, ACM (Association for Computing Machinery)

    Bertrand Meyer

  3. Execution-Free Program Repair

    Article • July 2024, ACM (Association for Computing Machinery)

    Li Huang, Bertrand Meyer

  4. BUGFIX: towards a common language and framework for the Automatic Program Repair community

    Article • April 2024, ACM (Association for Computing Machinery)

    Li Huang, Bertrand Meyer

  5. The concept of class invariant in object-oriented programming

    Article • Formal Aspects of Computing, January 2024, ACM (Association for Computing Machinery)

    Alexander Kogtenkov, Bertrand Meyer

  6. The Role of Formalism in System Requirements

    Article • ACM Computing Surveys, June 2022, ACM (Association for Computing Machinery)

    Manuel Mazzara, Bertrand Meyer

  7. SmartWalker: An intelligent robotic walker

    Article • Journal of Ambient Intelligence and Smart Environments, July 2016, IOS Press

    Bertrand Meyer

  8. Contract-based general-purpose GPU programming

    Article • ACM SIGPLAN Notices, May 2016, ACM (Association for Computing Machinery)

    Bertrand Meyer

  9. Contract-based general-purpose GPU programming

    Article • October 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  10. Efficient and reasonable object-oriented concurrency

    Article • August 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  11. Automatic speed control for SmartWalker

    Article • July 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  12. An Incremental Hint System For Automated Programming Assignments

    Article • June 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  13. Efficient and reasonable object-oriented concurrency

    Article • January 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  14. Inferring better contracts

    Article • May 2011, ACM (Association for Computing Machinery)

    Bertrand Meyer