Jean-Pierre Gallois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2003–2024
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MODELSWARD | Qualitative Reasoning and Design Space Exploration. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2023 | MODELS | Qualitative Tendencies for Hybrid System Simulation. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2023 | MODELS | Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2022 | MODELS | Qualitative models for the supervision of CPS simulations. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2017 | DX | Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. | Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois |
| 2016 | MODELS | A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. | Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frdric Boulanger |
| 2015 | DSD | Enhanced Quality Using Intensive Test and Analysis on Simulators. | Rda Nouacer, Manel Djemal, Smal Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen |
| 2004 | RTAS | Automated Functional Test Case Synthesis from THALES industrial Requirements. | David Lugato, Frdric Maraux, Yves Le Traon, Vronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clmentine Nebut |
| 2003 | TACAS | Automatic Test Generation with AGATHA. | Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |