Ronan Baduel

According to our database, Ronan Baduel authored at least 4 papers between 2018 and 2020.

Collaborative distances:

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

2020

Modeling and verification method for an early evaluation of systems of systems interactions.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

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

2019

An integrated model-based early validation approach for railway systems. (Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles).

Ronan Baduel

PhD thesis, 2019

Modeling and verification method for an early validation of a train system.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

CoRR, 2019

2018

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018