BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Canada
1 × Croatia
1 × Germany
1 × India
1 × Lithuania
1 × New Zealand
1 × Norway
1 × Singapore
1 × Slovenia
1 × South Africa
1 × Sweden
1 × Uruguay
2 × Portugal
2 × Spain
20 × USA
3 × Italy
4 × Switzerland
4 × United Kingdom
9 × France
Collaborated with:
M.Nordio C.A.Furia M.Oriol M.Piccioni I.Ciupa Y.Wei A.Leitner Y.Pei S.Nanz C.Calcagno H.Estler N.Polikarpova M.Pedroni P.Müller J.Tschannen A.Zeller S.West S.v.Staden M.Trudel A.Pretschner J.Shin A.Rusakov R.Mitin V.Dallmeier L.(.Liu B.Schoeller T.Talbi E.Stapf J.Nerson M.Matsuo A.Kolesnichenko C.M.Poskitt F.Torshizi N.Kazmin S.Gebhardt T.Schneider R.Smith C.A.Szyperski G.Pour J.Coplien J.Y.Gil D.Harel P.Antonucci D.Nikolic A.Tikhomirov S.Mori E.Albonico L.Angerer A.Fiva N.Aguirre R.Prikladnicki E.D.Nitto A.Savidis L.S.Silva S.Buchholz H.Roth A.Horton M.J.Steindorfer
Talks about:
object (25) orient (21) program (19) contract (15) softwar (13) test (11) develop (9) concurr (8) engin (8) base (7)

♂ Person: Bertrand Meyer

DBLP DBLP: Meyer:Bertrand

Facilitated 18 volumes:

ESEC/FSE 2013Ed
ESEC/FSE 2013GCh
TOOLS Europe 2009Ed
TOOLS Europe 2008Ed
TAP 2007Ed
TOOLS Europe 2007Ed
TOOLS USA 2000Ed
TOOLS USA 1999Ed
TOOLS Pacific 1998Ed
TOOLS Europe 1994Ed
TOOLS Europe 1993Ed
TOOLS Pacific 1993Ed
TOOLS USA 1993Ed
TOOLS Europe 1992Ed
TOOLS Pacific 1992Ed
TOOLS USA 1992Ed
TOOLS USA 1991Ed
ICSE 1988Ed

Contributed to:

ESEC/FSE 20152015
GPCE 20152015
ICSE 20152015
ITiCSE 20152015
PPoPP 20152015
CSEE&T 20142014
FASE 20142014
FM 20142014
ITiCSE 20142014
QoSA 20142014
ECOOP 20132013
ICSE 20132013
SAC 20132013
POPL 20122012
WCRE 20122012
ASE 20112011
CSEE&T 20112011
ICSE 20112011
SEFM 20112011
ECOOP 20102010
ICSE 20102010
ICST 20102010
ISSTA 20102010
TOOLS Europe 20102010
ASE 20092009
ICST 20092009
ISSTA 20092009
TOOLS Europe 20092009
CSEE&T 20082008
ICSE 20082008
ICST 20082008
ITiCSE 20082008
TOOLS Europe 20082008
ASE 20072007
ESEC/FSE 20072007
FASE 20072007
ISSTA 20072007
ITiCSE 20072007
TAP 20072007
SEFM 20062006
ECOOP 20052005
ICSE 20032003
TOOLS Europe 20012001
TOOLS USA 20012001
TOOLS Europe 20002000
TOOLS USA 20002000
TOOLS Europe 19991999
TOOLS USA 19991999
TOOLS USA 19981998
TOOLS Pacific 19971997
TOOLS USA 19971997
TOOLS Europe 19941994
TOOLS Europe 19931993
TOOLS Pacific 19931993
TOOLS USA 19931993
TOOLS USA 19921992
TOOLS USA 19911991
ESEC 19871987
OOPSLA 19861986
ICSE 19851985

Wrote 77 papers:

ESEC-FSE-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
GPCE-2015-KolesnichenkoPN #contract #gpu #programming
Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
ICSE-v2-2015-PeiFNM #automation #development #ide #program repair
Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
ICSE-v2-2015-ShinRM #concurrent #education #re-engineering
Concurrent Software Engineering and Robotics Education (JS, AR, BM), pp. 370–379.
ITiCSE-2015-AntonucciENPM #automation #incremental #programming
An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
PPoPP-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
CSEET-2014-NordioEMAPNS #coordination #distributed #education #empirical #re-engineering
An experiment on teaching coordination in a globally distributed software engineering class (MN, HCE, BM, NA, RP, EDN, AS), pp. 109–118.
FASE-2014-PeiFNM #automation #contract #program repair
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
FM-2014-EstlerFNPM #contract
Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
FM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics
Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
ITiCSE-2014-PiccioniEM #programming
SPOC-supported introduction to programming (MP, HCE, BM), pp. 3–8.
QoSA-2014-Meyer #question #trust #verification
Trust or verify? (BM), pp. 1–2.
ECOOP-2013-TrudelFNM #automation #object-oriented #re-engineering #scalability
Really Automatic Scalable Object-Oriented Reengineering (MT, CAF, MN, BM), pp. 477–501.
ICSE-2013-PolikarpovaF0WM #question #specification #what
What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
SAC-2013-FuriaMOTW #automation #random testing #testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
POPL-2012-StadenCM
Freefinement (SvS, CC, BM), pp. 7–18.
WCRE-2012-TrudelFNMO #c
C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
ASE-2011-PeiWFNM #automation
Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
ASE-2011-WeiRFPHSNM #contract #fault #testing
Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
CSEET-2011-NanzTPM #assessment #concurrent #education #empirical
Empirical assessment of languages for teaching concurrency: Methodology and application (SN, FT, MP, BM), pp. 477–481.
ICSE-2011-WeiFKM #contract
Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
SEFM-2011-TschannenFNM #object-oriented #source code #verification
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
ECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification
Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.
ICSE-2010-NordioMM #distributed #outsourcing #re-engineering
Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.
ICST-2010-WeiGMO
Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.
ISSTA-2010-WeiPFSBMZ #automation #contract #source code
Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
TOOLS-EUROPE-2010-NordioCMMT #reasoning
Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.
ASE-2009-DallmeierZM #behaviour #generative
Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
ASE-2009-PiccioniOMS #evolution #ide #object-oriented
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (MP, MO, BM, TS), pp. 650–654.
ICST-2009-LeitnerPMMO #effectiveness #on the
On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.
ISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract
A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
TOOLS-EUROPE-2009-NordioCMM #eiffel #logic
A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.
CSEET-2008-MeyerP #case study #development #distributed #experience #re-engineering #risk management
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development (BM, MP), pp. 3–16.
ICSE-2008-CiupaLOM #adaptation #named #object-oriented #random testing #testing
ARTOO: adaptive random testing for object-oriented software (IC, AL, MO, BM), pp. 71–80.
ICST-2008-CiupaPLOM #object-oriented #on the #predict #random testing #testing
On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.
ITiCSE-2008-PedroniOMAA
Course management with TrucStudio (MP, MO, BM, EA, LA), pp. 260–264.
TOOLS-EUROPE-2008-NordioMM #compilation #eiffel #source code
Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
ASE-2007-LeitnerOZCM #performance #testing
Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.
ESEC-FSE-2007-LeitnerCOMF #contract #development #testing
Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.
FASE-2007-Meyer #development
Contract-Driven Development (BM), p. 11.
ISSTA-2007-CiupaLOM #assessment #object-oriented #random testing #testing
Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.
ITiCSE-2007-PedroniOM #education #framework
A framework for describing and comparing courses and curricula (MP, MO, BM), pp. 131–135.
TAP-2007-LiuMS #automation #contract #generative #quality #query #testing #using
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (L(L, BM, BS), pp. 114–130.
SEFM-2006-Meyer
The Context of Object Computation (BM), pp. 13–17.
ECOOP-2005-Meyer #object-oriented #problem #programming
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming (BM), pp. 1–32.
ICSE-2003-Meyer #challenge #component
The Grand Challenge of Trusted Components (BM), pp. 660–667.
TOOLS-EUROPE-2001-Meyer01b #contract #design
At the Edge of Design by Contract (BM), p. 3.
TOOLS-EUROPE-2001-Meyer01c #concurrent #object-oriented #programming
Concurrent Object-Oriented Programming (BM), p. 203.
TOOLS-USA-2001-Meyer #object-oriented #problem #programming
Open Problems in Object-Oriented Programming (BM), p. 8.
TOOLS-USA-2001-Meyer01a #component
Building Trusted Components (BM), p. 347.
TOOLS-USA-2001-TalbiMS #development #framework #metric #object-oriented
A Metric Framework for Object-Oriented Development (TT, BM, ES), pp. 164–172.
TOOLS-EUROPE-2000-Meyer #component #development #future of
The Future of Component-Based Development (BM), p. 5.
TOOLS-EUROPE-2000-Meyer00a #functional #programming
Programming with Agents: Combining O-O and Functional Techniques (BM), p. 460.
TOOLS-USA-2000-Meyer00b #eiffel #programming
Agent-Based Programming In Eiffel (BM), pp. 477–478.
TOOLS-USA-2000-Meyer00c #component #contract #design
Design By Contract and the Component Revolution (BM), pp. 515–518.
TOOLS-USA-2000-SmithMSP #component #development
Component-Based Development? Refining the Blueprint (RS, BM, CAS, GP), p. 563–?.
TOOLS-EUROPE-1999-Meyer99b #power of
The Unity of Software and the Power of Roundtrip Engineering (BM), p. 2.
TOOLS-EUROPE-1999-Meyer99c #development #eiffel
Seamless Development with the Eiffel Method (BM), p. 397.
TOOLS-USA-1999-Meyer #power of
The Unity of Software and the Power of Roundtrip Engineering (BM), p. 3.
TOOLS-USA-1999-Meyer99a #contract
Managing By Contract (BM), p. 412.
TOOLS-USA-1998-Meyer #component #question
Can We Make Componentware Succeed? (BM), p. 3.
TOOLS-USA-1998-Meyer98a #contract #design #eiffel
Design by Contract: The Eiffel Method (BM), p. 446.
TOOLS-PACIFIC-1997-Meyer #contract #design #object-oriented #source code
Design by Contract: Making Object-Oriented Programs that Work (BM), p. 360.
TOOLS-USA-1997-CoplienGHM
Keynotes (JC, JYG, DH, BM), p. 2.
TOOLS-EUROPE-1994-Meyer #inheritance #named
Keynote: Uses and Misuses of Inheritance (BM), p. 9.
TOOLS-EUROPE-1994-Meyer94a #design #library
Library Design (BM), p. 519.
TOOLS-EUROPE-1993-Meyer93b #object-oriented
Object-Oriented Management (BM), p. 289.
TOOLS-PACIFIC-1993-Meyer93c #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), p. 325.
TOOLS-PACIFIC-1993-Meyer93d #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), pp. 523–576.
TOOLS-USA-1993-Meyer #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), p. 553.
TOOLS-USA-1993-Meyer93a #education #object-oriented #towards
Towards an Object-Oriented Curriculum (BM), pp. 585–594.
TOOLS-USA-1992-Meyer #object-oriented
Object-Oriented Management (BM), p. 254.
TOOLS-USA-1991-Meyer #how #question
Do we know how to find the classes? (BM), pp. 349–350.
TOOLS-USA-1991-Meyer91a #abstraction #re-engineering
Re-engineering software by isolating abstractions (BM), pp. 369–370.
ESEC-1987-MeyerNM #design #eiffel #named #object-oriented #re-engineering
EIFFEL: Object-Oriented Design for Software Engineering (BM, JMN, MM), pp. 221–229.
OOPSLA-1986-Meyer #inheritance
Genericity versus Inheritance (BM), pp. 391–405.
ICSE-1985-Meyer #knowledge base
The Software Knowledge Base (BM), pp. 158–165.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.