Graph explorer

Sébastien Bardin

Sébastien Bardin contributes to research discovery and scholarly infrastructure.

12 nodes11 linksoverview mapSébastien Bardin
12 nodes11 links
Sébastien Bardin12 visible / 12 total nodes / 11 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipASébastien BardinResearcherWA Combined Approach for...preprint / 2013WEfficient Leverage of S...preprint / 2013WA Deductive Verificatio...preprint / 2020WFormal Methods for Quan...preprint / 2022WBinsec/Rel: Symbolic Bi...preprint / 2022WInterface Compliance of...preprint / 2021WAI-based Blackbox Code ...preprint / 2021WBinary-level Directed F...preprint / 2020WBinsec/Rel: Efficient R...preprint / 2020WTargeting Infeasibility...preprint / 2016WAutomatically Proving M...preprint / 2020
PersonSignal 1011 links

Sébastien Bardin

Researcher

Open