Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time. Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01826656
Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. Safe Societies in a Changing World, proceedings of European Safety and Reliability Conference, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01826645
,
, AltaRica 3.0 in 10 Patterns: Submitted to International Journal of Critical Computer-Based Systems, 2018.
Simplifying Principles for a Complex World ,
The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System. Reliability Engineering and System Safety, vol.91, pp.747-755, 2006. ,
Knowledge modelling and reliability processing: presentation of the FIGARO language and of associated tools, Proceedings of SAFECOMP'91, IFAC International Conference on Safety of Computer Control Systems. Johan F. Lindeberg Ed, pp.69-75, 1991. ,
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
,
, Arbre Analyste : un outil d'arbres de défaillances respectant le standard Open-PSA et utilisant le moteur XFTA, Actes du congrès Lambda-Mu, vol.19, 2014.
Open-PSA Model Exchange format, version 2.0d, 2008. ,
The Art of Debugging with GDB, DDD, and Eclipse, 2008. ,
Automated generation of Minimal Cutsets from AltaRica 3.0 models, International Journal of Critical Computer-Based Systems. Inderscience Publishers, vol.6, issue.1, pp.50-79, 2015. ,
Modes Automata and their Compilation into Fault Trees. Reliability Engineering and System Safety, vol.78, pp.1-12, 2002. ,
An Experimental Study on Six Algorithms to Compute Transient Solutions of Large Markov Systems. Reliability Engineering and System Safety, vol.86, pp.105-115, 2004. ,
Anatomy of an Efficient Fault Tree Assessment Engine, Proceedings of International Joint Conference PSAM'11/ESREL'12. R. Virolainen Ed. ISBN 978-162276436-5, 2012. ,
XFTA: an Open-PSA fault-tree engine. AltaRica Association, 2014. ,
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment, Entropy. MDPI, vol.20, issue.3, 2018. ,
Make your Petri nets understandable: Reliability block diagrams driven Petri nets. Reliability Engineering and System Safety, vol.113, pp.61-75, 2013. ,
The Monte Carlo Simulation Method for System Reliability and Risk Analysis ,
URL : https://hal.archives-ouvertes.fr/hal-00777141