Jérôme Cantenot

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 4

Top Topics

Critical Infrastructure

Regression Testing

Top Venues

Softw. Test. Verification Reliab.

MODELSWARD (Revised Selected Papers)

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Nadine Kabbara, Timothe Grisot, Jérôme Cantenot
Virtual61850: A Model-Driven Tool to Support the Design and Validation of Virtualized Controllers in Power Industry. MODELSWARD (2024)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. MODELSWARD (2020)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems. MODELSWARD (Revised Selected Papers) (2020)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
An Approach to Design Smart Grids and Their IT System by Cosimulation. MODELSWARD (2019)
Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. SERE (2014)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Test generation with Satisfiability Modulo Theories solvers in model-based testing. Softw. Test. Verification Reliab. 24 (7) (2014)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Strategies Comparison of Test Generation from UML Using SMT Solver. ICST Workshops (2013)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. OCL@MoDELS (2012)