Antoine Rauzy

Norwegian University of Science and Technology — Norway

Computer Science · Physical Sciences

30h-index3.3kcitations214works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(70), Formal Methods in Verification(54), Risk and Safety Analysis(46), Safety Systems Engineering in Autonomy(40), Model-Driven Software Engineering Techniques(32)

Publications212 total

A Prototype Risk Assessment Dashboard for the Construction Industry: Getting Experts in the Loop Thanks to Machine Learning
Safety·2025Open Access
Dynamic Safety and Risk Assessment of Tunnel Construction: Leveraging Systems Engineering through Sigma Modeling
2025Open Access
Safety analysis for deformable IoT system: a case study of wearable ECG monitoring system
IET conference proceedings.·2025
AltaRica Wizard : un environnement de modélisation et de simulation pour l'analyse de systèmes d'équations Booléennes stochastiques
SPIRE - Sciences Po Institutional REpository·2024Open Access
Génération automatique d'équations Booléennes stochastiques à partir de modèles AltaRica 3.0 : vers une meilleure lisibilité des modèles générés
SPIRE - Sciences Po Institutional REpository·2024Open Access
Investigating on Combining System Dynamics and Machine Learning for Predicting Safety Performance in Construction Projects
IOP Conference Series Earth and Environmental Science·2024Open Access
A new method for safety assessment of complex avionic systems
Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability·2024· 2 cited
Assessment of expected production of a deep‐sea mining system: An integrated model‐based systems engineering and discrete event simulation approach
Systems Engineering·2023· 4 citedOpen Access
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences
ACM Transactions on Cyber-Physical Systems·2023· 4 citedOpen Access
Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment
Electronics·2022· 10 citedOpen Access
Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study
HAL (Le Centre pour la Communication Scientifique Directe)·2022· 2 citedOpen Access
Application of machine learning to limited datasets: prediction of project success
Journal of Information Technology in Construction·2022· 10 citedOpen Access
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0
Lecture notes in computer science·2022Open Access
A Guided Tour of AltaRicaWizard, the AltaRica 3.0 Integrated Modeling Environment
2022· 2 cited
A Guided Tour of AltaRicaWizard, the AltaRica 3.0 Integrated Modeling Environment
2022
Abstract executions of stochastic discrete event systems
International Journal of Critical Computer-Based Systems·2022
Abstract executions of stochastic discrete event systems
International Journal of Critical Computer-Based Systems·2022· 5 citedOpen Access
An attempt to understand complexity in a government digital transformation project
International journal of information systems and project management·2021· 33 citedOpen Access
Efficient Modeling of Large Markov Chains Models with AltaRica 3.0
Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021)·2021· 1 cited
Benefits of Graphical Animation of Advanced AltaRica 3.0 Models
Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021)·2021
page 1 of 11Next →

Frequent Co-authors

Yves Dutuit(12), Tatiana Prosvirnova(6), Michel Batteux(5), A. F. Myers(3), Leı̈la Kloul(3), Pierre-Antoine Brameret(2), Abraham Cherfi(2), Jean Pierre Signoret(2), Ėric Châtelet(2), J-P Signoret(2), Marc-Michel Corsini(2), Kaninda Musumbu(2), Baudouin Le Charlier(2), Huixing Meng(2), Cristina Ibáñez-Llano(2), E. Meléndez(2), Francisco Javier Sáez Nieto(2), André Arnold(1), Gérald Point(1), Alain Griffault(1)