Concepedia

Antoine Rauzy

AR

52

Publications

2.7K

Citations

27

H-Index

1993

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Norwegian University of Science and Technology

Université de Bordeaux

Institut Polytechnique de Bordeaux

Laboratoire d'Informatique de l'École Polytechnique

Antoine Rauzy is an author at Centre National de la Recherche Scientifique specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceReliability EngineeringSoftware AnalysisFormal MethodsFormal VerificationProgram AnalysisComputer EngineeringSoftware Testing

Publications per year

1993–2022

52

Publications

52

New algorithms for fault trees analysis

Antoine Rauzy · Reliability Engineering & System Safety · 1993 · 465 citations

Reliability Engineering, Engineering, Data Mining +8

The AltaRica Formalism for Describing Concurrent Systems

André Arnold, Gérald Point, Alain Griffault et al. · Fundamenta Informaticae · 1999 · 163 citations

Engineering, Complex Systems, Concurrent System +16

A linear-time algorithm to find modules of fault trees

Yves Dutuit, Antoine Rauzy · IEEE Transactions on Reliability · 1996 · 156 citations

Mathematical Programming, Engineering, Network Analysis +19

Mode automata and their compilation into fault trees

Antoine Rauzy · Reliability Engineering & System Safety · 2002 · 128 citations

Logical Automaton, Engineering, Program Analysis +9

Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia

Antoine Rauzy, Yves Dutuit · Reliability Engineering & System Safety · 1997 · 126 citations

Engineering, Non-coherent Fault Trees, Fault Analysis +4

Rows per page

1–5 of 52