Sébastien Bardin

Sébastien Bardin

CEA (Commissariat à l'Energie Atomique et aux Energies Alternatives) - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4406834
CEA (French Atomic Energy and Alternative Energies Commission)
person_outline Sébastien Bardin's MOST POPULAR ARTICLES
1-) Fast: Fast acceleration of symbolic transition systems Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
2-) BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
3-) Flat acceleration in symbolic model checking Automated Technology for Verification and Analysis: Third International …, 2005
4-) FAST: acceleration from theory to practiceS Bardin, A Finkel, J Leroux, L PetrucciInternational Journal on Software Tools for Technology Transfer 10, 401-424, 20081062008
5-) The BINCOA framework for binary code analysisS Bardin, P Herrmann, J Leroux, O Ly, R Tabary, A VincentComputer Aided Verification: 23rd International Conference, CAV 2011 …, 2011972011