Automatic Test Generation with AGATHA. - Céline Bigot; Alain Faivre; Jean-Pierre Gallois; Arnault Lapitre; David Lugato; Jean-Yves Pierron; Nicolas Rapin (TACAS, 2003)

Automated Functional Test Case Synthesis from THALES industrial Requirements. - David Lugato; Frédéric Maraux; Yves Le Traon; Véronique Normand; Hubert Dubois; Jean-Yves Pierron; Jean-Pierre Gallois; Clémentine Nebut (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. - Slim Medimegh; Jean-Yves Pierron; Jean-Pierre Gallois; Frédéric Boulanger (GEMOC@MoDELS, 2016)

Qualitative Simulation of Hybrid Systems with an Application to SysML Models. - Slim Medimegh; Jean-Yves Pierron; Frédéric Boulanger (MODELSWARD, 2018)