default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBertrand Meyer 0001
Person information
- affiliation: Constructor University, Switzerland
- affiliation: ETH Zurich, Department of Computer Science, Switzerland
- affiliation (former): Polytechnic University of Milan, Italy
- award (2006): ACM Software System Award
Other persons with the same name
- Bertrand Meyer 0002 — Télécom Paris Tech
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j94]Bertrand Meyer
, Alisa Arkadova, Alexander Kogtenkov:
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36(1): 5:1-5:38 (2024)- [c164]Bertrand Meyer, Viktoryia Kananchuk, Li Huang:
BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community. APR 2024: 9-13 - [c163]Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-Free Program Repair. SIGSOFT FSE Companion 2024: 517-521 - [c162]Li Huang, Bertrand Meyer, Manuel Oriol:
Is MCDC Really Better? Lessons from Combining Tests and Proofs. TAP 2024: 25-44 - [p5]Bertrand Meyer:
Right and Wrong: Ten Choices in Language Design. The French School of Programming 2024: 379-439 - [e34]Bertrand Meyer:
The French School of Programming. Springer 2024, ISBN 978-3-031-34517-3 [contents] - [i50]Bertrand Meyer, Viktoryia Kananchuk, Li Huang:
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. CoRR abs/2402.14471 (2024) - [i49]Bertrand Meyer:
Loop unrolling (for test coverage): formal definition. CoRR abs/2403.08923 (2024) - [i48]Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-free Program Repair. CoRR abs/2405.01309 (2024) - 2023
- [j93]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): 1-19 (2023) - [j92]Li Huang, Bertrand Meyer:
A failed proof can yield a useful test. Softw. Test. Verification Reliab. 33(7) (2023) - [c161]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70 - [e33]Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer:
Frontiers in Software Engineering Education - Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers. Lecture Notes in Computer Science 14387, Springer 2023, ISBN 978-3-031-48638-8 [contents] - [i47]Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege:
Lessons from Formally Verified Deployed Software Systems. CoRR abs/2301.02206 (2023) - [i46]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR abs/2309.04232 (2023) - 2022
- [b18]Bertrand Meyer:
Handbook of Requirements and Business Analysis. Springer 2022, ISBN 978-3-031-06738-9, pp. 1-250 - [j91]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): 93:1-93:36 (2022) - [j90]Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3(2): 132 (2022) - [c160]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273 - [i45]Li Huang, Bertrand Meyer:
A Failed Proof Can Yield a Useful Test. CoRR abs/2208.09873 (2022) - [i44]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. CoRR abs/2208.10492 (2022) - [i43]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 abs/2209.02189 (2022) - [i42]Bertrand Meyer:
Right and wrong: ten choices in language design. CoRR abs/2211.16597 (2022) - 2021
- [i41]Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev:
The concept of class invariant in object-oriented programming. CoRR abs/2109.06557 (2021) - 2020
- [j89]Bertrand Meyer:
In search of the shortest possible schedule. Commun. ACM 63(1): 8-9 (2020) - [j88]Victor Rivera, Bertrand Meyer:
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. SN Comput. Sci. 1(1): 12:1-12:15 (2020) - [p4]Bertrand Meyer:
Software Engineering, Across Two Centuries. Unimagined Futures 2020: 94-104 - [e32]Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12055, Springer 2020, ISBN 978-3-030-39305-2 [contents] - [e31]Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh:
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Lecture Notes in Computer Science 12271, Springer 2020, ISBN 978-3-030-57662-2 [contents]
2010 – 2019
- 2019
- [j87]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: 131-142 (2019) - [c159]Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
Towards an Anatomy of Software Requirements. TOOLS 2019: 10-40 - [e30]Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11350, Springer 2019, ISBN 978-3-030-06018-3 [contents] - [e29]Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7 [contents] - [i40]Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
The Anatomy of Requirements. CoRR abs/1906.06614 (2019) - [i39]Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer:
Formality in Software Requirements. CoRR abs/1911.02564 (2019) - 2018
- [j86]Mark Guzdial, Bertrand Meyer:
The costs and pleasures of a computer science teacher. Commun. ACM 61(3): 12-13 (2018) - [j85]Bertrand Meyer:
Making Sense of Agile Methods. IEEE Softw. 35(2): 91-94 (2018) - [i38]Victor Rivera, Bertrand Meyer:
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. CoRR abs/1808.08748 (2018) - [i37]Victor Rivera, Bertrand Meyer:
AutoFrame: Automatic Frame Inference for Object-Oriented Languages. CoRR abs/1808.08751 (2018) - 2017
- [j84]Bertrand Meyer:
Ending null pointer crashes. Commun. ACM 60(5): 8-9 (2017) - [j83]Alexandr Naumchev, Bertrand Meyer:
Seamless requirements. Comput. Lang. Syst. Struct. 49: 119-132 (2017) - [j82]Georgiana Caltais, Bertrand Meyer:
On the verification of SCOOP programs. Sci. Comput. Program. 133: 194-215 (2017) - [c158]Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer:
Seamless Integration of Multirequirements in Complex Systems. RE Workshops 2017: 21-25 - [e28]Manuel Mazzara, Bertrand Meyer:
Present and Ulterior Software Engineering. Springer 2017, ISBN 978-3-319-67424-7 [contents] - [i36]Alexandr Naumchev, Bertrand Meyer:
Seamless Requirements. CoRR abs/1704.04189 (2017) - [i35]Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold:
A contract-based method to specify stimulus-response requirements. CoRR abs/1704.04905 (2017) - [i34]Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
Expressing and verifying embedded software requirements. CoRR abs/1710.02801 (2017) - [i33]Bertrand Meyer:
Fourteen Years of Software Engineering at ETH Zurich. CoRR abs/1712.05078 (2017) - 2016
- [j81]Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
SmartWalker: An intelligent robotic walker. J. Ambient Intell. Smart Environ. 8(4): 383-398 (2016) - [c157]Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. COORDINATION 2016: 227-244 - [c156]Alexandr Naumchev, Bertrand Meyer:
Complete Contracts through Specification Drivers. TASE 2016: 160-167 - [i32]Alexandr Naumchev, Bertrand Meyer:
Complete contracts through specification drivers. CoRR abs/1602.04007 (2016) - [i31]Alexandr Naumchev, Bertrand Meyer, Victor Rivera:
Unifying Requirements and Code: an Example. CoRR abs/1602.05395 (2016) - [i30]Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. CoRR abs/1604.04591 (2016) - [i29]Bertrand Meyer:
Class Invariants: Concepts, Problems, Solutions. CoRR abs/1608.07637 (2016) - 2015
- [j80]Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97: 163-172 (2015) - [c155]Bertrand Meyer:
Rational Ethics. ECSS 2015: 49-64 - [c154]Alexandr Naumchev, Bertrand Meyer, Víctor Rivera:
Unifying Requirements and Code: An Example. Ershov Memorial Conference 2015: 233-244 - [c153]Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-based general-purpose GPU programming. GPCE 2015: 75-84 - [c152]Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Concurrent Software Engineering and Robotics Education. ICSE (2) 2015: 370-379 - [c151]Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer:
Automated Program Repair in an Integrated Development Environment. ICSE (2) 2015: 681-684 - [c150]Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer:
SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. Intelligent Environments 2015: 9-16 - [c149]Andrey Rusakov, Jiwon Shin, Bertrand Meyer:
Concurrency patterns for easier robotic coordination. IROS 2015: 3500-3505 - [c148]Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer:
An Incremental Hint System For Automated Programming Assignments. ITiCSE 2015: 320-325 - [c147]Jiwon Shin, Ivo Steinmann, Bertrand Meyer:
Automatic speed control for SmartWalker. PETRA 2015: 9:1-9:4 - [c146]Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and reasonable object-oriented concurrency. PPoPP 2015: 273-274 - [c145]Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and reasonable object-oriented concurrency. ESEC/SIGSOFT FSE 2015: 734-744 - [p3]Bertrand Meyer:
Framing the Frame Problem. Dependable Software Systems Engineering 2015: 193-203 - [e27]Bertrand Meyer, Martin Nordio:
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 8987, Springer 2015, ISBN 978-3-319-28405-7 [contents] - [i28]Georgiana Caltais, Bertrand Meyer:
On the Verification of SCOOP Programs. CoRR abs/1504.07041 (2015) - [i27]Bertrand Meyer:
Theory of Programs. CoRR abs/1507.00723 (2015) - 2014
- [b17]Bertrand Meyer:
Agile! - The Good, the Hype and the Ugly. Springer 2014, ISBN 978-3-319-05154-3, pp. 1-154 - [j79]Carlo A. Furia, Bertrand Meyer, Sergey Velder:
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46(3): 34:1-34:51 (2014) - [j78]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): 1197-1224 (2014) - [j77]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): 427-449 (2014) - [c144]Bertrand Meyer, Alexander Kogtenkov:
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software 2014: 171-187 - [c143]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Safe and Efficient Data Sharing for Message-Passing Concurrency. COORDINATION 2014: 99-114 - [c142]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: 109-118 - [c141]Bertrand Meyer:
An Automatic Technique for Static Deadlock Prevention. Ershov Memorial Conference 2014: 45-58 - [c140]Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. FASE 2014: 246-260 - [c139]H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer:
Contracts in Practice. FM 2014: 230-246 - [c138]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. FM 2014: 514-530 - [c137]H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Awareness and Merge Conflicts in Distributed Software Development. ICGSE 2014: 26-35 - [c136]Andrey Rusakov, Jiwon Shin, Bertrand Meyer:
Simple concurrency for robotics with the Roboscoop framework. IROS 2014: 1563-1569 - [c135]Marco Piccioni, H.-Christian Estler, Bertrand Meyer:
SPOC-supported introduction to programming. ITiCSE 2014: 3-8 - [c134]Bertrand Meyer:
Theory of Programs. LASER Summer School 2014: 159-189 - [c133]Bertrand Meyer:
Keynote talk IIP: Proving (and revisiting) what programs do not. MEMOCODE 2014: 144 - [c132]Bertrand Meyer:
Trust or verify? QoSA 2014: 1-2 - [i26]Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. CoRR abs/1403.1117 (2014) - [i25]Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and Reasonable Object-Oriented Concurrency. CoRR abs/1405.7153 (2014) - [i24]Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Teaching Software Engineering through Robotics. CoRR abs/1406.4458 (2014) - [i23]Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. CoRR abs/1407.1245 (2014) - [i22]Georgiana Caltais, Bertrand Meyer:
Coffman deadlocks in SCOOP. CoRR abs/1409.7514 (2014) - [i21]Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-Based General-Purpose GPU Programming. CoRR abs/1410.6685 (2014) - 2013
- [j76]Bertrand Meyer:
When reviews do more than sting. Commun. ACM 56(2): 8-9 (2013) - [j75]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): 1304-1315 (2013) - [j74]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): 184-196 (2013) - [c131]Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Prototyping a Concurrency Model. ACSD 2013: 170-179 - [c130]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: 201-210 - [c129]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Really Automatic Scalable Object-Oriented Reengineering. ECOOP 2013: 477-501 - [c128]Marco Piccioni, Carlo A. Furia, Bertrand Meyer:
An Empirical Study of API Usability. ESEM 2013: 5-14 - [c127]Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer:
Benchmarking Usability and Performance of Multicore Languages. ESEM 2013: 183-192 - [c126]H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Collaborative Debugging. ICGSE 2013: 110-119 - [c125]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What good are strong specifications? ICSE 2013: 262-271 - [c124]Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Handling Parallelism in a Concurrency Model. MUSEPAT 2013: 37-48 - [c123]Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer:
How to Cancel a Task. MUSEPAT 2013: 61-72 - [c122]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The search for the laws of automatic random testing. SAC 2013: 1211-1216 - [c121]Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi:
Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE 2013: 14-18 - [c120]Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer:
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE 2013: 318-323 - [c119]Martin Nordio, Cristiano Calcagno, Bertrand Meyer:
Certificates and Separation Logic. TGC 2013: 273-293 - [c118]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Program Checking with Less Hassle. VSTTE 2013: 149-169 - [e26]Bertrand Meyer, Luciano Baresi, Mira Mezini:
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. ACM 2013, ISBN 978-1-4503-2237-9 [contents] - [i20]Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias and Change Calculi, Applied to Frame Inference. CoRR abs/1307.3189 (2013) - [i19]Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Handling Parallelism in a Concurrency Model. CoRR abs/1308.0938 (2013) - [i18]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants Through Semantic Collaboration. CoRR abs/1311.6329 (2013) - 2012
- [j73]Mark Guzdial, Bertrand Meyer:
Understanding CS1 students; defective software. Commun. ACM 55(1): 14-15 (2012) - [j72]Bertrand Meyer:
Knowledgeable beginners. Commun. ACM 55(3): 10-11 (2012) - [j71]Bertrand Meyer:
Incremental research vs. paradigm-shift mania. Commun. ACM 55(9): 8-9 (2012) - [j70]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Performance analysis of SCOOP programs. J. Syst. Softw. 85(11): 2519-2530 (2012) - [c117]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Who is Accountable for Asynchronous Exceptions? APSEC 2012: 462-471 - [c116]