Jean-Pierre Gallois

According to our database, Jean-Pierre Gallois authored at least 17 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Qualitative Reasoning and Design Space Exploration.

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation.

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Qualitative Tendencies for Hybrid System Simulation.

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Qualitative models for the supervision of CPS simulations.

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2018

Automating Abstraction Computation of Hybrid Systems.

Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016

EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems.

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

Microprocess. Microsystems, 2016

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems.

Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger

Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

Enhanced Quality Using Intensive Test and Analysis on Simulators.

Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2012

Challenges of a Validation Process Based on Models: An Industrial Case Study.

Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois

Bell Labs Tech. J., 2012

2008

Slicing communicating automata specifications: polynomial algorithms for model reduction.

Sébastien Labbé, Jean-Pierre Gallois

Formal Aspects Comput., 2008

2007

Symbolic Modeling of Genetic Regulatory Networks.

Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall

J. Bioinform. Comput. Biol., 2007

Modelling genetic regulatory networks from specified behaviours.

Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall

BMC Syst. Biol., 2007

Slicing Communicating Automata Specifications for Efficient Model Reduction.

Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2004

Validation and automatic test generation on UML models: the AGATHA approach.

David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier

Int. J. Softw. Tools Technol. Transf., 2004

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

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

2003

Automatic Test Generation with AGATHA.

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003