Accéder directement au contenu

Jean-Michel Bruel

4
Documents

Présentation

Publications

iulian-ober
Image document

Modeling and verification method for an early evaluation of Systems of Systems interactions

 Ronan Baduel , Iulian Ober , Jean-Michel Bruel
35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩
Communication dans un congrès hal-02891673v1

Definition of states and modes as general concepts for system design and validation

 Ronan Baduel , Jean-Michel Bruel , Iulian Ober , Eddy Doba
12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France
Communication dans un congrès hal-02943016v1
Image document

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

 Ronan Baduel , Mohammad Chami , Jean-Michel Bruel , Iulian Ober
European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Communication dans un congrès hal-01815510v1
Image document

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

 Manzoor Ahmad , Iulia Dragomir , Jean-Michel Bruel , Iulian Ober , Nicolas Belloir
SIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Communication dans un congrès hal-01085410v1