Navigasjon

  • Hopp til innhold
NTNU Hjemmeside NTNU Hjemmeside

ntnu.no

  • Studier
    • Studere på NTNU
    • Finn studieprogram
    • Søke opptak
    • Videreutdanning og deltid
    • Forkurs og oppfriskning
  • Studentliv
    • Student i Gjøvik
    • Student i Trondheim
    • Student i Ålesund
  • Forskning og innovasjon
    • Forskning
    • Innovasjon
    • Satsingsområder
    • Toppforskning
    • Ekspertlister
    • Ph.d.
  • Om NTNU
    • Fakulteter og institutter
    • Sentre
    • Bibliotek
    • Kart
    • Ledige stillinger
    • Arrangement
    • Nyheter
    • Kontakt oss
    • Om NTNU
  1. Ansatte

Språkvelger

English

Antoine Bertrand Rauzy

Last ned pressefoto
Last ned pressefoto
Foto:

Antoine Bertrand Rauzy

Professor

antoine.rauzy@ntnu.no
91897151 Verkstedteknisk, P307, Gløshaugen, Richard Birkelands vei 2B
Personal website
Publikasjoner Undervisning Formidling

Publikasjoner

  • Kronologisk
  • Etter kategori
  • Se alle publikasjoner i Cristin

2024

  • Nishat, Mirza Muntasir; Borkenhagen, Ingrid Renolen; 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)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel

2023

  • 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
    Vitenskapelig artikkel
  • 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 (TCPS)
    Vitenskapelig artikkel

2022

  • 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)
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2022) Abstract executions of stochastic discrete event systems. International Journal of Critical Computer-Based Systems
    Vitenskapelig artikkel

2021

  • Yang, Liu; Rauzy, Antoine. (2021) Epistemic space of degradation processes. Journal of Applied Non-Classical Logics (JANCL)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel

2020

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

2019

  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine; Yang, Liu. (2019) Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. IEEE Xplore Digital Library
    Vitenskapelig artikkel
  • Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Rauzy, Antoine; Yang, Liu. (2019) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine. (2019) FDS-ML: A new modeling formalism for probabilistic risk and safety analyses. Lecture Notes in Computer Science (LNCS)
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. Lecture Notes in Computer Science (LNCS)
    Vitenskapelig artikkel
  • Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP)
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine; Lundteigen, Mary Ann. (2019) Finite Degradation Analysis of Multiple Safety Instrumented Systems. Research Publishing Services
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 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
    Vitenskapelig artikkel

2018

  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2018) Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering
    Vitenskapelig artikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Rauzy, Antoine. (2018) Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment . Entropy
    Vitenskapelig artikkel

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
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 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)
    Vitenskapelig artikkel
  • Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine
    Vitenskapelig artikkel
  • Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel

2016

  • Zhang, Yun; Rauzy, Antoine; Barros, Anne. (2016) A new modelling methodology for the assessment of maintenance policies of subsea systems. Imperial College Press
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2015

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

Tidsskriftspublikasjoner

  • Nishat, Mirza Muntasir; Borkenhagen, Ingrid Renolen; 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)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • 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 (TCPS)
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2022) Abstract executions of stochastic discrete event systems. International Journal of Critical Computer-Based Systems
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine. (2021) Epistemic space of degradation processes. Journal of Applied Non-Classical Logics (JANCL)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Lebeaupin, Benoît; Rauzy, Antoine. (2020) Toward a better integration of requirements and model-based specifications. Systems Engineering
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine; Yang, Liu. (2019) Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. IEEE Xplore Digital Library
    Vitenskapelig artikkel
  • Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Rauzy, Antoine; Yang, Liu. (2019) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems
    Vitenskapelig artikkel
  • Yang, Liu; Rauzy, Antoine. (2019) FDS-ML: A new modeling formalism for probabilistic risk and safety analyses. Lecture Notes in Computer Science (LNCS)
    Vitenskapelig artikkel
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. Lecture Notes in Computer Science (LNCS)
    Vitenskapelig artikkel
  • Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP)
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2018) Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering
    Vitenskapelig artikkel
  • Rauzy, Antoine. (2018) Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment . Entropy
    Vitenskapelig artikkel
  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2017) Modeling patterns for performance analyses of offshore production systems. ISOPE - International Offshore and Polar Engineering Conference. Proceedings
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel
  • Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine
    Vitenskapelig artikkel
  • Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • 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
    Vitenskapelig artikkel
  • 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)
    Vitenskapelig artikkel

Del av bok/rapport

  • Yang, Liu; Rauzy, Antoine; Lundteigen, Mary Ann. (2019) Finite Degradation Analysis of Multiple Safety Instrumented Systems. Research Publishing Services
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • 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
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Zhang, Yun; Rauzy, Antoine; Barros, Anne. (2016) A new modelling methodology for the assessment of maintenance policies of subsea systems. Imperial College Press
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2015) Improving performance of the AltaRica 3.0 stochastic simulator. CRC Press
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Meng, Huixing; Kloul, Leïla; Rauzy, Antoine. (2015) Production availability modeling of a FPSO system with stochastic Petri nets. CRC Press
    Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Undervisning

Emner

  • TPK5120 - Elements of System Dynamics
  • TPK4186 - Advanced Tools for Performance Engineering
  • TPK4520 - Project and Quality Management, Specialization Project
  • PK8213 - Modeling and Simulation of Complex Systems
  • MAST2012 - Condition Based Operation and Maintenance

Formidling

2024

  • Vitenskapelig foredrag
    Mirza 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

  • Vitenskapelig foredrag
    Yang, 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

NTNU – Norges teknisk-naturvitenskapelige universitet

  • For ansatte
  • |
  • For studenter
  • |
  • Innsida
  • |
  • Blackboard

Studere

  • Om studier
  • Studieprogram
  • Emner
  • Videreutdanning
  • Karriere

Aktuelt

  • Nyheter
  • Arrangement
  • Jobbe ved NTNU

Om NTNU

  • Om NTNU
  • Bibliotek
  • Strategi
  • Forskning
  • Satsingsområder
  • Innovasjon
  • Organisasjonskart
  • Utdanningskvalitet

Kontakt

  • Kontakt oss
  • Finn ansatte
  • Spør en ekspert
  • Pressekontakter
  • Kart

NTNU i tre byer

  • NTNU i Gjøvik
  • NTNU i Trondheim
  • NTNU i Ålesund

Om nettstedet

  • Bruk av informasjonskapsler
  • Tilgjengelighetserklæring
  • Personvern
  • Ansvarlig redaktør
Facebook Instagram Linkedin Snapchat Tiktok Youtube
Logg inn
NTNU logo