Ronan Baduel

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Statistical Modeling

Verification Method

Computing Systems

Top Venues

Publications

Ronan Baduel, Iulian Ober, Jean-Michel Bruel
Modeling and verification method for an early evaluation of systems of systems interactions. SAC (2020)
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
Modeling and verification method for an early validation of a train system. CoRR (2019)
Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. ECMFA (2018)