Antoine Rauzy

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 34

Top Topics

Reverse Engineer

Safety Analysis

Decision Diagrams

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. ACM Trans. Cyber Phys. Syst. 7 (3) (2023)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA (2022)
Sofie Bang, Magnus O. Aarvold, Wilhelm J. Hartvig, Nils O. E. Olsson, Antoine Rauzy
Application of machine learning to limited datasets: prediction of project success. J. Inf. Technol. Constr. 27 (2022)
Liu Yang, Antoine Rauzy
Epistemic space of degradation processes. J. Appl. Non Class. Logics 31 (1) (2021)
Olivier de Weck, Daniel Krob, Lefei Li, Pao Chuen Lui, Antoine Rauzy, Xinguo Zhang
Handling the COVID-19 crisis: Toward an agile model-based systems approach. Syst. Eng. 23 (5) (2020)
Benoît Lebeaupin, Antoine Rauzy
Toward a better integration of requirements and model-based specifications. Syst. Eng. 23 (6) (2020)
Liu Yang, Antoine Rauzy
Model synthesis using boolean expression diagrams. Reliab. Eng. Syst. Saf. 186 (2019)
Antoine Rauzy, Liu Yang
Decision Diagram Algorithms to Extract Minimal Cutsets of Finite Degradation Models. Inf. 10 (12) (2019)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy, Maurice Theobald
Synchronization of System Architecture, Multi-physics and Safety Models. CSDM (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA (2019)
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova, Antoine Rauzy
Synchronization of System Architecture and Safety Models: a Proof of Concept. ISSE (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA (2019)
Antoine Rauzy, Cecilia Haskins
Foundations for model-based systems engineering and model-based safety assessment. Syst. Eng. 22 (2) (2019)
Liu Yang, Antoine Rauzy
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. IMBSA (2019)
Antoine Rauzy, Liu Yang
Finite Degradation Structures. FLAP 6 (6) (2019)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Liu Yang, Antoine Rauzy
Reliability Modeling Using Finite Degradation Structures. ICSRS (2018)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang
Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS (2018)
Melissa Issad, Leïla Kloul, Antoine Rauzy
Scenario-oriented reverse engineering of complex railway system specifications. Syst. Eng. 21 (2) (2018)
Huixing Meng, Leïla Kloul, Antoine Rauzy
Modeling patterns for reliability assessment of safety instrumented systems. Reliab. Eng. Syst. Saf. 180 (2018)
Antoine Rauzy
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy 20 (3) (2018)
Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani
. Int. J. Intell. Transp. Syst. Res. 16 (3) (2018)
Leïla Kloul, Antoine Rauzy
Production trees: A new modeling methodology for production availability analyses. Reliab. Eng. Syst. Saf. 167 (2017)
Fares Innal, Antoine Rauzy, Yves Dutuit
Handling epistemic uncertainty in fault trees: New proposal based on evidence theory and Kleene Ternary decision diagrams. ICSRS (2017)
Vassiliki Michou, Sabine Bottin-Rousseau, Antoine Rauzy
Deploying a SPOC Creation Strategy at UPMC. EMOOCs-WIP (2017)
Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy
Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA (2017)
Anthony Legendre, Agnes Lanusse, Antoine Rauzy
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. IMBSA (2017)
Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel
A language proposition for system requirements. SysCon (2017)
Melissa Issad, Leïla Kloul, Antoine Rauzy
Incremental Modeling Methodology of Railway System Specifications. CSDM (2016)
Tatiana Prosvirnova, Antoine Rauzy
Automated generation of minimal cut sets from AltaRica 3.0 models. Int. J. Crit. Comput. Based Syst. 6 (1) (2015)
Antoine Rauzy, Chaire Blériot-Fabre
Towards a sound semantics for dynamic fault trees. Reliab. Eng. Syst. Saf. 142 (2015)
Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140 (2015)
Yves Dutuit, Antoine Rauzy
On the extension of Importance Measures to complex components. Reliab. Eng. Syst. Saf. 142 (2015)
P.-A. Brameret, Antoine Rauzy, Jean-Marc Roussel
Automated generation of partial Markov chain from high level descriptions. Reliab. Eng. Syst. Saf. 139 (2015)
Abraham Cherfi, Antoine Rauzy, Michel Leeman
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. IMBSA (2014)
Melissa Issad, Leïla Kloul, Antoine Rauzy
A Model-Based Methodology to Formalize Specifications of Railway Systems. IMBSA (2014)
Abraham Cherfi, Michel Leeman, Florent Meurville, Antoine Rauzy
Modeling automotive safety mechanisms: A Markovian approach. Reliab. Eng. Syst. Saf. 130 (2014)
Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy
Safety Assessment of an Electrical System with AltaRica 3.0. IMBSA (2014)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul
The AltaRica 3.0 project for model-based safety assessment. INDIN (2013)
Antoine Rauzy
Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Reliab. Eng. Syst. Saf. 96 (7) (2011)
Cristina Ibáñez-Llano, Antoine Rauzy, Enrique Meléndez, Francisco Nieto
A reduction approach to improve the quantification of linked fault trees through binary decision diagrams. Reliab. Eng. Syst. Saf. 95 (12) (2010)
Cristina Ibáñez-Llano, Antoine Rauzy, Enrique Meléndez, Francisco Nieto
Hybrid approach for the assessment of PSA models by means of binary decision diagrams. Reliab. Eng. Syst. Saf. 95 (10) (2010)
Albert F. Myers, Antoine Rauzy
Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams. IEEE Trans. Reliab. 57 (2) (2008)
Yves Dutuit, Fares Innal, Antoine Rauzy, Jean-Pierre Signoret
Probabilistic assessments in relationship with safety integrity levels by using Fault Trees. Reliab. Eng. Syst. Saf. 93 (12) (2008)
Albert F. Myers, Antoine Rauzy
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. Reliab. Eng. Syst. Saf. 93 (7) (2008)
Marie Boiteau, Yves Dutuit, Antoine Rauzy, Jean-Pierre Signoret
The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Reliab. Eng. Syst. Saf. 91 (7) (2006)
Antoine Rauzy
A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components. IEEE Trans. Reliab. 54 (1) (2005)
Yves Dutuit, Antoine Rauzy
Approximate estimation of system reliability via fault trees. Reliab. Eng. Syst. Saf. 87 (2) (2005)
Steve Epstein, Antoine Rauzy
Can we trust PRA? Reliab. Eng. Syst. Saf. 88 (3) (2005)
Antoine Rauzy
An experimental study on iterative methods to compute transient solutions of large Markov models. Reliab. Eng. Syst. Saf. 86 (1) (2004)
Antoine Rauzy, Eric Châtelet, Yves Dutuit, Christophe Bérenguer
A practical comparison of methods to assess sum-of-products. Reliab. Eng. Syst. Saf. 79 (1) (2003)
Antoine Rauzy
A new methodology to handle Boolean models with loops. IEEE Trans. Reliab. 52 (1) (2003)
Antoine Rauzy
Toward an efficient implementation of the MOCUS algorithm. IEEE Trans. Reliab. 52 (2) (2003)
Antoine Rauzy
Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78 (1) (2002)
Antoine Rauzy
Mathematical foundations of minimal cutsets. IEEE Trans. Reliab. 50 (4) (2001)
Didier Bégay, Antoine Rauzy
A realistic involvement of formal methods. Softw. Pract. Exp. 31 (2) (2001)
Yves Dutuit, Antoine Rauzy
New insights into the assessment of k-out-of-n and related systems. Reliab. Eng. Syst. Saf. 72 (3) (2001)
Yves Dutuit, Antoine Rauzy
Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Saf. 72 (2) (2001)
Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy
Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75 (1-2) (2000)
Frédéric Mesnard, Antoine Rauzy
Le iota-calcul: un langage de contraintes d'ordre supérieur. JFPLC (2000)
Serge Colin, Frédéric Mesnard, Antoine Rauzy
Un module Prolog de mu-calcul booléen: une réalisation par BDD. JFPLC (1999)
André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
The AltaRica Formalism for Describing Concurrent Systems. Fundam. Informaticae 40 (2-3) (1999)
Macha Nikolskaïa, Antoine Rauzy, David James Sherman
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. FMCAD (1998)
Marc-Michel Corsini, Antoine Rauzy
Toupie: The µ-calculus over Finite Domains as a Constraint Language. J. Autom. Reason. 19 (2) (1997)
Yves Dutuit, Antoine Rauzy
A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45 (3) (1996)
Antoine Rauzy
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). TACAS (1996)
Antoine Rauzy
Toupie = µ-Calculus + Constraints. CAV (1995)
Antoine Rauzy
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? CP (1995)
Odile Papini, Antoine Rauzy
Revision in Extended Propositional Calculus. ECSQARU (1995)
Marc-Michel Corsini, Antoine Rauzy
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ESOP (1994)
Antoine Rauzy
Toupie: a Constraint Language for Model Checking Constraint Programming (1994)
Srecko Brlek, Antoine Rauzy
Synchronization of Constrained Transition Systems. PASCO (1994)
Marc-Michel Corsini, Antoine Rauzy
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC (1994)
Antoine Rauzy
Notes on the Design of an Open Boolean Solver. ICLP (1994)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP (1993)
Marc-Michel Corsini, Antoine Rauzy
CLP(B): Do it Yourself. GULP (1993)
Marc-Michel Corsini, Antoine Rauzy
CLP(beta) joue la transparence. JFPL (1993)
Odile Papini, Antoine Rauzy
A Mixed Approach of Revision in Propositional Calculus. ECSQARU (1993)
Marc-Michel Corsini, Antoine Rauzy
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP (1993)
Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR (1993)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA (1992)
Antoine Rauzy
Contraintes booléennes et gestion d'arbres des défaillances. JFPL (1992)
Antoine Rauzy
Knowledge Extraction in Trivalued Propositional Logic. ECSQARU (1991)
Antoine Rauzy
Using Enumerative Methods for Boolean Unification. WCLP (1991)
Jean-Marc Boï, Antoine Rauzy
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. SPLT (1990)
Jean-Marc Boï, Antoine Rauzy
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. AIMSA (1990)