A formal approach using SysML for capturing functional requirements in avionics domain ZHU Shaofan, T Jian, JM Gauthier, R Faudou Chinese Journal of Aeronautics 32 (12), 2717-2726, 2019 | 34 | 2019 |
Transformation of SysML structure diagrams to VHDL-AMS F Bouquet, JM Gauthier, A Hammad, F Peureux Design, Control and Software Implementation for Distributed MEMS (dMEMS …, 2012 | 32 | 2012 |
Tooled process for early validation of SysML models using Modelica simulation JM Gauthier, F Bouquet, A Hammad, F Peureux Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 20 | 2015 |
A SysML formal framework to combine discrete and continuous simulation for testing JM Gauthier, F Bouquet, A Hammad, F Peureux Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 12 | 2015 |
An MBSE framework to support agile functional definition of an avionics system J Tang, S Zhu, R Faudou, JM Gauthier Complex Systems Design & Management: Proceedings of the Ninth International …, 2019 | 9 | 2019 |
Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS JM Gauthier, F Bouquet, A Hammad, F Peureux MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software …, 2013 | 9 | 2013 |
Modeling and simulation of modular complex system: Application to air-jet conveyor JM Gauthier, D Gendreau, A Hammad, F Bouquet 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics …, 2014 | 4 | 2014 |
Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation JM Gauthier Université de Franche-Comté, 2015 | 3 | 2015 |
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal JM Gauthier 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 3 | 2013 |
Investigation of neutron and gamma multiplicities in reactions with heavy ions leading to the production of superheavy nuclei close to the island of stability EM Kozulin, MG Itkis, YU TS. OGANESSIAN, AA Bogatchev, ... Nuclear Physics At Border Lines, 157-161, 2002 | 3 | 2002 |
Feedback on Application of MBSE to an Avionics Subsystem J Tang, S Zhu, R Faudou, JM Gauthier SAE Technical Paper, 2018 | 2 | 2018 |
Integrating AADL and FMI to Extend Virtual Integration Capability J Hugues, JM Gauthier, R Faudou arXiv preprint arXiv:1802.05620, 2018 | 2 | 2018 |
TeePee4Space: a practical application of Information Sharing in Extended Entreprise to the space industry J Baclet, R DEMACHY, S GUILMEAU, P GAUFILLET, JL MARTY, ... Model Based Space Systems and Software Engineering-MBSE2021, 2021 | 1 | 2021 |
New Challenges and Advances in Systems Engineering at French Universities JM Gauthier, H Panetto INSIGHT 26 (4), 7-8, 2023 | | 2023 |
EasyMOD: A Web-Based Modeling Tool for Non-MBSE Engineers JM Gauthier, J Fasquel, J Baclet 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | | 2023 |
Integrating AADL and FMI to Extend Virtual Integration Capability JM Gauthier, J Hugues, R Faudou | | 2018 |
Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML : Contexte, Motivations et Objectifs JM Gauthier CIEL - Conférence en Ingénierie du Logiciel, 29-34, 2013 | | 2013 |
Vérification de propriétés SysML par transformation de modèle vers VHDL-AMS JM GAUTHIER, F PEUREUX, A HAMMAD, F BOUQUET | | 2012 |
1st Workshop on Model-Based Systems Engineering (MBSE 2023) A Di Salle, L Iovino, L Mariani, J Cederbladh, L Cleophas, E Kamburjan, ... | | |
Towards Views Extraction to Ease Concurrent Review of Systems Engineering Models JM Gauthier, J Baclet, J Fasquel, D Brandão | | |