Antoine Rauzy
Professor Department of Mechanical and Industrial Engineering Department of Language and Literature Faculty of EngineeringBackground and activities
In theory, theory and practice are the same thing, In practice, they aren't.
Research
I'm currently interested in model engineering, with a special focus on probabilistic models for the assessment of performance of complex technical systems.
I'm working on mathematical foundations (including complexity issues), assessment algorithms and heuristics, modeling languages and modeling methodologies. I'm also developing software tools.
Teaching
I am currently teaching at NTNU and Ecole Centrale de Paris master and PhD level courses on Model-Based System Engineering and Safety & Reliability Engineering.
I am also teaching a course on (an Introduction to) Complex System Engineering for the 1rst year students of Ecole Centrale de Paris (500 students). This course is duplicated at Beihang University/Centrale Pékin.
About...
The publication list below is highly incomplete. The reason is that the data-base Cristin from which they are extracted does not provide any mean to upload publications from external sources if none of the authors was affiliated to NTNU at the time the work was published. So I have to enter my publications one by one, by hand.
I hope this interesting task will be completed in a few months...
Scientific, academic and artistic work
A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database
Journal publications
- (2017) A scenario-based FMEA method and its evaluation in a railway context. Proceedings. Annual Reliability and Maintainability Symposium.
- (2015) Automated generation of partial Markov chain from high level descriptions. Reliability Engineering & System Safety. vol. 139.
- (2015) On the Extension of Importance Measures to Complex Components. Reliability Engineering & System Safety. vol. 142.
- (2015) Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica. Reliability Engineering & System Safety. vol. 140.
- (2015) Automated generation of Minimal Cutsets from AltaRica 3.0 models. International Journal of Critical Computer-Based Systems. vol. 6 (1).
- (2015) Towards a Sound Semantics for Dynamic Fault Trees. Reliability Engineering & System Safety. vol. 142.
- (2014) Modeling Automotive Safety Mechanisms: A Markovian Approach. Reliability Engineering & System Safety. vol. 130.
- (2013) Importance Factors of Coherent Systems: a Review. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 228 (3).
- (2013) Modeling systems with mobile components: a comparison between AltaRica and PEPA nets. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 227 (6).
- (2013) Fault Tree Linking versus Event Tree Linking Approaches: a Reasoned Comparison. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 227 (3).
- (2011) Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Reliability Engineering & System Safety. vol. 96 (7).
- (2010) Hybrid approach for the assessment of PSA models by means of binary decision diagrams. Reliability Engineering & System Safety. vol. 95 (10).
- (2010) New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 224 (2).
- (2009) The Open PSA Initiative for next generation probabilistic safety assessment. Kerntechnik (1987). vol. 74 (3).
- (2009) Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 223 (4).
- (2008) Probabilistic assessments in relationship with Safety Integrity Levels by using Fault Trees. Reliability Engineering & System Safety. vol. 93 (12).
- (2008) A Snapshot of Methods and Tools to Assess Safety Integrity Levels of High Integrity Protection Systems. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 222 (3).
- (2008) Assessment of Redundant Systems with Imperfect Coverage by means of Binary Decision Diagrams. Reliability Engineering & System Safety. vol. 93 (7).
- (2008) Guarded Transition Systems: a new States/Events Formalism for Reliability Studies. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 222 (4).
- (2008) Some Disturbing Facts about Depth First Left Most Variable Ordering Heuristics for Binary Decision Diagrams. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability. vol. 222 (4).