Tidsskriftspublikasjoner

• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems. vol. 9 (1-2).
• Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering. vol. 22 (2).
• Rauzy, Antoine; Yang, Liu. (2019) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information. vol. 10 (12).
• Yang, Liu; Rauzy, Antoine. (2019) FDS-ML: A new modeling formalism for probabilistic risk and safety analyses. Lecture Notes in Computer Science (LNCS). vol. 11842 LNCS.
• Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety. vol. 186.
• Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2018) Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering. vol. 21 (2).
• Issad, Melissa; Kloul, Leila; Rauzy, Antoine; Berkani, Karim. (2018) Modeling the CBTC Railway System of Siemens with ScOLa. International Journal of Intelligent Transportation Systems Research. vol. 16 (3).
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety. vol. 180.
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research. vol. 74.
• Rauzy, Antoine. (2018) Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy. vol. 20 (3).
• Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine. vol. 50 (1).
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2017) AltaRica 3.0 assertions: The whys and wherefores. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 231 (6).
• Bennaceur, Walid Mokhtar; Kloul, Leila; Rauzy, Antoine. (2017) Safety Analysis of a Data Center’s Electrical System Using Production Trees. Lecture Notes in Computer Science (LNCS). vol. 10437 LNCS.
• Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2017) A scenario-based FMEA method and its evaluation in a railway context. Proceedings. Annual Reliability and Maintainability Symposium (RAMS).
• Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety. vol. 167.
• Legendre, Anthony; Lanusse, Agnes; Rauzy, Antoine. (2017) Toward model synchronization between safety analysis and system architecture design in industrial contexts. Lecture Notes in Computer Science (LNCS). vol. 10437 LNCS.
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2017) Modeling patterns for performance analyses of offshore production systems. ISOPE - International Offshore and Polar Engineering Conference. Proceedings.
• Brameret, Pierre-Antoine; Rauzy, Antoine; Roussel, Jean-Marc. (2015) Automated generation of partial Markov chain from high level descriptions. Reliability Engineering & System Safety. vol. 139.
• Dutuit, Yves; Rauzy, Antoine. (2015) On the Extension of Importance Measures to Complex Components. Reliability Engineering & System Safety. vol. 142.
• Lipaczewski, Michael; Ortmeier, Frank; Prosvirnova, Tatiana; Rauzy, Antoine; Struck, Simon. (2015) Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica. Reliability Engineering & System Safety. vol. 140.