- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois: Challenges of a Validation Process Based on Models: An Industrial Case Study. Bell Labs Technical Journal 17(1): 229-246 (2012) |
| 2008 | ||
| j3 | | Sébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Asp. Comput. 20(6): 563-595 (2008) |
| 2007 | ||
| j2 | | 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) |
| c3 | | Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200 |
| 2004 | ||
| j1 | | 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) |
| c2 | | 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 |
| 2003 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Thu May 23 02:28:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page