Sébastien Bardin

Available identifiers

zbMath Open bardin.sebastienMaRDI QIDQ832219

List of research outcomes

Publication	Date of Publication	Type
Model generation for quantified formulas: a taint-based approach	2023-05-05	Paper
Not all bugs are created equal, but robust reachability can tell the difference	2022-03-25	Paper
An automated deductive verification framework for circuit-building quantum programs	2021-10-18	Paper
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing	2019-07-04	Paper
Sharpening constraint programming approaches for bit-vector theory	2017-08-04	Paper
Refinement-Based CFG Reconstruction from Unstructured Programs	2011-02-15	Paper
An Alternative to SAT-Based Approaches for Bit-Vectors	2010-04-27	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sébastien Bardin