Antoine Bertrand Rauzy
About
Research
I am currently interested in model engineering, with a special focus on probabilistic models for the assessment of performance of complex technical systems. I work on mathematical foundations (including complexity issues), assessment algorithms and heuristics, modeling languages and modeling methodologies. I develop also software tools (XFTA, AltaRica, the S2ML+X toolbox...).
Teaching
I am currently teaching master and PhD level courses on model-based system engineering and safety & reliability engineering as well as on (Python) programming for engineers.
More...
You can find an updated list of publications and more information about my work on my personal webpage on the AltaRica Association website http://www.altarica-association.org/members/arauzy/arauzy.html
Publications
2024
-
Leblond, André;
Batteux, Michel;
Rauzy, Antoine Bertrand.
(2024)
A new method for safety assessment of complex avionic systems.
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
Academic article
-
Nishat, Mirza Muntasir;
Borkenhagen, Ingrid Renolen;
Olsson, Nils Olof Emanuel;
Olsen, Jenni Sveen;
Rauzy, Antoine Bertrand.
(2024)
Investigating on Combining System Dynamics and
Machine Learning for Predicting Safety Performance in
Construction Projects.
IOP Conference Series: Earth and Environmental Science (EES)
Academic article
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
-
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
-
Batteux, Michel;
Prosvirnova, Tatiana;
Rauzy, Antoine.
(2022)
Abstract executions of stochastic discrete event systems.
International Journal of Critical Computer-Based Systems
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 (Basel)
Academic article
2021
-
Yang, Liu;
Rauzy, Antoine.
(2021)
Epistemic space of degradation processes.
Journal of Applied Non-Classical Logics (JANCL)
Academic article
-
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
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
-
Rauzy, Antoine;
Haskins, Cecilia.
(2019)
Foundations for model‐based systems engineering and model‐based safety assessment.
Systems Engineering
Academic article
-
Yang, Liu;
Rauzy, Antoine.
(2019)
Model synthesis using boolean expression diagrams.
Reliability Engineering & System Safety
Academic article
-
Rauzy, Antoine;
Yang, Liu.
(2019)
Decision diagram algorithms to extract minimal cutsets of finite degradation models.
Information
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
-
Batteux, Michel;
Prosvirnova, Tatiana;
Rauzy, Antoine.
(2019)
AltaRica 3.0 in ten modelling patterns.
International Journal of Critical Computer-Based Systems
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
-
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)
Finite degradation structures.
Journal of Applied Logics (JAL-FLAP)
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;
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
2018
-
Meng, Huixing;
Kloul, Leila;
Rauzy, Antoine.
(2018)
Production availability analysis of Floating Production Storage and Offloading (FPSO) systems.
Applied Ocean Research
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
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.
CRC Press
Academic chapter/article/Conference paper
-
Meng, Huixing;
Kloul, Leila;
Rauzy, Antoine.
(2018)
Modeling patterns for reliability assessment of safety instrumented systems.
Reliability Engineering & System Safety
Academic article
-
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
-
Rauzy, Antoine.
(2018)
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment
.
Entropy
Academic article
2017
-
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
-
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
-
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
-
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
-
Aupetit, Benjamin;
Batteux, Michel;
Rauzy, Antoine;
Roussel, Jean-Marc.
(2017)
Safety Analyzes of Mechatronics Systems: a Case Study.
IFAC-PapersOnLine
Academic article
-
Kloul, Leïla;
Rauzy, Antoine.
(2017)
Production trees: A new modeling methodology for production availability analyses.
Reliability Engineering & System Safety
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
-
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
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
-
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
-
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
Journal publications
-
Leblond, André;
Batteux, Michel;
Rauzy, Antoine Bertrand.
(2024)
A new method for safety assessment of complex avionic systems.
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
Academic article
-
Nishat, Mirza Muntasir;
Borkenhagen, Ingrid Renolen;
Olsson, Nils Olof Emanuel;
Olsen, Jenni Sveen;
Rauzy, Antoine Bertrand.
(2024)
Investigating on Combining System Dynamics and
Machine Learning for Predicting Safety Performance in
Construction Projects.
IOP Conference Series: Earth and Environmental Science (EES)
Academic article
-
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
-
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
-
Batteux, Michel;
Prosvirnova, Tatiana;
Rauzy, Antoine.
(2022)
Abstract executions of stochastic discrete event systems.
International Journal of Critical Computer-Based Systems
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 (Basel)
Academic article
-
Yang, Liu;
Rauzy, Antoine.
(2021)
Epistemic space of degradation processes.
Journal of Applied Non-Classical Logics (JANCL)
Academic article
-
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
-
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
-
Rauzy, Antoine;
Haskins, Cecilia.
(2019)
Foundations for model‐based systems engineering and model‐based safety assessment.
Systems Engineering
Academic article
-
Yang, Liu;
Rauzy, Antoine.
(2019)
Model synthesis using boolean expression diagrams.
Reliability Engineering & System Safety
Academic article
-
Rauzy, Antoine;
Yang, Liu.
(2019)
Decision diagram algorithms to extract minimal cutsets of finite degradation models.
Information
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
-
Batteux, Michel;
Prosvirnova, Tatiana;
Rauzy, Antoine.
(2019)
AltaRica 3.0 in ten modelling patterns.
International Journal of Critical Computer-Based Systems
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
-
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)
Finite degradation structures.
Journal of Applied Logics (JAL-FLAP)
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
-
Meng, Huixing;
Kloul, Leila;
Rauzy, Antoine.
(2018)
Production availability analysis of Floating Production Storage and Offloading (FPSO) systems.
Applied Ocean Research
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
Academic article
-
Meng, Huixing;
Kloul, Leila;
Rauzy, Antoine.
(2018)
Modeling patterns for reliability assessment of safety instrumented systems.
Reliability Engineering & System Safety
Academic article
-
Issad, Melissa;
Kloul, Leila;
Rauzy, Antoine.
(2018)
Scenario-oriented reverse engineering of complex railway system specifications.
Systems Engineering
Academic article
-
Rauzy, Antoine.
(2018)
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment
.
Entropy
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
-
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
-
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
-
Aupetit, Benjamin;
Batteux, Michel;
Rauzy, Antoine;
Roussel, Jean-Marc.
(2017)
Safety Analyzes of Mechatronics Systems: a Case Study.
IFAC-PapersOnLine
Academic article
-
Kloul, Leïla;
Rauzy, Antoine.
(2017)
Production trees: A new modeling methodology for production availability analyses.
Reliability Engineering & System Safety
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
-
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
Part of book/report
-
Yang, Liu;
Rauzy, Antoine;
Lundteigen, Mary Ann.
(2019)
Finite Degradation Analysis of Multiple Safety Instrumented Systems.
Research Publishing Services
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
-
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
-
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
-
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
-
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
-
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
Teaching
Courses
Knowledge Transfer
2024
-
Academic lectureMirza Muntasir, Nishat; Borkenhagen, Ingrid Renolen; Olsen, Jenni Sveen; Olsson, Nils Olof Emanuel; Rauzy, Antoine Bertrand. (2024) Investigating on Combining System Dynamics and Machine Learning for Predicting Safety Performance in Construction Projects. NTNU CREON 2024 The 12th Nordic Conference on Construction Economics and Organisation , Trondheim 2024-05-30 - 2024-05-31
2018
-
Academic lectureYang, Liu; Rauzy, Antoine; Haskins, Cecilia. (2018) Finite Degradation Structures: a Formal Framework to Support the Interface between MBSE and MBSA. IEEE 4th IEEE International Systems Engineering Symposium (ISSE) , Rome 2018-10-01 - 2018-10-03