Christophe Duhil

According to our database, Christophe Duhil authored at least 3 papers between 2020 and 2021.

Collaborative distances:

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

2021

ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation. (ModelRun, a model transformation method for complex system models properties checking by simulation).

Christophe Duhil

PhD thesis, 2021

2020

Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models.

Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink.

Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas

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