Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (OCL@MoDELS, 2012)

Strategies Comparison of Test Generation from UML Using SMT Solver. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (ICST Workshops, 2013)

Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. (Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation). - Jérôme Cantenot (2013)

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. - Elizabeta Fourneret; Jérôme Cantenot; Fabrice Bouquet; Bruno Legeard; Julien Botella (SERE, 2014)

Test generation with Satisfiability Modulo Theories solvers in model-based testing. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (Softw. Test. Verification Reliab., 2014)

An Approach to Design Smart Grids and Their IT System by Cosimulation. - David Oudart; Jérôme Cantenot; Frédéric Boulanger; Sophie Chabridon (MODELSWARD, 2019)

A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. - David Oudart; Jérôme Cantenot; Frédéric Boulanger; Sophie Chabridon (MODELSWARD, 2020)

The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems. - David Oudart; Jérôme Cantenot; Frédéric Boulanger; Sophie Chabridon (MODELSWARD (Revised Selected Papers), 2020)

Virtual61850: A Model-Driven Tool to Support the Design and Validation of Virtualized Controllers in Power Industry. - Nadine Kabbara; Timothe Grisot; Jérôme Cantenot (MODELSWARD, 2024)