Navigasjon

  • Hopp til innhold
NTNU Hjemmeside

ntnu.no

  • Studier
    • Studieprogram
    • Søk opptak
    • Forkurs og oppfriskning
    • Videreutdanning og deltid
    • Studere på NTNU
  • Studentliv
    • Student i Gjøvik
    • Student i Trondheim
    • Student i Ålesund
    • Derfor velger vi NTNU
  • 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. Hjem
  2. Ansatte

Språkvelger

English

Antoine Rauzy

Antoine 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

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
    Vitenskapelig artikkel

2022

  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2022) Abstract executions of stochastic discrete event systems. International Journal of Critical Computer-Based Systems
    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
  • 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
  • Serru, Théo; Nguyen, Nga; Batteux, Michel; Rauzy, Antoine Bertrand. (2022) Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment. Electronics
    Vitenskapelig artikkel

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

  • Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety
    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
  • 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
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems
    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
  • Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP)
    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
  • 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; 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) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information
    Vitenskapelig artikkel
  • Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering
    Vitenskapelig artikkel

2018

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

2017

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

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

  • 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
  • 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

Tidsskriftspublikasjoner

  • 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
    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
  • 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
  • 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
  • Serru, Théo; Nguyen, Nga; Batteux, Michel; Rauzy, Antoine Bertrand. (2022) Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment. Electronics
    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
  • Yang, Liu; Rauzy, Antoine. (2021) Epistemic space of degradation processes. Journal of Applied Non-Classical Logics (JANCL)
    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
  • Yang, Liu; Rauzy, Antoine. (2019) Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety
    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
  • 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
  • Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. (2019) AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems
    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
  • Rauzy, Antoine; Yang, Liu. (2019) Finite degradation structures. Journal of Applied Logics (JAL-FLAP)
    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) Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information
    Vitenskapelig artikkel
  • Rauzy, Antoine; Haskins, Cecilia. (2019) Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering
    Vitenskapelig artikkel
  • Issad, Melissa; Kloul, Leila; Rauzy, Antoine. (2018) Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering
    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) Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research
    Vitenskapelig artikkel
  • Rauzy, Antoine. (2018) Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment . Entropy
    Vitenskapelig artikkel
  • Meng, Huixing; Kloul, Leila; Rauzy, Antoine. (2018) Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Kloul, Leïla; Rauzy, Antoine. (2017) Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety
    Vitenskapelig artikkel
  • Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. (2017) Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine
    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
  • 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
  • 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
  • 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
  • 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

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
  • 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
  • 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 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
  • 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
  • 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

Undervisning

Emner

  • TPK5120 - Grunnleggende modellutvikling
  • TPK4186 - Avanserte verktøy for Performance Engineering
  • TPK4520 - Prosjekt- og kvalitetsledelse, fordypningsprosjekt
  • PK8213 - Model Based System Engineering - Model Based Safety Assessment

Formidling

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 kunnsap for en bedre verden
Studere
  • Studieprogram
  • Emner
  • Videreutdanning og deltid
  • Jobbmuligheter
  • Karriereutvikling
  • Studentaktiviteter
  • Studentblogger
  • Hvorfor velge NTNU
Kontakt
  • Kontakt oss
  • Finn ansatte
  • Skolebesøk og messer
  • Spør en ekspert
  • For alumni
  • Pressekontakter
Oppdag NTNU
  • Arrangement
  • Jobbe ved NTNU
  • Bilder og video
  • Nyheter
  • Kart
  • NTNU i Gjøvik
  • NTNU i Trondheim
  • NTNU i Ålesund
Om NTNU
  • Strategi
  • Forskning
  • Satsingsområder
  • Innovasjon
  • Utdanningskvalitet
  • Organisasjonskart
  • Om NTNU
Tjenester
  • For ansatte
  • For studenter
  • Blackboard
  • Innsida

Norges teknisk-naturvitenskapelige universitet

Bruk av informasjonskapsler
Tilgjengelighetserklæring
Personvern
Ansvarlig redaktør
Logg inn