| 2008 |
|---|
| 6 | EE | Sébastien Labbé,
Jean-Pierre Gallois:
Slicing communicating automata specifications: polynomial algorithms for model reduction.
Formal Asp. Comput. 20(6): 563-595 (2008) |
| 2007 |
|---|
| 5 | EE | Sébastien Labbé,
Jean-Pierre Gallois,
Marc Pouzet:
Slicing Communicating Automata Specifications for Efficient Model Reduction.
ASWEC 2007: 191-200 |
| 4 | EE | Daniel Mateus,
Jean-Pierre Gallois,
Jean-Paul Comet,
Pascale Le Gall:
Symbolic Modeling of Genetic Regulatory Networks.
J. Bioinformatics and Computational Biology 5(2b): 627-640 (2007) |
| 2004 |
|---|
| 3 | EE | David Lugato,
Frédéric Maraux,
Yves Le Traon,
Véronique Normand,
Hubert Dubois,
Jean-Yves Pierron,
Jean-Pierre Gallois,
Clémentine Nebut:
Automated Functional Test Case Synthesis from THALES industrial Requirements.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 104-111 |
| 2 | EE | David Lugato,
Céline Bigot,
Yannick Valot,
Jean-Pierre Gallois,
Sébastien Gérard,
François Terrier:
Validation and automatic test generation on UML models: the AGATHA approach.
STTT 5(2-3): 124-139 (2004) |
| 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 |
