Improving performance of the AltaRica 3.0 stochastic simulator, Proceedings of Safety and Reliability of Complex Engineered Systems: ESREL 2015, pp.1815-1824, 2015. ,
Vers la définition d'un kit d'évaluation pour les simulateurs stochastiques, Actes du Congrès Lambda-Mu 20 (actesélectroniques). Institut pour la Maîtrise des Risques (IMdR), 2016. ,
Rauzy: From models of structures to structures of models, 4th IEEE International Symposium on Systems Engineering, 2018. ,
Altarica 3.0 assertions: the why and the wherefore, Journal of Risk and Reliability, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02063678
Altarica 3.0 in 10 modeling patterns, International Journal of Critical Computer-Based Systems, vol.9, issue.1-2, pp.133-165, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02063678
Introduction to Discrete Event Systems, 2008. ,
Design Patterns -Elements of Reusable Object-Oriented Software. Addison-Wesley professional computing series, 1994. ,
, The art of systems architecting, 2009.
The altarica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS'2013, pp.127-132, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01789435
Guarded transition systems: a new states/events formalism for reliability studies, Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008. ,
A modelling methodology for the assessment of preventive maintenance on a compressor drive system, Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference, pp.915-922, 2018. ,
Stochastic Discrete Event Systems, 2008. ,