Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. - Jean-Marc Boï; Antoine Rauzy (AIMSA, 1990)

La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. - Jean-Marc Boï; Antoine Rauzy (SPLT, 1990)

Knowledge Extraction in Trivalued Propositional Logic. - Antoine Rauzy (ECSQARU, 1991)

Using Enumerative Methods for Boolean Unification. - Antoine Rauzy (WCLP, 1991)

Contraintes booléennes et gestion d'arbres des défaillances. - Antoine Rauzy (JFPL, 1992)

The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy (WSA, 1992)

CLP(B): Do it Yourself. - Marc-Michel Corsini; Antoine Rauzy (GULP, 1993)

A Mixed Approach of Revision in Propositional Calculus. - Odile Papini; Antoine Rauzy (ECSQARU, 1993)

Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. - Marc-Michel Corsini; Antoine Rauzy (ICLP, 1993)

CLP(beta) joue la transparence. - Marc-Michel Corsini; Antoine Rauzy (JFPL, 1993)

Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. - Marc-Michel Corsini; Alain Griffault; Antoine Rauzy (LPAR, 1993)

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy; Baudouin Le Charlier (PLILP, 1993)

Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. - Marc-Michel Corsini; Antoine Rauzy (ESOP, 1994)

Notes on the Design of an Open Boolean Solver. - Antoine Rauzy (ICLP, 1994)

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. - Marc-Michel Corsini; Antoine Rauzy (JFPLC, 1994)

Synchronization of Constrained Transition Systems. - Srecko Brlek; Antoine Rauzy (PASCO, 1994)

Toupie: a Constraint Language for Model Checking - Antoine Rauzy (Constraint Programming, 1994)

Toupie = µ-Calculus + Constraints. - Antoine Rauzy (CAV, 1995)

Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? - Antoine Rauzy (CP, 1995)

Revision in Extended Propositional Calculus. - Odile Papini; Antoine Rauzy (ECSQARU, 1995)

Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). - Antoine Rauzy (TACAS, 1996)

A linear-time algorithm to find modules of fault trees. - Yves Dutuit; Antoine Rauzy (IEEE Trans. Reliab., 1996)

Toupie: The µ-calculus over Finite Domains as a Constraint Language. - Marc-Michel Corsini; Antoine Rauzy (J. Autom. Reason., 1997)

Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. - Macha Nikolskaïa; Antoine Rauzy; David James Sherman (FMCAD, 1998)

Un module Prolog de mu-calcul booléen: une réalisation par BDD. - Serge Colin; Frédéric Mesnard; Antoine Rauzy (JFPLC, 1999)

The AltaRica Formalism for Describing Concurrent Systems. - André Arnold; Gérald Point; Alain Griffault; Antoine Rauzy (Fundam. Informaticae, 1999)

Le iota-calcul: un langage de contraintes d'ordre supérieur. - Frédéric Mesnard; Antoine Rauzy (JFPLC, 2000)

Bypassing BDD construction for reliability analysis. - Poul Frederick Williams; Macha Nikolskaïa; Antoine Rauzy (Inf. Process. Lett., 2000)

Efficient algorithms to assess component and gate importance in fault tree analysis. - Yves Dutuit; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2001)

New insights into the assessment of k-out-of-n and related systems. - Yves Dutuit; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2001)

A realistic involvement of formal methods. - Didier Bégay; Antoine Rauzy (Softw. Pract. Exp., 2001)

Mathematical foundations of minimal cutsets. - Antoine Rauzy (IEEE Trans. Reliab., 2001)

Mode automata and their compilation into fault trees. - Antoine Rauzy (Reliab. Eng. Syst. Saf., 2002)

A practical comparison of methods to assess sum-of-products. - Antoine Rauzy; Eric Châtelet; Yves Dutuit; Christophe Bérenguer (Reliab. Eng. Syst. Saf., 2003)

A new methodology to handle Boolean models with loops. - Antoine Rauzy (IEEE Trans. Reliab., 2003)

Toward an efficient implementation of the MOCUS algorithm. - Antoine Rauzy (IEEE Trans. Reliab., 2003)

An experimental study on iterative methods to compute transient solutions of large Markov models. - Antoine Rauzy (Reliab. Eng. Syst. Saf., 2004)

Approximate estimation of system reliability via fault trees. - Yves Dutuit; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2005)

Can we trust PRA? - Steve Epstein; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2005)

A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components. - Antoine Rauzy (IEEE Trans. Reliab., 2005)

The AltaRica data-flow language in use: modeling of production availability of a multi-state system. - Marie Boiteau; Yves Dutuit; Antoine Rauzy; Jean-Pierre Signoret (Reliab. Eng. Syst. Saf., 2006)

Probabilistic assessments in relationship with safety integrity levels by using Fault Trees. - Yves Dutuit; Fares Innal; Antoine Rauzy; Jean-Pierre Signoret (Reliab. Eng. Syst. Saf., 2008)

Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. - Albert F. Myers; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2008)

Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams. - Albert F. Myers; Antoine Rauzy (IEEE Trans. Reliab., 2008)

Hybrid approach for the assessment of PSA models by means of binary decision diagrams. - Cristina Ibáñez-Llano; Antoine Rauzy; Enrique Meléndez; Francisco Nieto (Reliab. Eng. Syst. Saf., 2010)

A reduction approach to improve the quantification of linked fault trees through binary decision diagrams. - Cristina Ibáñez-Llano; Antoine Rauzy; Enrique Meléndez; Francisco Nieto (Reliab. Eng. Syst. Saf., 2010)

Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. - Antoine Rauzy (Reliab. Eng. Syst. Saf., 2011)

The AltaRica 3.0 project for model-based safety assessment. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Leïla Kloul (INDIN, 2013)

AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. - Abraham Cherfi; Antoine Rauzy; Michel Leeman (IMBSA, 2014)

A Model-Based Methodology to Formalize Specifications of Railway Systems. - Melissa Issad; Leïla Kloul; Antoine Rauzy (IMBSA, 2014)

Safety Assessment of an Electrical System with AltaRica 3.0. - Hala Mortada; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2014)

Modeling automotive safety mechanisms: A Markovian approach. - Abraham Cherfi; Michel Leeman; Florent Meurville; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2014)

Automated generation of minimal cut sets from AltaRica 3.0 models. - Tatiana Prosvirnova; Antoine Rauzy (Int. J. Crit. Comput. Based Syst., 2015)

Automated generation of partial Markov chain from high level descriptions. - P.-A. Brameret; Antoine Rauzy; Jean-Marc Roussel (Reliab. Eng. Syst. Saf., 2015)

On the extension of Importance Measures to complex components. - Yves Dutuit; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2015)

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. - Michael Lipaczewski; Frank Ortmeier; Tatiana Prosvirnova; Antoine Rauzy; Simon Struck (Reliab. Eng. Syst. Saf., 2015)

Towards a sound semantics for dynamic fault trees. - Antoine Rauzy; Chaire Blériot-Fabre (Reliab. Eng. Syst. Saf., 2015)

Incremental Modeling Methodology of Railway System Specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (CSDM, 2016)

Deploying a SPOC Creation Strategy at UPMC. - Vassiliki Michou; Sabine Bottin-Rousseau; Antoine Rauzy (EMOOCs-WIP, 2017)

Handling epistemic uncertainty in fault trees: New proposal based on evidence theory and Kleene Ternary decision diagrams. - Fares Innal; Antoine Rauzy; Yves Dutuit (ICSRS, 2017)

Safety Analysis of a Data Center's Electrical System Using Production Trees. - Walid Mokhtar Bennaceur; Leïla Kloul; Antoine Rauzy (IMBSA, 2017)

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. - Anthony Legendre; Agnes Lanusse; Antoine Rauzy (IMBSA, 2017)

A language proposition for system requirements. - Benoît Lebeaupin; Antoine Rauzy; Jean-Marc Roussel (SysCon, 2017)

Production trees: A new modeling methodology for production availability analyses. - Leïla Kloul; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2017)

Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Liu Yang (ICSRS, 2018)

Reliability Modeling Using Finite Degradation Structures. - Liu Yang; Antoine Rauzy (ICSRS, 2018)

Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. - Antoine Rauzy (Entropy, 2018)

Modeling the CBTC Railway System of Siemens with ScOLa. - Melissa Issad; Leïla Kloul; Antoine Rauzy; Karim Berkani (Int. J. Intell. Transp. Syst. Res., 2018)

Modeling patterns for reliability assessment of safety instrumented systems. - Huixing Meng; Leïla Kloul; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2018)

Scenario-oriented reverse engineering of complex railway system specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (Syst. Eng., 2018)

Synchronization of System Architecture, Multi-physics and Safety Models. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Luca Palladino; Tatiana Prosvirnova; Antoine Rauzy; Maurice Theobald (CSDM, 2019)

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2019)

FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. - Liu Yang; Antoine Rauzy (IMBSA, 2019)

Synchronization of System Architecture and Safety Models: a Proof of Concept. - Michel Batteux; Jean-Yves Choley; Faïda Mhenni; Tatiana Prosvirnova; Antoine Rauzy (ISSE, 2019)

Finite Degradation Structures. - Antoine Rauzy; Liu Yang (FLAP, 2019)

AltaRica 3.0 in ten modelling patterns. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (Int. J. Crit. Comput. Based Syst., 2019)

Decision Diagram Algorithms to Extract Minimal Cutsets of Finite Degradation Models. - Antoine Rauzy; Liu Yang (Inf., 2019)

Model synthesis using boolean expression diagrams. - Liu Yang; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2019)

Foundations for model-based systems engineering and model-based safety assessment. - Antoine Rauzy; Cecilia Haskins (Syst. Eng., 2019)

Toward a better integration of requirements and model-based specifications. - Benoît Lebeaupin; Antoine Rauzy (Syst. Eng., 2020)

Handling the COVID-19 crisis: Toward an agile model-based systems approach. - Olivier de Weck; Daniel Krob; Lefei Li; Pao Chuen Lui; Antoine Rauzy; Xinguo Zhang (Syst. Eng., 2020)

Government inter-organizational, digital transformation projects: five key lessons learned from a Norwegian case study. - Kristin H. J. Hafseld; Bassam A. Hussein; Antoine B. Rauzy (CENTERIS/ProjMAN/HCist, 2021)

Epistemic space of degradation processes. - Liu Yang; Antoine Rauzy (J. Appl. Non Class. Logics, 2021)

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy (IMBSA, 2022)

Abstract executions of stochastic discrete event systems. - Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy (Int. J. Crit. Comput. Based Syst., 2022)

Application of machine learning to limited datasets: prediction of project success. - Sofie Bang; Magnus O. Aarvold; Wilhelm J. Hartvig; Nils O. E. Olsson; Antoine Rauzy (J. Inf. Technol. Constr., 2022)

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. - Théo Serru; Nga Nguyen 001; Michel Batteux; Antoine Rauzy (ACM Trans. Cyber Phys. Syst., 2023)

Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach. - Astrid V. Solheim; Antoine B. Rauzy; Per Olaf Brett; Steinar L. Ellefmo; Tonje Hatling; Rudy Helmons; Bjørn Egil Asbjørnslett (Syst. Eng., 2023)