Bertrand Meyer

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 43

Top Venues

Publications

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-free Program Repair. CoRR (2024)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36 (1) (2024)
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-Free Program Repair. SIGSOFT FSE Companion (2024)
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. CoRR (2024)
Bertrand Meyer
Loop unrolling (for test coverage): formal definition. CoRR (2024)
Li Huang, Bertrand Meyer
A failed proof can yield a useful test. Softw. Test. Verification Reliab. 33 (7) (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR (2023)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
Lessons from Formally Verified Deployed Software Systems. CoRR (2023)
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. J. Object Technol. 22 (1) (2023)
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. CoRR (2022)
Li Huang, Bertrand Meyer, Manuel Oriol
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops (2022)
Li Huang, Bertrand Meyer, Manuel Oriol
Improving Counterexample Quality from Failed Program Verification. CoRR (2022)
Li Huang, Bertrand Meyer
A Failed Proof Can Yield a Useful Test. CoRR (2022)
Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3 (2) (2022)
Bertrand Meyer
Right and wrong: ten choices in language design. CoRR (2022)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
The concept of class invariant in object-oriented programming. CoRR (2021)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
The Role of Formalism in System Requirements. ACM Comput. Surv. 54 (5) (2021)
Bertrand Meyer
In search of the shortest possible schedule. Commun. ACM 63 (1) (2020)
Victor Rivera, Bertrand Meyer
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. SN Comput. Sci. 1 (1) (2020)
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
The Anatomy of Requirements. CoRR (2019)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
Formality in Software Requirements. CoRR (2019)
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51 (2019)
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
Towards an Anatomy of Software Requirements. TOOLS (2019)
Bertrand Meyer
Making Sense of Agile Methods. IEEE Softw. 35 (2) (2018)
Victor Rivera, Bertrand Meyer
AutoFrame: Automatic Frame Inference for Object-Oriented Languages. CoRR (2018)
Mark Guzdial, Bertrand Meyer
The costs and pleasures of a computer science teacher. Commun. ACM 61 (3) (2018)
Victor Rivera, Bertrand Meyer
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. CoRR (2018)
Alexandr Naumchev, Bertrand Meyer
Seamless requirements. Comput. Lang. Syst. Struct. 49 (2017)
Georgiana Caltais, Bertrand Meyer
On the verification of SCOOP programs. Sci. Comput. Program. 133 (2017)
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
Expressing and verifying embedded software requirements. CoRR (2017)
Alexandr Naumchev, Bertrand Meyer
Seamless Requirements. CoRR (2017)
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Seamless Integration of Multirequirements in Complex Systems. RE Workshops (2017)
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
A contract-based method to specify stimulus-response requirements. CoRR (2017)
Bertrand Meyer
Ending null pointer crashes. Commun. ACM 60 (5) (2017)
Bertrand Meyer
Fourteen Years of Software Engineering at ETH Zurich. CoRR (2017)
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
An Interference-Free Programming Model for Network Objects. COORDINATION (2016)
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
Unifying Requirements and Code: an Example. CoRR (2016)
Alexandr Naumchev, Bertrand Meyer
Complete Contracts through Specification Drivers. TASE (2016)
Alexandr Naumchev, Bertrand Meyer
Complete contracts through specification drivers. CoRR (2016)
Bertrand Meyer
Class Invariants: Concepts, Problems, Solutions. CoRR (2016)
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
SmartWalker: An intelligent robotic walker. J. Ambient Intell. Smart Environ. 8 (4) (2016)
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
An Interference-Free Programming Model for Network Objects. CoRR (2016)
Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer
An Incremental Hint System For Automated Programming Assignments. ITiCSE (2015)
Scott West, Sebastian Nanz, Bertrand Meyer
Efficient and reasonable object-oriented concurrency. ESEC/SIGSOFT FSE (2015)
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97 (2015)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-based general-purpose GPU programming. GPCE (2015)
Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer
SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. Intelligent Environments (2015)
Jiwon Shin, Ivo Steinmann, Bertrand Meyer
Automatic speed control for SmartWalker. PETRA (2015)
Andrey Rusakov, Jiwon Shin, Bertrand Meyer
Concurrency patterns for easier robotic coordination. IROS (2015)
Bertrand Meyer
Rational Ethics. ECSS (2015)
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
Concurrent Software Engineering and Robotics Education. ICSE (2) (2015)
Scott West, Sebastian Nanz, Bertrand Meyer
Efficient and reasonable object-oriented concurrency. PPOPP (2015)
Bertrand Meyer
Theory of Programs. CoRR (2015)
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
Automated Program Repair in an Integrated Development Environment. ICSE (2) (2015)
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera
Unifying Requirements and Code: An Example. Ershov Memorial Conference (2015)
Georgiana Caltais, Bertrand Meyer
On the Verification of SCOOP Programs. CoRR (2015)
Georgiana Caltais, Bertrand Meyer
Coffman deadlocks in SCOOP. CoRR (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. CoRR (2014)
Bertrand Meyer
Keynote talk IIP: Proving (and revisiting) what programs do not. MEMOCODE (2014)
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. 19 (5) (2014)
Andrey Rusakov, Jiwon Shin, Bertrand Meyer
Simple concurrency for robotics with the Roboscoop framework. IROS (2014)
Bertrand Meyer
Trust or verify? QoSA (2014)
Marco Piccioni, H.-Christian Estler, Bertrand Meyer
SPOC-supported introduction to programming. ITiCSE (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40 (5) (2014)
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46 (3) (2014)
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
Contracts in Practice. FM (2014)
Bertrand Meyer, Alexander Kogtenkov
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software (2014)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-Based General-Purpose GPU Programming. CoRR (2014)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Safe and Efficient Data Sharing for Message-Passing Concurrency. COORDINATION (2014)
Jiwon Shin, Andrey Rusakov, Bertrand Meyer
Teaching Software Engineering through Robotics. CoRR (2014)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Awareness and Merge Conflicts in Distributed Software Development. ICGSE (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Automatic Program Repair by Fixing Contracts. FASE (2014)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants through Semantic Collaboration. FM (2014)
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. CoRR (2014)
Bertrand Meyer
An Automatic Technique for Static Deadlock Prevention. Ershov Memorial Conference (2014)
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis
An experiment on teaching coordination in a globally distributed software engineering class. CSEE&T (2014)
Scott West, Sebastian Nanz, Bertrand Meyer
Efficient and Reasonable Object-Oriented Concurrency. CoRR (2014)
Bertrand Meyer
Theory of Programs. LASER Summer School (2014)
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
How to Cancel a Task. MUSEPAT (2013)
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Handling Parallelism in a Concurrency Model. MUSEPAT (2013)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Collaborative Debugging. ICGSE (2013)
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE (2013)
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
What good are strong specifications? ICSE (2013)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The search for the laws of automatic random testing. SAC (2013)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer
Certificates and Separation Logic. TGC (2013)
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias and Change Calculi, Applied to Frame Inference. CoRR (2013)
Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer
Benchmarking Usability and Performance of Multicore Languages. ESEM (2013)
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Handling Parallelism in a Concurrency Model. CoRR (2013)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants Through Semantic Collaboration. CoRR (2013)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Program Checking with Less Hassle. VSTTE (2013)
Marco Piccioni, Carlo A. Furia, Bertrand Meyer
An Empirical Study of API Usability. ESEM (2013)
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
Design of an empirical study for comparing the usability of concurrent programming languages. Inf. Softw. Technol. 55 (7) (2013)
Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer
Prototyping a Concurrency Model. ACSD (2013)
Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi
Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE (2013)
Marco Piccioni, Manuel Oriol, Bertrand Meyer
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. IEEE Trans. Software Eng. 39 (2) (2013)
Bertrand Meyer
When reviews do more than sting. Commun. ACM 56 (2) (2013)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Really Automatic Scalable Object-Oriented Reengineering. ECOOP (2013)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference (2013)
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Performance analysis of SCOOP programs. J. Syst. Softw. 85 (11) (2012)

Bertrand Meyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bertrand Meyer