Jean-Pierre Gallois

18 papers A 2C 3Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2024 C conf
Qualitative Reasoning and Design Space Exploration.
MODELSWARD
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
2024 J jnl
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation.
Innov. Syst. Softw. Eng.
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
2023 — conf
Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation.
MoDELS (Companion)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
2023 — conf
Qualitative Tendencies for Hybrid System Simulation.
MoDELS (Companion)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
2022 — conf
Qualitative models for the supervision of CPS simulations.
MoDELS (Companion)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
2018 — conf
Automating Abstraction Computation of Hybrid Systems.
CICM Workshops
Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague
2017 C conf
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
DX
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
2016 — conf
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems.
GEMOC@MoDELS
Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger
2016 J jnl
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems.
Microprocess. Microsystems
Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Arnault Lapitre, Toni Adriano, Bryan MacEachen
2015 C conf
Enhanced Quality Using Intensive Test and Analysis on Simulators.
DSD
Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen
2012 J jnl
Challenges of a Validation Process Based on Models: An Industrial Case Study.
Bell Labs Tech. J.
Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois
2008 J jnl
Slicing communicating automata specifications: polynomial algorithms for model reduction.
Formal Aspects Comput.
Sébastien Labbé, Jean-Pierre Gallois
2007 J jnl
Modelling genetic regulatory networks from specified behaviours.
BMC Syst. Biol.
Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall
2007 — conf
Slicing Communicating Automata Specifications for Efficient Model Reduction.
ASWEC
Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet
2007 J jnl
Symbolic Modeling of Genetic Regulatory Networks.
J. Bioinform. Comput. Biol.
Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall
2004 A conf
Automated Functional Test Case Synthesis from THALES industrial Requirements.
IEEE Real-Time and Embedded Technology and Applications Symposium
David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut
2004 J jnl
Validation and automatic test generation on UML models: the AGATHA approach.
Int. J. Softw. Tools Technol. Transf.
David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier
2003 A conf
Automatic Test Generation with AGATHA.
TACAS
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin