default search action
Bertrand Meyer 0001
Person information
- affiliation: Constructor University, Schaffhausen, Switzerland
- affiliation: Eiffel Software, Santa Barbara, CA, USA
- affiliation (2001-2016): ETH Zurich, Department of Computer Science, Switzerland
- affiliation (former): Polytechnic University of Milan, Italy
- affiliation (2015-2016): University of Toulouse, France
- affiliation (former): Monash University, Melbourne, VIC, Australia
- affiliation (1974-1983): Électricité de France (EDF) SA, Clamart, France
- affiliation (PhD): University of Nancy, France
- 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
Books and Theses
- 2022
- [b18]Bertrand Meyer:
Handbook of Requirements and Business Analysis. Springer 2022, ISBN 978-3-031-06738-9, pp. 1-250 - 2014
- [b17]Bertrand Meyer
:
Agile! - The Good, the Hype and the Ugly. Springer 2014, ISBN 978-3-319-05154-3, pp. 1-154 - 2009
- [b16]Bertrand Meyer:
Touch of Class: Learning to Program Well with Objects and Contracts. Springer 2009, ISBN 978-3-540-92144-8 - 2001
- [b15]Bertrand Meyer:
The .NET Training Course. Prentice-Hall 2001, ISBN 0-13-033115-5 - 1997
- [b14]Bertrand Meyer:
Object-Oriented Software Construction, 2nd Edition. Prentice-Hall 1997, ISBN 0-13-629155-4 - 1995
- [b13]Bertrand Meyer:
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses. Carl Hanser Verlag 1995, ISBN 3-446-18697-2 - [b12]Bertrand Meyer:
Object Success. Prentice-Hall 1995 - 1994
- [b11]Bertrand Meyer:
An Object-Oriented Environment: Principles and Applications. Prentice-Hall 1994, ISBN 0-13-245507-2 - [b10]Bertrand Meyer:
Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall 1994, ISBN 0-13-245499-8 - 1993
- [b9]Bertrand Meyer, Jean-Marc Nerson:
Object-Oriented Applications. Prentice-Hall 1993 - 1991
- [b8]Bertrand Meyer:
Eiffel: The Language. Prentice-Hall 1991, ISBN 0-13-247925-7 - 1990
- [b7]Bertrand Meyer:
Objektorientierte Softwareentwicklung. Carl Hanser Verlag / Prentice Hall 1990, ISBN 3-446-15773-5 - [b6]Bertrand Meyer:
Introduction to the Theory of Programming Languages. Prentice-Hall 1990, ISBN 0-13-498510-9 - 1989
- [b5]Bertrand Meyer:
Eiffel - the environment Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-VII, 1-118 - [b4]Bertrand Meyer:
Eiffel - the libraries Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-XI, 1-373 - 1988
- [b3]Bertrand Meyer:
Object-Oriented Software Construction, 1st edition. Prentice-Hall 1988, ISBN 0-13-629031-0 - 1984
- [b2]Bertrand Meyer, Claude Baudoin:
Méthodes de Programmation, 3rd edition. Eyrolles 1984 - 1978
- [b1]Bertrand Meyer, Claude Baudoin:
Méthodes de Programmation, 1st edition. Eyrolles 1978
Journal Articles
- 2025
- [j96]Bertrand Meyer
Obituary for Niklaus Wirth. Formal Aspects Comput. 37(2): 9:1-9:11 (2025) - [j95]Li Huang
Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites. SN Comput. Sci. 6(1): 41 (2025) - 2024
- [j94]Bertrand Meyer
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36(1): 5:1-5:38 (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) - 2022
- [j91]Jean-Michel Bruel, Sophie Ebersold
The Role of Formalism in System Requirements. ACM Comput. Surv. 54(5): 93:1-93:36 (2022) - [j90]Alfredo Capozucca
Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3(2): 132 (2022) - 2020
- [j89]Bertrand Meyer:
In search of the shortest possible schedule. Commun. ACM 63(1): 8-9 (2020) - [j88]Victor Rivera
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. SN Comput. Sci. 1(1): 12:1-12:15 (2020) - 2019
- [j87]Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara
AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51: 131-142 (2019) - 2018
- [j86]Mark Guzdial
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) - 2017
- [j84]Bertrand Meyer:
Ending null pointer crashes. Commun. ACM 60(5): 8-9 (2017) - [j83]Alexandr Naumchev
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) - 2016
- [j81]Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
SmartWalker: An intelligent robotic walker. J. Ambient Intell. Smart Environ. 8(4): 383-398 (2016) - 2015
- [j80]Alexander Kogtenkov
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97: 163-172 (2015) - 2014
- [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
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40(5): 427-449 (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) - 2012
- [j73]Mark Guzdial
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) - 2011
- [j69]Bertrand Meyer, Greg Linden:
In support of open reviews; better teaching through large-scale data mining. Commun. ACM 54(11): 12-13 (2011) - [j68]Bertrand Meyer:
Steps Towards a Theory and Calculus of Aliasing. Int. J. Softw. Informatics 5(1-2): 77-115 (2011) - [j67]Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer
On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. 21(1): 3-28 (2011) - 2010
- [j66]Bertrand Meyer:
Towards a theory and calculus of aliasing. J. Object Technol. 9(2): 37-74 (2010) - 2009
- [j65]Bertrand Meyer
Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009) - [j64]Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf:
Programs That Test Themselves. Computer 42(9): 46-55 (2009) - [j63]Piotr Nienaltowski, Bertrand Meyer
Contracts for concurrency. Formal Aspects Comput. 21(4): 305-318 (2009) - [j62]Gerald D. Everett, Bertrand Meyer:
Point/Counterpoint. IEEE Softw. 26(4): 62-65 (2009) - 2008
- [j61]Bertrand Meyer
Design and code reviews in the age of the internet. Commun. ACM 51(9): 66-71 (2008) - [j60]Bertrand Meyer
Seven Principles of Software Testing. Computer 41(8): 99-101 (2008) - [j59]Till G. Bay, Michela Pedroni, Bertrand Meyer:
By students, for students: a production-quality multimedia library and its application to game-based teaching. J. Object Technol. 7(1): 147-159 (2008) - 2007
- [j58]Jean Bézivin, Bertrand Meyer:
Editorial Special Issue. J. Object Technol. 6(9): 11 (2007) - 2006
- [j57]Bertrand Meyer
Europe's computer scientists take fate into their own hands. Commun. ACM 49(3): 21-24 (2006) - [j56]Bertrand Meyer
The Unspoken Revolution in Software Engineering. Computer 39(1): 121-124 (2006) - [j55]Bertrand Meyer
Testable, Reusable Units of Cognition. Computer 39(4): 20-24 (2006) - [j54]Bertrand Meyer
Componentization: The Visitor Example. Computer 39(7): 23-30 (2006) - [j53]Karine Arnout, Bertrand Meyer:
Pattern Componentization: The Factory Example. Innov. Syst. Softw. Eng. 2(2): 65-79 (2006) - 2003
- [j52]Karine Arnout, Bertrand Meyer:
Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. Obj. Logiciel Base données Réseaux 9(1-2): 17-30 (2003) - [j51]Karine Arnout, Bertrand Meyer
Uncovering Hidden Contracts: The .NET Example. Computer 36(11): 48-55 (2003) - [j50]Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer
Concurrent object-oriented programming on .NET. IEE Proc. Softw. 150(5): 308-314 (2003) - [j49]Bertrand Meyer:
Proving Pointer Program Properties. Part 1: Context and overview. J. Object Technol. 2(2): 87-108 (2003) - [j48]Bertrand Meyer:
On an open issue of programming language phonetics. J. Object Technol. 2(2): 109-110 (2003) - [j47]Bertrand Meyer:
Proving Pointer Program Properties. Part 2: The Overall Object Structure. J. Object Technol. 2(3): 77-100 (2003) - 2002
- [j46]Bertrand Meyer:
Assessing a C# Text. Computer 35(4): 86-88 (2002) - [j45]Bertrand Meyer:
The Start of an Eiffel Standard. J. Object Technol. 1(2): 95-99 (2002) - [j44]Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen:
In Memory of Kristen Nygaard and Ole-Johan Dahl. J. Object Technol. 1(4): 7-15 (2002) - 2001
- [j43]Bertrand Meyer
Software Engineering in the Academy. Computer 34(5): 28-35 (2001) - [j42]Bertrand Meyer
.NET Is Coming. Computer 34(8): 92-97 (2001) - 1999
- [j41]Bertrand Meyer
On To Components. Computer 32(1): 139-140 (1999) - [j40]Bertrand Meyer
Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction. Computer 32(7): 35-37 (1999) - [j39]Bertrand Meyer:
Every Little Bit Counts: Toward More Reliable Software. Computer 32(11): 131-133 (1999) - [j38]Bertrand Meyer
A Really Good Idea. Computer 32(12): 144-147 (1999) - [j37]Bertrand Meyer:
Design by Contract, Components and Debugging. J. Object Oriented Program. 11(8): 75-79 (1999) - 1998
- [j36]Bertrand Meyer
Providing Trusted Components to the Industry. Computer 31(5): 104-105 (1998) - [j35]Bertrand Meyer
Tell Less, Say More: The Power of Implicitness. Computer 31(7): 97-98 (1998) - [j34]Bertrand Meyer
The Role of Object-Oriented Metrics. Computer 31(11): 123-125 (1998) - [j33]Bertrand Meyer
The Future of Object Technology. Computer 31: 140-141 (1998) - [j32]Bertrand Meyer:
The Component Combinator for Enterprise Applications. J. Object Oriented Program. 10(8): 5-9 (1998) - [j31]Christopher Creel, Bertrand Meyer:
Is Object Technology Ready for the Embedded World? J. Object Oriented Program. 11(1): 69-71, 76 (1998) - [j30]Bertrand Meyer:
Approaches to Portability. J. Object Oriented Program. 11(4): 68-70 (1998) - [j29]Bertrand Meyer:
The Power of Round-Trip Engineering. J. Object Oriented Program. 11(6): 93-95 (1998) - [j28]Bertrand Meyer:
Free EiffelBase: Eiffel Libraries Go Open Source. J. Object Oriented Program. 11(7): 8-10, 17 (1998) - [j27]Bertrand Meyer:
Prelude to a Theory of Void. J. Object Oriented Program. 11(7): 36-48 (1998) - 1997
- [j26]Jean-Marc Jézéquel, Bertrand Meyer
Design by Contract: The Lessons of Ariane. Computer 30(1): 129-130 (1997) - [j25]Bertrand Meyer
Practice To Perfect: The Quality First Model. Computer 30(5): 102-106 (1997) - [j24]Bertrand Meyer
The Next Software Breakthrough. Computer 30(7): 113-114 (1997) - [j23]Christopher Creel, Bertrand Meyer
The Opportunity of a Millennium. Computer 30(11): 137-138 (1997) - [j22]Bertrand Meyer:
Ten Years After. J. Object Oriented Program. 10(4): 8-12 (1997) - 1996
- [j21]Bertrand Meyer:
The Conceptual Perspective. Computer 29(1): 86-88 (1996) - [j20]Bertrand Meyer
The Reusability Challenge. Computer 29(2): 76-78 (1996) - [j19]Bertrand Meyer
The many faces of inheritance: a taxonomy of taxonomy. Computer 29(5): 105-108 (1996) - [j18]Bertrand Meyer
Schema Evolution: Concepts, Terminology, and Solutions. Computer 29(10): 119-121 (1996) - [j17]Bertrand Meyer:
Why Your next Project Should use Eiffel. J. Object Oriented Program. 9(2): 59-63, 82 (1996) - 1995
- [j16]Ted G. Lewis, Dave Power, Bertrand Meyer
Where Is Software Headed? A Virtual Roundtable. Computer 28(8): 20-32 (1995) - 1993
- [j15]Bertrand Meyer
Systematic Concurrent Object-Oriented Programming. Commun. ACM 36(9): 56-80 (1993) - 1992
- [j14]Bertrand Meyer
Applying "Design by Contract". Computer 25(10): 40-51 (1992) - 1990
- [j13]Bertrand Meyer
Lessons from the Design of the Eiffel Libraries. Commun. ACM 33(9): 68-88 (1990) - 1989
- [j12]Bertrand Meyer:
From Structured Programming to Object-Oriented Design: The Road to Eiffel. Struct. Program. 10(1): 19-39 (1989) - 1988
- [j11]Bertrand Meyer
Eiffel: A language and environment for software engineering. J. Syst. Softw. 8(3): 199-246 (1988) - [j10]Bertrand Meyer
Cépage: Toward computer-aided design of software. J. Syst. Softw. 8(5): 419-429 (1988) - 1987
- [j9]Bertrand Meyer:
Eiffel: programming for reusability and extendibility. ACM SIGPLAN Notices 22(2): 85-94 (1987) - [j8]Bertrand Meyer
Reusability: The Case for Object-Oriented Design. IEEE Softw. 4(2): 50-64 (1987) - 1985
- [j7]Bertrand Meyer:
Incremental String Matching. Inf. Process. Lett. 21(5): 219-227 (1985) - [j6]Bertrand Meyer
Showing Programs on a Screen. Sci. Comput. Program. 5(2): 111-142 (1985) - [j5]Bertrand Meyer:
On Formalism in Specifications. IEEE Softw. 2(1): 6-26 (1985) - 1984
- [j4]Bertrand Meyer:
A note on iterative Hanoi. ACM SIGPLAN Notices 19(12): 38-40 (1984) - 1983
- [j3]Bertrand Meyer:
Some mistakes are worse than others: an open letter to professor David Gries. ACM SIGSOFT Softw. Eng. Notes 8(5): 43-48 (1983) - 1982
- [j2]Bertrand Meyer
Principles of Package Design. Commun. ACM 25(7): 419-428 (1982) - 1978
- [j1]Bertrand Meyer:
A Note on Computing Multiple Sums. Softw. Pract. Exp. 8(1): 3-9 (1978)
Conference and Workshop Papers
- 2024
- [c164]Bertrand Meyer
BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community. APR 2024: 9-13 - [c163]Li Huang
Execution-Free Program Repair. SIGSOFT FSE Companion 2024: 517-521 - [c162]Li Huang
Is MCDC Really Better? Lessons from Combining Tests and Proofs. TAP 2024: 25-44 - 2023
- [c161]Li Huang, Bertrand Meyer
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70 - 2022
- [c160]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273 - 2019
- [c159]Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
Towards an Anatomy of Software Requirements. TOOLS 2019: 10-40 - 2017
- [c158]Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer:
Seamless Integration of Multirequirements in Complex Systems. RE Workshops 2017: 21-25 - 2016
- [c157]Mischael Schill, Christopher M. Poskitt
An Interference-Free Programming Model for Network Objects. COORDINATION 2016: 227-244 - [c156]Alexandr Naumchev
Complete Contracts through Specification Drivers. TASE 2016: 160-167 - 2015
- [c155]Bertrand Meyer:
Rational Ethics. ECSS 2015: 49-64 - [c154]Alexandr Naumchev
Unifying Requirements and Code: An Example. Ershov Memorial Conference 2015: 233-244 - [c153]Alexey Kolesnichenko, Christopher M. Poskitt
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
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 - 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
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
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 - 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
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
Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE 2013: 14-18 - [c120]Alexey Kolesnichenko, Christopher M. Poskitt
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 - 2012
- [c117]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Who is Accountable for Asynchronous Exceptions? APSEC 2012: 462-471 - [c116]Scott West, Sebastian Nanz, Bertrand Meyer:
Demonic Testing of Concurrent Programs. ICFEM 2012: 478-493 - [c115]H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer
Agile vs. Structured Distributed Software Development: A Case Study. ICGSE 2012: 11-20 - [c114]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
Can asynchronous exceptions expire? WEH@ICSE 2012: 4-6 - [c113]Bertrand Meyer, Alexander Kogtenkov
Processors and Their Collection. MSEPT 2012: 1-15 - [c112]Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Freefinement. POPL 2012: 7-18 - [c111]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28 - 2011
- [c110]Lucas Serpa Silva, Yi Wei, Bertrand Meyer
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297 - [c109]Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
Empirical assessment of languages for teaching concurrency: Methodology and application. CSEE&T 2011: 477-481 - [c108]Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. ESEM 2011: 325-334 - [c107]Martin Nordio, H.-Christian Estler, Bertrand Meyer
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184 - [c106]Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto
Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE 2011: 36-40 - [c105]Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
Inferring better contracts. ICSE 2011: 191-200 - [c104]Yu Pei
Code-based automated program fixing. ASE 2011: 392-395 - [c103]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei
Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443 - [c102]Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School 2011: 133-155 - [c101]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398 - 2010
- [c100]Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation 2010: 277-300 - [c99]Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP 2010: 151-174 - [c98]Scott West, Sebastian Nanz, Bertrand Meyer:
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. ICFEM 2010: 597-612 - [c97]Martin Nordio, Roman Mitin, Bertrand Meyer
Advanced hands-on training for distributed and outsourced software engineering. ICSE (1) 2010: 555-558 - [c96]Yi Wei, Serge Gebhardt, Bertrand Meyer
Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312 - [c95]Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer
Deriving concurrent control software from behavioral specifications. IROS 2010: 1994-1999 - [c94]Michela Pedroni, Bertrand Meyer:
Object-Oriented Modeling of Object-Oriented Concepts. ISSEP 2010: 155-169 - [c93]Yi Wei, Yu Pei
Automated fixing of programs with contracts. ISSTA 2010: 61-72 - [c92]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
A Formal Reference for SCOOP. LASER Summer School 2010: 89-157 - [c91]Yi Wei, Bertrand Meyer, Manuel Oriol:
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212 - [c90]Bertrand Meyer:
Automatic Testing and Fixing for Eiffel - (Extended Abstract). TAIC PART 2010: 1-4 - [c89]Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen:
Reasoning about Function Objects. TOOLS (48) 2010: 79-96 - [c88]Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. VSTTE 2010: 127-141 - 2009
- [c87]Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer
On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425 - [c86]Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer:
A comparative study of programmer-written and automatically inferred contracts. ISSTA 2009: 93-104 - [c85]Valentin Dallmeier, Andreas Zeller
Generating Fixes from Object Behavior Anomalies. ASE 2009: 550-554 - [c84]Marco Piccioni, Manuel Oriol, Bertrand Meyer
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE 2009: 650-654 - [c83]Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto
The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129 - [c82]Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214 - 2008
- [c81]Bertrand Meyer
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. CSEE&T 2008: 3-16 - [c80]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
ARTOO: adaptive random testing for object-oriented software. ICSE 2008: 71-80 - [c79]Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81 - [c78]Ilinca Ciupa, Bertrand Meyer
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166 - [c77]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer:
Course management with TrucStudio. ITiCSE 2008: 260-264 - [c76]Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer:
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90 - [c75]Bertrand Meyer:
Design and Code Reviews in the Age of the Internet. SEAFOOD 2008: 126-133 - [c74]Marie-Hélène Nienaltowski
Compiler error messages: what can help novices? SIGCSE 2008: 168-172 - [c73]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer:
Automatic extraction of notions from course material. SIGCSE 2008: 251-255 - [c72]Martin Nordio, Peter Müller, Bertrand Meyer:
Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335 - 2007
- [c71]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE 2007: 27-36 - [c70]Bertrand Meyer:
Contract-Driven Development. FASE 2007: 11 - [c69]Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard:
Reconciling Manual and Automated Testing: The AutoTest Experience. HICSS 2007: 261 - [c68]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. ISSTA 2007: 84-94 - [c67]Michela Pedroni, Manuel Oriol, Bertrand Meyer:
A framework for describing and comparing courses and curricula. ITiCSE 2007: 131-135 - [c66]Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization. ASE 2007: 417-420 - [c65]Bertrand Meyer:
Proving What Programs Do Not. MEMOCODE 2007: 135 - [c64]Steven Fraser
Celebrating 40 years of language evolution: simula 67 to the present and beyond. OOPSLA Companion 2007: 1021-1023 - [c63]Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE 2007: 425-434 - [c62]Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu:
Automatic Testing of Object-Oriented Software. SOFSEM (1) 2007: 114-129 - [c61]Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller:
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. TAP 2007: 114-130 - 2006
- [c60]Bertrand Meyer:
Dependable Software. Research Results of the DICS Program 2006: 1-33 - [c59]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Object distance and its application to adaptive random testing of object-oriented programs. Random Testing 2006: 55-63 - [c58]Bertrand Meyer:
The Context of Object Computation (extended abstract). SEFM 2006: 13-17 - [c57]Michela Pedroni, Bertrand Meyer
The inverted curriculum in practice. SIGCSE 2006: 481-485 - 2005
- [c56]Bertrand Meyer:
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. ECOOP 2005: 1-32 - [c55]Bertrand Meyer:
Doing More with Contracts: Towards Automatic Tests and Proofs. RISE 2005: 1 - [c54]Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer:
Can Aspects Implement Contracts?. RISE 2005: 145-157 - [c53]Bertrand Meyer:
Eiffel as a Framework for Verification. VSTTE 2005: 301-307 - 2004
- [c52]Bertrand Meyer:
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Essays in Memory of Ole-Johan Dahl 2004: 236-271 - [c51]Bernd Schoeller, Tobias Widmer, Bertrand Meyer:
Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70 - 2003
- [c50]Bertrand Meyer:
Blueprint for Real Progress in Software Engineering. APSEC 2003: 3 - [c49]Bertrand Meyer:
A Framework for Proving Contract-Equipped Classes. Abstract State Machines 2003: 108-125 - [c48]Bertrand Meyer:
The Outside-In Method of Teaching Introductory Programming. Ershov Memorial Conference 2003: 66-78 - [c47]Bertrand Meyer
The Grand Challenge of Trusted Components. ICSE 2003: 660-667 - [c46]Bertrand Meyer:
Towards Practical Proofs of Class Correctness. ZB 2003: 359-387 - 2002
- [c45]Karine Arnout, Bertrand Meyer:
Finding Implicit Contracts in .NET Components. FMCO 2002: 285-318 - 2001
- [c44]Bertrand Meyer:
At the Edge of Design by Contract. TOOLS (38) 2001: 3 - [c43]Bertrand Meyer:
Open Problems in Object-Oriented Programming. TOOLS (39) 2001: 8 - [c42]Tanit Talbi, Bertrand Meyer
A Metric Framework for Object-Oriented Development. TOOLS (39) 2001: 164-172 - [c41]Bertrand Meyer:
Concurrent Object-Oriented Programming. TOOLS (38) 2001: 203 - [c40]Bertrand Meyer:
Building Trusted Components. TOOLS (39) 2001: 347 - 2000
- [c39]Bertrand Meyer:
The Future of Component-Based Development. TOOLS (33) 2000: 5 - [c38]Bertrand Meyer:
Programming with Agents: Combining O-O and Functional Techniques. TOOLS (33) 2000: 460 - [c37]Bertrand Meyer:
Agent-Based Programming In Eiffel. TOOLS (34) 2000: 477-478 - [c36]Bertrand Meyer:
Design By Contract and the Component Revolution. TOOLS (34) 2000: 515-518 - [c35]Roger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour:
Component-Based Development? Refining the Blueprint. TOOLS (34) 2000: 563- - 1999
- [c34]Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering. TOOLS (29) 1999: 2 - [c33]Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering. TOOLS (30) 1999: 3 - [c32]Bertrand Meyer:
Seamless Development with the Eiffel Method. TOOLS (29) 1999: 397 - [c31]Bertrand Meyer:
Managing By Contract. TOOLS (30) 1999: 412 - 1998
- [c30]Bertrand Meyer:
Can We Make Componentware Succeed? TOOLS (26) 1998: 3 - [c29]Bertrand Meyer:
Design by Contract: The Eiffel Method. TOOLS (26) 1998: 446 - [c28]Bertrand Meyer:
Panel: Issues in Moving to a Component-Based Industry. TOOLS (26) 1998: 493 - 1997
- [c27]James Coplien, Joseph Gil, David Harel, Bertrand Meyer:
Keynotes. TOOLS (23) 1997: 2 - [c26]Bertrand Meyer:
Design by Contract: Making Object-Oriented Programs that Work. TOOLS (25) 1997: 360 - 1996
- [c25]Bertrand Meyer:
Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract). ISOTAS 1996: 56 - [c24]Bertrand Meyer:
Static Typing. ISOTAS 1996: 57-75 - 1995
- [c23]Bertrand Meyer:
Static typing. OOPSLA Addendum 1995: 20-29 - 1994
- [c22]Bertrand Meyer:
On the Role of Methodology: Advice to the Advisors. COODBSE 1994: 1-5 - [c21]Bertrand Meyer:
Keynote: Uses and Misuses of Inheritance. TOOLS (13) 1994: 9 - [c20]Bertrand Meyer:
Library Design. TOOLS (13) 1994: 519 - 1993
- [c19]Bertrand Meyer:
Object-Oriented Management. TOOLS (10) 1993: 289 - [c18]Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 325 - [c17]Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 523-576 - [c16]Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (11) 1993: 553 - [c15]Bertrand Meyer:
Towards an Object-Oriented Curriculum. TOOLS (11) 1993: 585-594 - 1992
- [c14]Bertrand Meyer:
Eiffel: Version 3 and beyond. Eiffel 1992: 5 - [c13]David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian:
OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91 - [c12]Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer:
Ensuring Semantic Integrity of Reusable Objects (Panel). OOPSLA 1992: 298-302 - [c11]Bertrand Meyer:
Object-Oriented Management. TOOLS (8) 1992: 254 - 1991
- [c10]Bertrand Meyer:
Do we know how to find the classes? TOOLS (5) 1991: 349-350 - [c9]Bertrand Meyer:
Re-engineering software by isolating abstractions. TOOLS (5) 1991: 369-370 - 1989
- [c8]Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy:
Objects in their Eyes (Panel). OOPSLA 1989: 478 - 1987
- [c7]Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo:
EIFFEL: Object-Oriented Design for Software Engineering. ESEC 1987: 221-229 - 1986
- [c6]Bertrand Meyer:
Genericity versus Inheritance. OOPSLA 1986: 391-405 - 1985
- [c5]Bertrand Meyer:
The Software Knowledge Base. ICSE 1985: 158-165 - 1982
- [c4]Bertrand Meyer:
Towards a Two-Dimensional Programming Environment. ECICS 1982: 167-179 - 1980
- [c3]Bertrand Meyer:
A Basis for the Constructive Approach to Programming. IFIP Congress 1980: 293-298 - [c2]John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix:
Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82 - [c1]Bertrand Meyer:
A Three-Level Approach to the Description of Data Structures, and Notational Framework. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 164-166
Parts in Books or Collections
- 2024
- [p6]Bertrand Meyer:
Right and Wrong: Ten Choices in Language Design. The French School of Programming 2024: 379-439 - 2020
- [p5]Bertrand Meyer
Software Engineering, Across Two Centuries. Unimagined Futures 2020: 94-104 - 2015
- [p4]Bertrand Meyer:
Framing the Frame Problem. Dependable Software Systems Engineering 2015: 193-203 - 2010
- [p3]Bertrand Meyer, Alexander Kogtenkov
Avoid a Void: The Eradication of Null Dereferencing. Reflections on the Work of C. A. R. Hoare 2010: 189-211 - 1993
- [p2]Bertrand Meyer:
On Formalism in Specifications. Program Verification 1993: 155-189 - 1980
- [p1]Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer:
Specification Language. On the Construction of Programs 1980: 343-410
Editorship
- 2024
- [e34]Bertrand Meyer:
The French School of Programming. Springer 2024, ISBN 978-3-031-34517-3 [contents] - 2023
- [e33]Alfredo Capozucca
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] - 2020
- [e32]Jean-Michel Bruel
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
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] - 2019
- [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] - 2017
- [e28]Manuel Mazzara
Present and Ulterior Software Engineering. Springer 2017, ISBN 978-3-319-67424-7 [contents] - 2015
- [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] - 2013
- [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] - 2012
- [e25]Bertrand Meyer, Martin Nordio:
Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7007, Springer 2012, ISBN 978-3-642-25230-3 [contents] - [e24]Bertrand Meyer, Martin Nordio:
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7682, Springer 2012, ISBN 978-3-642-35745-9 [contents] - 2011
- [e23]Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter
Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers. Lecture Notes in Computer Science 4980, Springer 2011, ISBN 978-3-642-22385-3 [contents] - 2010
- [e22]Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings. Lecture Notes in Business Information Processing 54, Springer 2010, ISBN 978-3-642-13783-9 [contents] - 2009
- [e21]Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio:
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers. Lecture Notes in Business Information Processing 16, Springer 2009, ISBN 978-3-642-01855-8 [contents] - [e20]Olly Gotel, Mathai Joseph, Bertrand Meyer:
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Business Information Processing 35, Springer 2009, ISBN 978-3-642-02986-8 [contents] - [e19]Manuel Oriol, Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, ISBN 978-3-642-02570-9 [contents] - 2008
- [e18]Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter:
Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5082, Springer 2008, ISBN 978-3-540-85278-0 [contents] - [e17]Richard F. Paige, Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, ISBN 978-3-540-69823-4 [contents] - [e16]Bertrand Meyer, Jim Woodcock
Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science 4171, Springer 2008, ISBN 978-3-540-69147-1 [contents] - 2007
- [e15]Bertrand Meyer, Mathai Joseph:
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Lecture Notes in Computer Science 4716, Springer 2007, ISBN 978-3-540-75541-8 [contents] - [e14]Yuri Gurevich, Bertrand Meyer:
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454, Springer 2007, ISBN 978-3-540-73769-8 [contents] - 2006
- [e13]Jürg Kohlas, Bertrand Meyer, André Schiper:
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Lecture Notes in Computer Science 4028, Springer 2006, ISBN 3-540-36821-3 [contents] - 2000
- [e12]Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer:
TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA. IEEE Computer Society 2000, ISBN 0-7695-0774-3 [contents] - 1999
- [e11]Donald Firesmith, Richard Riehle, Gilda Pour, Bertrand Meyer:
TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA. IEEE Computer Society 1999, ISBN 0-7695-0278-4 [contents] - 1998
- [e10]Christine Mingins, Bertrand Meyer:
TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia. IEEE Computer Society 1998, ISBN 0-7695-0053-6 [contents] - 1994
- [e9]Boris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot:
TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1994, ISBN 0-13-350539-1 [contents] - 1993
- [e8]Boris Magnusson, Bertrand Meyer, Jean-François Perrot:
TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1993, ISBN 0-13-097114-6 [contents] - [e7]Raimund K. Ege, Madhu S. Singh, Bertrand Meyer:
TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1993, ISBN 0-13-103979-2 [contents] - [e6]Christine Mingins, William Haebich, John Potter, Bertrand Meyer:
Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992. Prentice Hall 1993, ISBN 0-13-124512-0 [contents] - 1992
- [e5]Georg Heeg, Boris Magnusson, Bertrand Meyer:
TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe. Prentice Hall 1992, ISBN 0-13-917436-2 [contents] - [e4]Raimund K. Ege, Madhu S. Singh, Bertrand Meyer:
TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1992, ISBN 0-13-042441-2 [contents] - 1991
- [e3]Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer:
TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1991, ISBN 0-13-923178-1 [contents] - [e2]John Potter, Mario Tokoro, Bertrand Meyer:
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. Prentice Hall 1991, ISBN 0-13-926940-1 [contents] - 1988
- [e1]Tan Chin Nam, Larry E. Druffel, Bertrand Meyer:
Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988. IEEE Computer Society 1988, ISBN 0-8186-0849-8 [contents]
Informal and Other Publications
- 2025
- [i56]Li Huang, Bertrand Meyer, Reto Weber:
Loop unrolling: formal definition and application to testing. CoRR abs/2502.15535 (2025) - [i55]Viktoryia Kananchuk, Ilgiz Mustafin, Bertrand Meyer:
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair. CoRR abs/2502.15599 (2025) - [i54]Bertrand Meyer, Reto Weber:
Programming Really Is Simple Mathematics. CoRR abs/2502.17149 (2025) - [i53]Bertrand Meyer:
Software Engineering as a Domain to Formalize. CoRR abs/2502.17170 (2025) - [i52]Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer:
UOOR: Seamless and Traceable Requirements. CoRR abs/2502.18617 (2025) - [i51]Bertrand Meyer:
The nature of loops in programming. CoRR abs/2504.08126 (2025) - 2024
- [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
- [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
- [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
The concept of class invariant in object-oriented programming. CoRR abs/2109.06557 (2021) - 2019
- [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
- [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
- [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
- [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
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
- [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
- [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
Contract-Based General-Purpose GPU Programming. CoRR abs/1410.6685 (2014) - 2013
- [i20]Alexander Kogtenkov
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
- [i17]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012) - [i16]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What Good Are Strong Specifications? CoRR abs/1208.3337 (2012) - [i15]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012) - [i14]Carlo A. Furia, Bertrand Meyer, Sergey Velder:
A survey of loop invariants. CoRR abs/1211.4470 (2012) - [i13]H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
How Specifications Change and Why You Should Care. CoRR abs/1211.4775 (2012) - 2011
- [i12]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
A comprehensive operational semantics of the SCOOP programming model. CoRR abs/1101.1038 (2011) - [i11]Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011) - [i10]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. CoRR abs/1103.0711 (2011) - [i9]Martin Nordio, Bertrand Meyer, H.-Christian Estler:
Collaborative Software Development on the Web. CoRR abs/1105.0768 (2011) - [i8]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. CoRR abs/1106.4700 (2011) - [i7]Bertrand Meyer:
Towards a Calculus of Object Programs. CoRR abs/1107.1999 (2011) - [i6]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011) - [i5]Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Record-Replay Debugging for Concurrent SCOOP Programs. CoRR abs/1111.1170 (2011) - 2010
- [i4]Bertrand Meyer:
The theory and calculus of aliasing. CoRR abs/1001.1610 (2010) - [i3]Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. CoRR abs/1003.5777 (2010) - [i2]Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages. CoRR abs/1011.6047 (2010) - 2009
- [i1]Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants using Postconditions. CoRR abs/0909.0884 (2009)
Coauthor Index
H.-Christian Estler
aka: Hans-Christian Estler
aka: Hans-Christian Estler
Carlo A. Furia
aka: Carlo Alberto Furia
aka: Carlo Alberto Furia
Martín Nordio
aka: Martin Nordio
aka: Martin Nordio
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-27 18:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: