2022

• Bang, Sofie; Aarvold, Magnus Olai; Hartvig, Wilhelm Jan; Olsson, Nils; Rauzy, Antoine. (2022) Application of machine learning to limited datasets: prediction of project success. Journal of Information Technology in Construction (ITcon). volum 27.
  Academic article
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2022) Abstract executions of stochastic discrete event systems. International Journal of Critical Computer-Based Systems. volum 10 (3).
  Academic article
• Hafseld, Kristin Helene Jørgensen; Hussein, Bassam; Rauzy, Antoine. (2022) Government inter-organizational, digital transformation projects: five key lessons learned from a Norwegian case study. Procedia Computer Science. volum 96.
  Academic article

2021

• Hafseld, Kristin Helene Jørgensen; Hussein, Bassam; Rauzy, Antoine. (2021) An attempt to understand complexity in a government digital transformation project. International Journal of Information Systems and Project Management. volum 9 (3).
  Academic article
• Yang, Liu; Rauzy, Antoine. (2021) Epistemic space of degradation processes. Journal of Applied Non-Classical Logics (JANCL). volum 31 (1).
  Academic article

2020

• de Weck, Olivier; Krob, Daniel; Lefei, Li; Lui, Pao Chuen; Rauzy, Antoine; Zhang, Xinguo. (2020) Handling the COVID-19 crisis: Toward an agile model-based systems approach. Systems Engineering. volum 23 (5).
  Academic article
• Lebeaupin, Benoît; Rauzy, Antoine. (2020) Toward a better integration of requirements and model-based specifications. Systems Engineering. volum 23 (6).
  Academic article

2019

• Batteux, Michel; Choley, Jean-Yves; Mhenni, Faida; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Synchronization of system architecture and safety models: A proof of concept. IEEE Xplore digital library.
  Academic article
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems. volum 9 (1-2).
  Academic article
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. Lecture Notes in Computer Science (LNCS). volum 11842 LNCS.
  Academic article
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Modeling patterns for the assessment of maintenance policies with altaRica 3.0. Lecture Notes in Computer Science (LNCS). volum 11842 LNCS.
  Academic article
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine; Yang, Liu. (2019) Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. IEEE Xplore digital library.
  Academic article
• Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering. volum 22 (2).
  Academic article
• Rauzy, Antoine; Yang, Liu. (2019) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information. volum 10 (12).
  Academic article
• Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP). volum 6 (7).
  Academic article
• Yang, Liu; Rauzy, Antoine. (2019) FDS-ML: A new modeling formalism for probabilistic risk and safety analyses. Lecture Notes in Computer Science (LNCS). volum 11842 LNCS.
  Academic article
• Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety. volum 186.
  Academic article
• Yang, Liu; Rauzy, Antoine; Lundteigen, Mary Ann. (2019) Finite Degradation Analysis of Multiple Safety Instrumented Systems. Proceedings of the 29th European Safety and Reliability Conference(ESREL). 22 – 26 September 2019 Hannover, Germany.
  Academic chapter/article

2018

• Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2018) Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering. volum 21 (2).
  Academic article
• 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. volum 16 (3).
  Academic article
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety. volum 180.
  Academic article
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research. volum 74.
  Academic article
• Rauzy, Antoine. (2018) Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy. volum 20 (3).
  Academic article
• Sultana, Sharmin; Bucelli, Marta; Zhang, Juntao; Rauzy, Antoine. (2018) How systems engineering may be useful in preparing FMECA—lesson learnt from a practical case. Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway.
  Academic chapter/article
• Zhang, Yun; Barros, Anne; Rauzy, Antoine; Lunde, Erling. (2018) A modelling methodology for the assessment of preventive maintenance on a compressor drive system. Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway.
  Academic chapter/article

2017

• Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine. volum 50 (1).
  Academic article
• 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. volum 231 (6).
  Academic article
• 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). volum 10437 LNCS.
  Academic article
• 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).
  Academic article
• Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety. volum 167.
  Academic article
• 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). volum 10437 LNCS.
  Academic article
• Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2017) Modeling patterns for performance analyses of offshore production systems. ISOPE - International Offshore and Polar Engineering Conference. Proceedings.
  Academic article
• Zhang, Yun; Barros, Anne Cecile Pénélope; Rauzy, Antoine. (2017) Assessment of a condition-based maintenance policy for Subsea systems: A preliminary study. Risk, Reliability and Safety: Innovating Theory and Practice : Proceedings of ESREL 2016 (Glasgow, Scotland, 25-29 September 2016).
  Academic chapter/article

2016

• Zhang, Yun; Rauzy, Antoine; Barros, Anne. (2016) A new modelling methodology for the assessment of maintenance policies of subsea systems. Proceedings of the 9th IMA International Conference on Modelling in Industrial Maintenance and Reliability.
  Academic chapter/article

2015

• Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2015) Improving performance of the AltaRica 3.0 stochastic simulator. Safety and Reliability of Complex Engineered Systems.
  Academic chapter/article
• Meng, Huixing; Kloul, Leïla; Rauzy, Antoine. (2015) Production availability modeling of a FPSO system with stochastic Petri nets. Safety and Reliability of Complex Engineered Systems.
  Academic chapter/article