Antoine 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
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
-
Serru, Théo;
Nguyen, Nga;
Batteux, Michel;
Rauzy, Antoine Bertrand.
(2022)
Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment.
Electronics.
volum 12 (1).
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/Conference paper
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/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.
Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway.
Academic chapter/article/Conference paper
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/Conference paper
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/Conference paper
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/Conference paper
-
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/Conference paper
Journal publications
-
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
-
Serru, Théo;
Nguyen, Nga;
Batteux, Michel;
Rauzy, Antoine Bertrand.
(2022)
Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment.
Electronics.
volum 12 (1).
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.
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
-
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
-
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
-
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
-
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
Part of book/report
-
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/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.
Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway.
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.
Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway.
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.
Risk, Reliability and Safety: Innovating Theory and Practice : Proceedings of ESREL 2016 (Glasgow, Scotland, 25-29 September 2016).
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.
Proceedings of the 9th IMA International Conference on Modelling in Industrial Maintenance and Reliability.
Academic chapter/article/Conference paper
-
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/Conference paper
-
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/Conference paper
Teaching
Courses
Media
2018
-
Academic lectureYang, Liu; Rauzy, Antoine; Haskins, Cecilia. (2018) Finite Degradation Structures: a Formal Framework to Support the Interface between MBSE and MBSA. 4th IEEE International Systems Engineering Symposium (ISSE) . IEEE; Rome. 2018-10-01 - 2018-10-03.