M. Batteux, T. Prosvirnova, and A. Rauzy, 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

M. Batteux, T. Prosvirnova, and A. Rauzy, 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

M. Batteux, T. Prosvirnova, and A. Rauzy,

, AltaRica 3.0 in 10 Patterns: Submitted to International Journal of Critical Computer-Based Systems, 2018.

A. Berthoz and . Simplexity, Simplifying Principles for a Complex World

M. Boiteau, Y. Dutuit, A. Rauzy, and J. Signoret, 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.

M. Bouissou, H. Bouhadana, M. Bannelier, and N. Villatte, 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.

P. Brameret, A. Rauzy, and J. Roussel, 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

E. Clément, T. Thomas, and A. Rauzy,

, 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.

S. Epstein and A. Rauzy, Open-PSA Model Exchange format, version 2.0d, 2008.

N. Matloff and P. J. Salzman, The Art of Debugging with GDB, DDD, and Eclipse, 2008.

T. Prosvirnova and A. Rauzy, 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.

A. Rauzy, Modes Automata and their Compilation into Fault Trees. Reliability Engineering and System Safety, vol.78, pp.1-12, 2002.

A. Rauzy, 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.

A. Rauzy, 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.

A. Rauzy, XFTA: an Open-PSA fault-tree engine. AltaRica Association, 2014.

A. Rauzy, Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment, Entropy. MDPI, vol.20, issue.3, 2018.

J. Signoret, Y. Dutuit, J. Cacheux, and C. Folleau, Make your Petri nets understandable: Reliability block diagrams driven Petri nets. Reliability Engineering and System Safety, vol.113, pp.61-75, 2013.

E. Zio, The Monte Carlo Simulation Method for System Reliability and Risk Analysis
URL : https://hal.archives-ouvertes.fr/hal-00777141