dblp.uni-trier.dewww.uni-trier.de

Sébastien Bardin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
7EESébastien Bardin, Philippe Herrmann: Structural Testing of Executables. ICST 2008: 22-31
6EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)
2006
5EESébastien Bardin, Jérôme Leroux, Gérald Point: FAST Extended Release. CAV 2006: 63-66
2005
4EESébastien Bardin, Alain Finkel, Jérôme Leroux, Ph. Schnoebelen: Flat Acceleration in Symbolic Model Checking. ATVA 2005: 474-488
2004
3EESébastien Bardin, Alain Finkel: Composition of Accelerations to Verify Infinite Heterogeneous Systems. ATVA 2004: 248-262
2EESébastien Bardin, Alain Finkel, Jérôme Leroux: FASTer Acceleration of Counter Automata in Practice. TACAS 2004: 576-590
2003
1EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121

Coauthor Index

1Alain Finkel [1] [2] [3] [4] [6]
2Philippe Herrmann [7]
3Jérôme Leroux [1] [2] [4] [5] [6]
4Laure Petrucci (Laure Petrucci-Dauchy) [1] [6]
5Gérald Point [5]
6Ph. Schnoebelen [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)