S\'ebastien Bardin

Identifiers

• name variant S\'ebastien Bardin 0.60 · backfill

Papers (8)

1. Hybrid Path-Sums for Hybrid Quantum Programs cs.PL · 2026 · author #5
2. Abstract Interpretation using a Language of Symbolic Approximation cs.SE · 2017 · author #2
3. Freeing Testers from Polluting Test Objectives cs.SE · 2017 · author #2
4. CDCL-inspired Word-level Learning for Bit-vector Constraint Solving cs.LO · 2017 · author #3
5. Targeting Infeasibility Questions on Obfuscated Codes cs.CR · 2016 · author #2
6. Generic and Effective Specification of Structural Test Objectives cs.SE · 2016 · author #1
7. A Combined Approach for Constraints over Finite Domains and Arrays cs.LO · 2013 · author #1
8. Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria cs.SE · 2013 · author #1

Mentions

• 1312.0200 #1 · backfill · confidence 0.70 S\'ebastien Bardin
• 1308.4045 #1 · backfill · confidence 0.70 S\'ebastien Bardin

Frequent Coauthors

• Nikolai Kosmatov 3 shared papers
• Micha\"el Marcozzi 2 shared papers
• Virgile Prevosto 2 shared papers
• Arnaud Gotlieb 1 shared papers
• Christophe Chareton 1 shared papers
• Fran\c{c}ois Bobot 1 shared papers
• Fran\c{c}ois Cheynier 1 shared papers
• Jad Issa 1 shared papers
• Jean-Yves Marion 1 shared papers
• Lo\"ic Correnson 1 shared papers
• Mathieu Nguyen 1 shared papers
• Matthieu Lemerre 1 shared papers
• Micka\"el Delahaye 1 shared papers
• Mike Papadakis 1 shared papers
• Nicolas Blanco 1 shared papers
• Robin David 1 shared papers
• Zakaria Chihani 1 shared papers