Jérôme Cantenot

According to our database, Jérôme Cantenot authored at least 9 papers between 2012 and 2024.

Collaborative distances:

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

2024

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

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

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

Proceedings of the Model-Driven Engineering and Software Development, 2020

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

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019

An Approach to Design Smart Grids and Their IT System by Cosimulation.

David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

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

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models.

Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

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

PhD thesis, 2013

Strategies Comparison of Test Generation from UML Using SMT Solver.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012