Jean-Yves Pierron

According to our database, Jean-Yves Pierron authored at least 4 papers between 2003 and 2018.

Collaborative distances:

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

2018

Qualitative Simulation of Hybrid Systems with an Application to SysML Models.

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

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

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

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