2023

• Serru, Théo; Nguyen, Nga; Batteux, Michel; Rauzy, Antoine Bertrand. (2023) Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. ACM Transactions on Cyber-Physical Systems
  Academic article
• Solheim, Astrid Vamråk; Rauzy, Antoine Bertrand; Brett, Per Olaf; Ellefmo, Steinar Løve; Hatling, Tonje; Helmons, Rudolfus Lambertus Jacobus. (2023) Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach. Systems Engineering
  Academic article

2022

• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2022) Abstract executions of stochastic discrete event systems. International Journal of Critical Computer-Based Systems
  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
  Academic article
• 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)
  Academic article
• Serru, Théo; Nguyen, Nga; Batteux, Michel; Rauzy, Antoine Bertrand. (2022) Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment. Electronics
  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
  Academic article
• Yang, Liu; Rauzy, Antoine. (2021) Epistemic space of degradation processes. Journal of Applied Non-Classical Logics (JANCL)
  Academic article

2020

• Lebeaupin, Benoît; Rauzy, Antoine. (2020) Toward a better integration of requirements and model-based specifications. Systems Engineering
  Academic article
• 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
  Academic article

2019

• Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety
  Academic article
• 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; Yang, Liu. (2019) Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. 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
  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)
  Academic article
• Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP)
  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)
  Academic article
• Yang, Liu; Rauzy, Antoine; Lundteigen, Mary Ann. (2019) Finite Degradation Analysis of Multiple Safety Instrumented Systems. Research Publishing Services
  Academic chapter/article/Conference paper
• Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. Lecture Notes in Computer Science (LNCS)
  Academic article
• Rauzy, Antoine; Yang, Liu. (2019) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information
  Academic article
• Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering
  Academic article

2018

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

2017

• Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety
  Academic article
• Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine
  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)
  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)
  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
  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
• Zhang, Yun; Barros, Anne Cecile Pénélope; Rauzy, Antoine. (2017) Assessment of a condition-based maintenance policy for Subsea systems: A preliminary study. CRC Press
  Academic chapter/article/Conference paper
• 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

2016

• Zhang, Yun; Rauzy, Antoine; Barros, Anne. (2016) A new modelling methodology for the assessment of maintenance policies of subsea systems. Imperial College Press
  Academic chapter/article/Conference paper

2015

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