A Theory of Objects, 1998. ,
From models of structures to structures of models, 4th IEEE International Symposium on Systems Engineering, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01885900
Altarica 3.0 in 10 modeling patterns, International Journal of Critical Computer-Based Systems (IJCCBS), vol.9, p.133, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02063678
Reliability study of complex physical systems using sysml, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00528802
A Practical Guide to SysML: The Systems Modeling Language, 2011. ,
Principles of ObjectOriented Modeling and Simulation with Modelica 3.3: A CyberPhysical Approach, 2015. ,
The synchronous dataflow programming language lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
Simulation of Dynamic Systems with MATLAB and Simulink, 2011. ,
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts, Proceedings of the 5th International Symposium, vol.10437, pp.35-49, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01590709
Operational and system hazard analysis in a safe systems requirement engineering process application to automotive industry, Safety Science, vol.87, pp.256-268, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01321071
Verification and validation of the consistency between multi-domain system models, 2018 Annual IEEE International Systems Conference (SysCon), pp.1-7, 2018. ,
Prototype-Based Programming: Concepts, Languages and Applications, 1999. ,
Handling consistency between safety and system models, IMBSA 2017 (International Symposium on Model-Based and Assessment), pp.19-34, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01731393
A survey of model comparison approaches and applications, MODELSWARD 2013 -Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, pp.265-277, 2013. ,
Sophia framework for model-based safety analysis, In Actes du congrès Lambda-Mu, vol.19, 2014. ,
URL : https://hal.archives-ouvertes.fr/cea-01810452