| * | 2009 |
|---|
| 6 | EE | Nicolas Rapin:
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.
TAP 2009: 137-152 |
| 5 | EE | Francesco Pappalardo,
Mark D. Halling-Brown,
Nicolas Rapin,
Ping Zhang,
Davide Alemani,
Andrew Emerson,
Paola Paci,
Patrice Duroux,
Marzio Pennisi,
Arianna Palladini,
Olivo Miotto,
Daniel Churchill,
Elda Rossi,
Adrian J. Shepherd,
David S. Moss,
Filippo Castiglione,
Massimo Bernaschi,
Marie-Paule Lefranc,
Søren Brunak,
Santo Motta,
Pierluigi Lollini,
Kaye E. Basford,
Vladimir Brusic:
ImmunoGrid, an integrative environment for large-scale simulation of the immune system for vaccine discovery, design and optimization.
Briefings in Bioinformatics 10(3): 330-340 (2009) |
| 2007 |
|---|
| 4 | EE | Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Refinement Testing.
TAP 2007: 131-148 |
| 2006 |
|---|
| 3 | EE | Benoit Baudry,
David Hearnden,
Nicolas Rapin,
Jörn Guy Süß:
Report on the 3rd MoDeVa Workshop - Model Design and Validation.
MoDELS Workshops 2006: 179-181 |
| 2 | EE | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2003 |
|---|
| 1 | EE | Céline Bigot,
Alain Faivre,
Jean-Pierre Gallois,
Arnault Lapitre,
David Lugato,
Jean-Yves Pierron,
Nicolas Rapin:
Automatic Test Generation with AGATHA.
TACAS 2003: 591-596 |
