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.

Pierre Ganty
SearchCollections
Map detail
Pierre Ganty13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPierre GantyAPierre GantyResearcherComplete Abstractions for Checking Language InclusionWComplete Abstractions f...preprint / 2021A Quasiorder-based Perspective on Residual AutomataWA Quasiorder-based Pers...preprint / 2020Bounded UnderapproximationsWBounded Underapproximat...preprint / 2010Interprocedural Reachability for Flat Integer ProgramsWInterprocedural Reachab...preprint / 2015Algorithmic Verification of Asynchronous ProgramsWAlgorithmic Verificatio...preprint / 2011Proving Termination Starting from the EndWProving Termination Sta...preprint / 2013Bounded-oscillation Pushdown AutomataWBounded-oscillation Pus...preprint / 2016Underapproximation of Procedure Summaries for Integer ProgramsWUnderapproximation of P...preprint / 2016FORQ-based Language Inclusion Formal TestingWFORQ-based Language Inc...preprint / 2022CacheQuery: Learning Replacement Policies from Hardware CachesWCacheQuery: Learning Re...preprint / 2020A Perfect Model for Bounded VerificationWA Perfect Model for Bou...preprint / 2012Parikh's Theorem: A simple and direct automaton constructionWParikh's Theorem: A sim...preprint / 2011
Person12 links

Pierre Ganty

Researcher

PaperComplete Abstractions for Checking Language InclusionAuthorship / preprint / 2021PaperA Quasiorder-based Perspective on Residual AutomataAuthorship / preprint / 2020PaperBounded UnderapproximationsAuthorship / preprint / 2010PaperInterprocedural Reachability for Flat Integer ProgramsAuthorship / preprint / 2015PaperAlgorithmic Verification of Asynchronous ProgramsAuthorship / preprint / 2011PaperProving Termination Starting from the EndAuthorship / preprint / 2013PaperBounded-oscillation Pushdown AutomataAuthorship / preprint / 2016PaperUnderapproximation of Procedure Summaries for Integer ProgramsAuthorship / preprint / 2016

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)