BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bertrand Meyer
SearchCollections
Map detail
Bertrand Meyer13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBertrand MeyerABertrand MeyerResearcherTowards a Calculus of Object ProgramsWTowards a Calculus of O...preprint / 2011Steps towards a theory and calculus of aliasingWSteps towards a theory ...preprint / 2011Theory of ProgramsWTheory of Programspreprint / 2015Improving Counterexample Quality from Failed Program VerificationWImproving Counterexampl...preprint / 2022Alias and Change Calculi, Applied to Frame InferenceWAlias and Change Calcul...preprint / 2013The Search for the Laws of Automatic Random TestingWThe Search for the Laws...preprint / 2012Inferring Loop Invariants using PostconditionsWInferring Loop Invarian...preprint / 2010Loop invariants: analysis, classification, and examplesWLoop invariants: analys...preprint / 2014Coffman deadlocks in SCOOPWCoffman deadlocks in SCOOPpreprint / 2014On the Verification of SCOOP ProgramsWOn the Verification of ...preprint / 2015Complete contracts through specification driversWComplete contracts thro...preprint / 2016Unifying Requirements and Code: an ExampleWUnifying Requirements a...preprint / 2016
Person12 links

Bertrand Meyer

Researcher

PaperTowards a Calculus of Object ProgramsAuthorship / preprint / 2011PaperSteps towards a theory and calculus of aliasingAuthorship / preprint / 2011PaperTheory of ProgramsAuthorship / preprint / 2015PaperImproving Counterexample Quality from Failed Program VerificationAuthorship / preprint / 2022PaperAlias and Change Calculi, Applied to Frame InferenceAuthorship / preprint / 2013PaperThe Search for the Laws of Automatic Random TestingAuthorship / preprint / 2012PaperInferring Loop Invariants using PostconditionsAuthorship / preprint / 2010PaperLoop invariants: analysis, classification, and examplesAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)