A Theory of Objects, 1998. ,
Rauzy: From models of structures to structures of models, 4th IEEE International Symposium on Systems Engineering, 2018. ,
Rauzy: Altarica 3.0 in 10 modeling patterns, International Journal of Critical Computer-Based Systems (IJCCBS), vol.9, p.133, 2019. ,
Reliability assessment of phased-mission systems with AltaRica 3.0, 3rd International Conference on System Reliability and Safety (ICSRS 2018), 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01945908
A new formalism that combines advantages of fault-trees and Markov models: Boolean Logic Driven Markov Processes, Reliability Engineering and System Safety, vol.82, pp.149-163, 2003. ,
Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints, Proceedings of the 4 th ACM-Sigplan Symposium on Principles of Programming Languages, POPL'77, pp.238-252, 1977. ,
A Practical Guide to SysML: The Systems Modeling Language, vol.94104, 2011. ,
Principles of ObjectOriented Modeling and Simulation with Modelica 3.3: A CyberPhysical Approach, 2015. ,
Model synchronization based on triple graph grammars: Correctness, completeness and invertibility, Softw. Syst. Model, vol.14, issue.1, pp.241-269, 2015. ,
Simulation of Dynamic Systems with MATLAB and Simulink, 2011. ,
CESAM: CESAMES Systems Architecting Method: A Pocket Guide, CESAMES, 2017. ,
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
Prototype-Based Programming: Concepts, Languages and Applications, 1999. ,
Basic Category Theory of Computer Scientists. Foundations of Computing, 1991. ,
Foundations for model-based systems engineering and model-based safety assessment, Journal of Systems Engineering, 2018. ,
MBSE with the ARCADIA Method and the Capella Tool, 8th European Congress on Embedded Real Time Software and Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01258014
, , 2016.
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, Actes du congrès Lambda-Mu 19 (actesélectroniques). Institut pour la Maîtrise des Risques, 2014. ,
URL : https://hal.archives-ouvertes.fr/cea-01810452