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. 20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, 2016. ,
Altarica 3.0 assertions: the why and the wherefore, Journal of Risk and Reliability, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02063678
, System Structure Modeling Language (S2ML), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01234903
, AltaRica Association, 2015. archive hal-01234903
Automated generation of partial markov chain from high level descriptions, Reliability Engineering and System Safety, vol.139, pp.179-187, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01238630
Introduction to Discrete Event Systems, 2008. ,
The altarica 3.0 project for model-based safety ssessment, 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
Automated generation of minimal cutsets from altarica 3.0 models, International Journal of Critical Computer-Based Systems, vol.6, issue.1, pp.50-79, 2015. ,
Guarded transition systems: a new states/events formalism for reliability studies, Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008. ,
Stochastic Discrete Event Systems, 1976. ,