Sébastien Bardin

	2012
13		Sébastien Bardin, Arnaud Gotlieb: fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. CPAIOR 2012: 17-33
	2011
12		Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent: The BINCOA Framework for Binary Code Analysis. CAV 2011: 165-170
11		Sébastien Bardin, Philippe Herrmann, Franck Védrine: Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI 2011: 54-69
10		Sébastien Bardin, Philippe Herrmann: OSMOSE: automatic structural testing of executables. Softw. Test., Verif. Reliab. 21(1): 29-54 (2011)
	2010
9		Sébastien Bardin, Philippe Herrmann, Florian Perroud: An Alternative to SAT-Based Approaches for Bit-Vectors. TACAS 2010: 84-98
	2009
8		Sébastien Bardin, Philippe Herrmann: Pruning the Search Space in Path-Based Test Generation. ICST 2009: 240-249
	2008
7		Sébastien Bardin, Philippe Herrmann: Structural Testing of Executables. ICST 2008: 22-31
6		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)
	2006
5		Sébastien Bardin, Jérôme Leroux, Gérald Point: FAST Extended Release. CAV 2006: 63-66
	2005
4		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Ph. Schnoebelen: Flat Acceleration in Symbolic Model Checking. ATVA 2005: 474-488
	2004
3		Sébastien Bardin, Alain Finkel: Composition of Accelerations to Verify Infinite Heterogeneous Systems. ATVA 2004: 248-262
2		Sébastien Bardin, Alain Finkel, Jérôme Leroux: FASTer Acceleration of Counter Automata in Practice. TACAS 2004: 576-590
	2003
1		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121

Coauthor Index

1	Alain Finkel	[1] [2] [3] [4] [6]
2	Arnaud Gotlieb	[13]
3	Philippe Herrmann	[7] [8] [9] [10] [11] [12]
4	Jérôme Leroux	[1] [2] [4] [5] [6] [12]
5	Olivier Ly	[12]
6	Florian Perroud	[9]
7	Laure Petrucci (Laure Petrucci-Dauchy)	[1] [6]
8	Gérald Point	[5]
9	Ph. Schnoebelen (Philippe Schnoebelen)	[4]
10	Renaud Tabary	[12]
11	Franck Védrine	[11]
12	Aymeric Vincent	[12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page