unknown record type proceedings (0) A. Rauzy's Publications

A. Rauzy's Publications

2012

Conferences

Assessing the Dependability of Systems with Repairable and Spare Components
P.A. Brameret, A. Rauzy, and J.M. Roussel
In J.F. Barbet ed., Actes du Congrès Lambda-Mu 18. Octobre, 2012.
Variant Management in a Modular PSA
M. Hibti, T. Friedlhuber, and A. Rauzy
In R. Virolainen ed., Proceedings of International Joint Conference PSAM'11/ESREL'12. June, 2012.
Overview of The Open PSA Platform
M. Hibti, T. Friedlhuber, and A. Rauzy
In R. Virolainen ed., Proceedings of International Joint Conference PSAM'11/ESREL'12. June, 2012.
Fault Tree Linking versus Event Tree Linking Approaches: A Mathematical and Algorithmic Reconciliation
O. Nusbaumer, and A. Rauzy
In R. Virolainen ed., Proceedings of International Joint Conference PSAM'11/ESREL'12. June, 2012.
Système de Transitions Gardées : formalisme pivot de modélisation pour la Sûreté de Fonctionnement
T. Prosvirnova, and A. Rauzy
In J.F. Barbet ed., Actes du Congrès Lambda-Mu 18. Octobre, 2012.
Modélisation des systèmes avec des composants mobiles en AltaRica
T. Prosvirnova, and A. Rauzy
In J.F. Barbet ed., Actes du Congrès Lambda-Mu 18. Octobre, 2012.
Anatomy of an Efficient Fault Tree Assessment Engine
A. Rauzy
In R. Virolainen ed., Proceedings of International Joint Conference PSAM'11/ESREL'12. June, 2012.
XFTA: Pour que cent arbres de défaillance fleurissent au printemps
A. Rauzy
In J.F. Barbet ed., Actes du Congrès Lambda-Mu 18. Octobre, 2012.

Proceedings

Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
M. Aiguier and Y. Caseau and D. Krob and A. Rauzy ed., Springer Verlag. ISBN 978-3-642-34403-9 (Print) 978-3-642-34404-6 (Online). 2012.

Notes, Technical Reports...

Probabilistic Risk Assessment: Mathematical and Algorithmic Challenges
A. Rauzy
Notes from the invited talk given at ESREL2012/PSAM11, to appear in ESRA NewsLetter 2012.

2011

Journals

Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees
A. Rauzy
In Reliability Engineering and System Safety. Vol. 96, Num. 7, pp 785–792, 2011.

2010

Journals

New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems
F. Inal, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 224, Num. 2, pp 75–86, 2010.
Hybrid approach for the assessment of PSA models by means of binary decision diagrams
C. Ibàñez-Llano, A. Rauzy, E. Meléndez, and F. Nieto
In Reliability Engineering and System Safety. Elsevier. Vol. 95, Num. 10, pp 1076–1092, 2010.

Conferences

Allocation de disponibilité avec Aralia
C. Dupart, P. Morel, A. Rauzy, and P. Thomas
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). October, 2010.
Validation Project for the Open-PSA Model Exchange using RiskSpectrum and CAFTA
S. Epstein, M. Reinhart, and A. Rauzy
In B.P. Hallbert ed., Proceeding of the PSAM'10 Conference. June, 2010.
Introduction au nouveau langage pour la sûreté de fonctionnement : AltaRica nouvelle génération
B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). October, 2010.
Arbres de défaillance dynamiques : une bibliothèque pour la nouvelle génération d'AltaRica
B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). October, 2010.
Expériences de couplages de modèles AltaRica avec des interfaces métiers
B. Perrot, T. Prosvirnova, A. Rauzy, J.-P. Sahut d'Izarn, and R. Schoening
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). October, 2010.
Diagrammes Binaires de Décision pondérés : vieilles idées, nouvelle mise en œuvre
A. Rauzy
In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). October, 2010.

Notes, Technical Reports...

A Sound Semantics for Dynamic Fault Trees
A. Rauzy
LIX, Ecole Polytechnique.
Unpublished yet. 2010.

2009

Journals

Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models
C. Ibàñez-Llano, A. Rauzy, E. Meléndez, and F. Nieto
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 223, Num. 4, pp 301–311, 2009.

2008

Journals

Probabilistic assessments in relationship with Safety Integrity Levels by using Fault Trees
Y. Dutuit, F. Innal, A. Rauzy, and J.-P. Signoret
In Reliability Engineering and System Safety. Elsevier. Vol. 93, Num. 12, pp 1867–1876, December, 2008.
A Snapshot of Methods and Tools to Assess Safety Integrity Levels of High Integrity Protection Systems
Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 222, Num. 3, pp 371–379, 2008.
Assessment of Redundant Systems with Imperfect Coverage by means of Binary Decision Diagrams
A. Myers, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 93, Num. 7, pp 1025–1035, 2008.
Guarded Transition Systems: a new States/Events Formalism for Reliability Studies
A. Rauzy
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 222, Num. 4, pp 495–505, 2008.
Some Disturbing Facts about Depth First Left Most Variable Ordering Heuristics for Binary Decision Diagrams
A. Rauzy
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 222, Num. 4, pp 573–582, 2008.

Book Chapters

Imperfect Coverage Models: Status and Trends
S.V. Amari, A. Myers, A. Rauzy, and K. Trivedi
In K.B. Misra ed., Handbook of Performability Engineering. Elsevier. pp 321–348, 2008.
BDD for Reliability Studies
A. Rauzy
In K.B. Misra ed., Handbook of Performability Engineering. Elsevier. pp 381–396, 2008.

Conferences

Sûreté de Fonctionnement et Analyse de Performances
E. Arbaretier, Z. Brick, and A. Rauzy
In A. Lannoy ed., Actes du congrès LambdaMu'16 (actes électroniques). October, 2008.
New insights into PFDavg and PFH
F. Innal, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In S. Martorell ed., Proceedings of European Conference on Reliability, ESREL'08. 2008.
Variable Ordering Heuristics for BDD based on Minimal Cutsets
C. Ibañez Llano, and A. Rauzy
In E. Zio ed., Proceeding of the PSAM'9 Conference. 2008.
Variable Ordering techniques for the application of Binary Decision Diagrams on PSA linked Fault Tree models
C. Ibañez Llano, A. Rauzy, E. Meléndez Asensio, and F. Nieto Fuentes
In Proceeding of the ESREL 2008 Conference. 2008.

2007

Journals

Assessment of Large Automatically Generated Fault Trees by means of Binary Decision Diagrams
A. Rauzy, J. Gauthier, and X. Leduc
In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 221, Num. 2, pp 95–105, 2007.

Conferences

An Efficient Algorithm To Analyze New Imperfect Fault Coverage Models
S. Amari, A. Myers, and A. Rauzy
In Proceedings of the Reliability And Maintainability Symposium, RAMS'07. Orlando, FL, USA. pp 420–426, 2007.
A Modest Proposal: A Standard PSA Model Representation Format
S. Epstein, O. Nusbaumer, A. Rauzy, and D. Wakefield
In Proceedings of the conference Nuclear Energy for New Europe, 2007. Portoroz, Slovenia. 2007.
High integrity protection systems (HIPS): methods and tools for efficient safety integrity levels (SIL) analysis and calculations
J.-P. Signoret, Y. Dutuit, and A. Rauzy
In T. Aven ed., Proceedings of European Conference on Reliability, ESREL'07. 2007.

2006

Journals

The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System
M. Boiteau, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Reliability Engineering and System Safety. Elsevier. Vol. 91, Num. 7, pp 747–755, 2006.

Conferences

Probabilistic assessments in relationship with Safety Integrity Levels by using Fault Trees
Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Proceedings of ESREL Conference, ESREL'06. pp 1619-1624, 2006.
Can We Trust PRA: take 3
S. Epstein, A. Rauzy, and D. Wakefield
In Proceedings of PSAM'8, New Orleans. 2006.
An attempt to understand better and apply some recommendations of IEC 61508 standard
F. Innal, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Proceedings of Esreda Seminar Reliability of Safety-Critical System. June, 2006.
Évaluation des ``Safety Integrity Levels'' par arbres de défaillance
A. Rauzy, Y. Dutuit, and J.-P. Signoret
In L. Magnes ed., Actes du congrès LambdaMu'15 (actes électroniques). October, 2006.

2005

Journals

Approximate estimation of system reliability via fault trees
Y. Dutuit, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 87, Num. 2, pp 163–172, 2005.
Can We Trust PRA?
S. Epstein, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 88, Num. 3, pp 195–205, 2005.
A m\log m algorithm to compute the most probable configurations of a system with multi-mode independent components
A. Rauzy
In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 54, Num. 1, pp 156–158, 2005.

2004

Journals

An Experimental Study on Six Algorithms to Compute Transient Solutions of Large Markov Systems
A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 86, Num. 1, pp 105–115, October, 2004.

Conferences

Disponibilité de production: les nouveaux outils sont arrivés
J.-P. Signoret, M. Boiteau, A. Rauzy, and P. Thomas
In Actes du congrès LambdaMu'14. October, 2004.

2003

Journals

An engineering approach to optimize system design or spare parts inventory
J.-L. Chabot, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Risk Decision and Policy. Taylor and Francis, ISSN 1357-5309. Vol. 8, pp 1–11, 2003.
A practical comparison of methods to assess sum-of-products
A. Rauzy, E. Ch\^atelet, Y. Dutuit, and C. Bérenguer
In Reliability Engineering and System Safety. Elsevier. Vol. 79, Num. 1, pp 33–42, January, 2003.
A New Methodology to Handle Boolean Models with Loops
A. Rauzy
In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 52, Num. 1, pp 96–105, 2003.
Towards an Efficient Implementation of Mocus
A. Rauzy
In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 52, Num. 2, pp 175–180, 2003.

2002

Journals

Modes Automata and their Compilation into Fault Trees
A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 78, Num. 1, pp 1–12, 2002.

Conferences

Very Large Nuclear Risk Models and Binary Decision Diagrams
S. Epstein, D. Wakefield, and A. Rauzy
In American Nuclear Society, La Grange Park, Illinois ed., Proceedings of PSA 02, International Topical Meeting on Probabilistic Safety Assessment, Detroit, Michigan. pp 80–84, October, 2002.

2001

Journals

Efficient Algorithms to Assess Components and Gates Importances in Fault Tree Analysis
Y. Dutuit, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 72, Num. 2, pp 213–222, May, 2001.
New insights in the assessment of k-out-of-n and related systems
Y. Dutuit, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 72, Num. 3, pp 303–314, 2001.
Mathematical Foundation of Minimal Cutsets
A. Rauzy
In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 50, Num. 4, pp 389–396, december, 2001.

Book Chapters

Approche Analytique Événementielle
Y. Dutuit, and A. Rauzy
In E. Niel and E. Craye ed., Ma\^itrise des Risques et Sûreté de fonctionnement des Systèmes de Production. Hermès-Lavoisier. 2001.

Conferences

Simulation versus Markovian methods in system dependability assessment
C. Berenguer, E. Ch\^atelet, Y. Dutuit, and A. Rauzy
In International Conference on Industrial Logistics 2001 (ICIL'01). Okinawa, Japan. 2001.
Une introduction au traitement dynamique de la fiabilité des systèmes par réseaux de Petri hybrides
J.-L. Chabot, Y. Dutuit, and A. Rauzy
In JN FIAB 3-Troisième Conférence Nationale Fiabilité des matériaux et des structures. 2001.

2000

Journals

The AltaRica Formalism for Describing Concurrent Systems
A. Arnold, A. Griffault, G. Point, and A. Rauzy
In Fundamenta Informaticae. IOS Press. Vol. 34, pp 109–124, 2000.
A Realistic Involvement in Formal Methods
D. Bégay, and A. Rauzy
In Software Practice and Experience. Wiley. Vol. 31, Num. 2, pp 191–208, 2000.
Bypassing BDD construction for reliability analysis
P.F. Williams, M. Nikolska\"ia, and A. Rauzy
In Information Processing Letters. Elsevier. Vol. 75, pp 85–89, 2000.

Conferences

Un exemple réaliste d'application des méthodes formelles
D. Bégay, and A. Rauzy
In Actes du congrès LambdaMu'12. pp 147–156, 2000.
MINIPLANT, un cas pédagogique de Sûreté de Fonctionnement
J.-L. Chabot, Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Acte du congrès LambdaMu'12. pp 199–204, 2000.
New Insight on Measures of Importance of Components and Systems in Fault Tree Analysis
Y. Dutuit, O. Lemaire, and A. Rauzy
In S. Kondo and K. Furuta ed., Proceedings of the International Conference on Probabilistic Safety Assessment and Management, PSAM'5. pp 729–734, 2000.
Traitement des arbres d'événements. Problèmes et solutions.
F. Ducamp, F. Meunier, A. Rauzy, J.-P. Signoret, and P. Thomas
In Acte du congrès LambdaMu'12. pp 269–274, 2000.
Handling very large Event Trees by means of Binary Decision Diagrams
F. Ducamp, S. Planchon, A. Rauzy, and P. Thomas
In S. Kondo and K. Furuta ed., Proceedings of the International Conference on Probabilistic Safety Assessment and Management, PSAM'5. pp 1447–1452, 2000.
Application des diagrammes binaires d'expressions au traitement d'arbres de défaillance
M. Nikolskaia, and A. Rauzy
In Actes du congrès LambdaMu'12. pp 363–367, 2000.

1999

Journals

An Optimized Procedure to Generate Sums of Disjoint Products
E. Ch\^atelet, Y. Dutuit, A. Rauzy, and T. Bouhoufani
In Reliability Engineering and System Safety. Elsevier. Vol. 65, pp 289–294, 1999.
Où la polynomialité n'est qu'énumérative
R. Génisson, and A. Rauzy
In Revue d'Intelligence Artificielle. Hermès. Vol. 13, Num. 2, pp 355–388, 1999.
AltaRica: Constraint automata as a description language
G. Point, and A. Rauzy
In Journal Européen des Systèmes Automatisés. Hermès. Vol. 33, Num. 8–9, pp 1033–1052, 1999.

Conferences

Un cas pédagogique illustrant la notion multiforme de dépendance en sûreté de fonctionnement
F. Coletti, Y. Dutuit, and A. Rauzy
In Actes du colloque CNR-IUT'99. 1999.
Un module prolog de mu-calcul booléen :une réalisation par BDD
S. Colin, F. Mesnard, and A. Rauzy
In Actes des journées francophones de programmation logique et par contraintes, JFPLC'99. 1999.
A Guided Tour of Minimal Cutsets Handling by means of Binary Decision Diagrams
Y. Dutuit, and A. Rauzy
In Proceedings of Probabilistic Safety Assessment conference, PSA'99. Vol. 2, pp 55–62, 1999.
New algorithms to compute importance factors CPr, MIF, CIF, DIF, RAW and RRW
Y. Dutuit, and A. Rauzy
In Proceedings of the European Safety and Reliability Association Conference, ESREL'99. Vol. 2, pp 1015–1020, 1999.
Evaluation of Systems Reliability by means of Binary Decision Diagram
Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Proceedings of the Probabilistic Safety Assessment Conference, PSA'99. Vol. 1, pp 521–528, 1999.
Disponibilité d'un système en attente et périodiquement testé
Y. Dutuit, A. Rauzy, J.-P. Signoret, and P. Thomas
In Actes du colloque Qualita'99. pp 367–376, 1999.
Fine-tuning of boolean formulae preprocessing techniques
M. Nikolskaia, and A. Rauzy
In Proceedings of the European Safety and Reliability Association Conference, ESREL'99. Vol. 2, pp 1027–1032, 1999.
AltaRica: Langage de modélisation par automates à contraintes
G. Point, and A. Rauzy
In Actes du 2ième congrès sur la modélisation de systèmes réactifs, MSR'99. 1999.
Calcul propositionnel : Vers une extension du formalisme
A. Rauzy, L. Sais, and L. Brisoux
In Actes de Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99. 1999.
Compilation of constraint automata into fault trees
A. Rauzy, and R. Winckell
In Proceedings of the European Safety and Reliability Association Conference, ESREL'99. Vol. 2, pp 815–821, 1999.
Hévéa : un gestionnaire d'arbres d'événements couplé à Aralia/SimTree
P. Thomas, and A. Rauzy
In Actes du colloque Qualita'99. pp 463–474, 1999.

1998

Conferences

Comparison between two tools (Aralia and ESCAF) applied to the Study of the Emergency Shutdown System of a Nuclear Reactor
S. Combacon, Y. Dutuit, A. Laviron, and A. Rauzy
In A. Mosleh and R.A. Bari ed., Proceedings of the International Conference of Probabilistic Safety Assessment and Management, PSAM'4. New-York. Vol. 2, pp 1019–1024, 1998.
Conception Optimization Based on the Definition of Availability Allocation Taking into Account Cost Constraint
H. Desille, F. Meunier, A. Rauzy, and P. Thomas
In A. Mosleh and R.A. Bari ed., Proceedings of the International Conference of Probabilistic Safety Assessment and Management, PSAM'4. New-York. Vol. 2, pp 1591–1596, 1998.
Polynomial Approximations of Boolean Functions by means of positive Binary Decision Diagrams
Y. Dutuit, and A. Rauzy
In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Association Conference, ESREL'98. pp 1467–1472, 1998.
Sherloc: a Desk Calculator for Availability Allocation in Fault Trees
F. Meunier, A. Rauzy, and P. Thomas
In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Association Conference, ESREL'98. 1998.
Heuristics for BDD Handling of Sum-of-Products Formulae
M. Nikolskaia, and A. Rauzy
In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Association Conference, ESREL'98. pp 1459–1465, 1998.
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods
M. Nikolskaia, A. Rauzy, and D. Sherman
In Springer Verlag ed., Proceedings of Formal Methods in Computer Aided Design Conference, FMCAD'98. Vol. 1522, pp 100–114, 1998.
Le langage AltaRica
G. Point, P. Thomas, S. Lajeunesse, A. Rauzy, and J.-P. Signoret
In Actes du 11ième colloque national de Fiabilité et Maintenabilité, LambdaMu'11. pp 119–125, 1998.
A Tutorial Introduction to Formal Verification and its Application to Dependability Analyses
A. Rauzy
In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Association Conference, ESREL'98. pp 1237–1242, 1998.
Propogation des incertidudes à travers les arbres de défaillances et analyse de sensibilité
J.-P. Signoret, Y. Dutuit, and A. Rauzy
In Actes du 11ième colloque national de Fiabilité et Maintenabilité, LambdaMu'11. pp 585–594, 1998.
The AltaRica Language
J.P. Signoret, S. Lajeunesse, G. Point, P. Thomas, A. Griffault, and A. Rauzy
In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Association Conference, ESREL'98. 1998.
Sherloc : outil d'allocation d'indisponibilité pour les arbres de défaillance
P. Thomas, F. Meunier, and A. Rauzy
In Actes du 11ième colloque national de Fiabilité et Maintenabilité, LambdaMu'11. pp 278–283, 1998.

1997

Journals

Toupie: the μ-calculus over finite domains as a constraint language
M-M. Corsini, and A. Rauzy
In Journal of Automated Reasonning. Kluwer Academic Publishers. Vol. 17, pp 143–171, 1997.
Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia
Y. Dutuit, and A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 58, Num. 2, pp 127–144, 1997.

Conferences

BDD based Fault-Tree Processing: A Comparison of Variable Ordering Heuristics
M. Bouissou, F. Bruyère, and A. Rauzy
In C. Guedes Soares ed., Proceedings of European Safety and Reliability Association Conference, ESREL'97. Vol. 3, pp 2045–2052, 1997.
A New Notion of Prime Implicants and its Implementation by Means of Binary Decision Diagrams
Y. Dutuit, and A. Rauzy
In Proceedings of the 1st International Conference on Mathematical Methods in Reliability, MMR'97. pp 111–119, 1997.
Handling Boolean Models with Loops
Y. Dutuit, and A. Rauzy
In C. Guedes Soares ed., Proceedings of European Safety and Reliability Association Conference, ESREL'97. Vol. 3, pp 2063–2070, 1997.
Monte-Carlo Simulation to Propagate Uncertainties in Fault Trees encoded by means of Binary Decision Diagrams
Y. Dutuit, A. Rauzy, and J.-P. Signoret
In Proceedings of the 1st International Conference on Mathematical Methods in Reliability, MMR'97. pp 305–312, 1997.
Analyse qualitative et quantitative de la fiabilité d'un système dynamique
Y. Dutuit, P. Thomas, A. Rauzy, and J.-P. Signoret
In Actes du 2ième Congrès Pluridisciplinaire Qualité et Sûreté de Fonctionnement. pp 243–250, Mars, 1997.
Utilisation du système de programmation par contraintes Toupie pour l'analyse de dysfonctionnements de systèmes industriels
S. Lajeunesse, and A. Rauzy
In Actes du congrès Qualité et Sûreté de Fonctionnement'97. pp 395–404, 1997.
Using the Constraint System Toupie to Perform Reliability Analyses
S. Lajeunesse, and A. Rauzy
In C. Guedes Soares ed., Proceedings of European Safety and Reliability Association Conference, ESREL'97. Vol. 3, 1997.
Utilisation de la méthode du gradient descendant pour l'allocation de fiabilité
F. Meunier, A. Rauzy, and P. Thomas
In Actes de la 3ième Conférence Nationale sur la Résolution Pratique de Problèmes NP-Complets. pp 109–112, 1997.

1996

Theses

Démonstration automatique expérimentale
A. Rauzy
Habilitation à diriger des recherches.
Laboratoire Bordelais de Recherches en Informatique (LaBRI), Université Bordeaux I. juin, 1996.

Journals

Une version concurrente de la procédure de Davis et Putnam
B. Benhamou, R. Génisson, and A. Rauzy
In Revue d'Intelligence Artificielle. Hermès. Vol. 10, Num. 4, pp 499–506, 1996.
A Linear Time Algorithm to Find Modules of Fault Trees
Y. Dutuit, and A. Rauzy
In IEEE Transactions on Reliability. IEEE Reliability Society. Vol. 45, Num. 3, pp 422–425, 1996.
An Brief Introduction to Binary Decision Diagrams
A. Rauzy
In RAIRO-APII-JESA. Vol. 30, Num. 8, pp 1033–1051, 1996.

Conferences

Computing Network Reliability with Réséda and Aralia
Y. Dutuit, A. Rauzy, and J.-P. Signoret
In C. Cacciabue and I.A. Papazoglou ed., Proceedings of European Safety and Reliability Association Conference, ESREL'96. Vol. 3, pp 1947–1952, 1996.
Modélisation d'un système dynamique simple et évaluation de sa fiabilité par réseaux de Petri stochastiques
Y. Dutuit, P. Thomas, A. Rauzy, and J.-P. Signoret
In Actes du 10ième colloque national Fiabilité & Maintenabilité, LambdaMu'10. pp 648–659, 1996.
Aspects algorithmiques des classes polynomiales du problème SAT et des problèmes de satisfaction de constraintes
R. Génisson, and A. Rauzy
In Actes du 10ième congrès Reconnaissance de Formes et Intelligence Artificielle, RFIA'96. pp 97–108, 1996.
Efficient Horn renaming: yet a Davis and Putnam's procedure
R. Génisson, and A. Rauzy
In Résolution Pratique de Problèmes NP-Complets, CNPC'96. pp 169–184, 1996.
Utilisation du langage de contraintes Toupie pour analyser des spécifications ``à la Parnas''
A. Rauzy
In J.J. Lesage ed., Actes du congrès AFCET sur la Modélisation de systèmes réactifs. pp 81–89, 1996.
An Introduction to Binary Decision Diagrams and some of their Applications to Risk Assessment
A. Rauzy
In O. Roux ed., Actes de l'école d'été, Modélisation et Vérification de Processus Parallèles, MOVEP'96. 1996.

1995

Journals

Toupie : un langage de programmation par contraintes pour l'analyse formelle de programmes concurrents
M.-M. Corsini, and A. Rauzy
In Technique et Science Informatiques. Hermès - ISSN 0752-4072. Vol. 14, Num. 6, pp 753–782, June, 1995.
Révision: mettons un bémol
O. Papini, and A. Rauzy
In Revue Française d'Intelligence Artificielle. Hermès. Vol. 9, Num. 4, pp 455–474, 1995.

Book Chapters

Toupie : a Constraint Language for Model Checking
A. Rauzy
In M. Nivat and A. Podelski ed., Constraints: Basics and Trends. Springer Verlag (LNCS). Vol. 910, pp 193–207, 1995.

Conferences

Étude comparatives de trois formalismes en calcul propositionnel
Groupe Bahia
In Proceedings of the 5ième Journées du PRC Intelligence Artificielle. pp 126–158, 1995.
Projet inter-PRC ``Classes Polynomiales'' : Travaux et Résultats
Projet Classes Polynomiales
In Actes des 5ième Journées du PRC Intelligence Artificielle. pp 5–28, 1995.
Computation of Prime Implicants of a Fault Tree within Aralia
A. Rauzy, Y. Dutuit, J.-P. Signoret, M. Chevalier, I. Morlaes, A.M. Lapassat, S. Combacon, F. Brugère, and M. Bouissou
In Proceedings of the European Safety and Reliability Association Conference, ESREL'95. Bournemouth – England. pp 190–202, June, 1995.
Revision in Extended Propositionnal Calculus
O. Papini, and A. Rauzy
In C. Froidevaux and J. Kohlas ed., Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasonning about Uncertainty, ECSQARU'95. Vol. 946, pp 328–335, 1995.
Toupie = μ-calculus + constraints
A. Rauzy
In P. Wolper ed., Proceedings of Computer Aided Design, CAV'95. Vol. 939, pp 114–126, 1995.
Polynomial restrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure
A. Rauzy
In U. Montanari and F. Rossi ed., Proceedings of the International Conference on Principle of Constraint Programming, CP'95. Vol. 976, pp 515–532, 1995.

1994

Conferences

Implementation of Constrained Transition Systems: a Unified Approach
S. Brlek, and A. Rauzy
In Proceedings of the Bordeaux–Montréal Workshop, BMW'94. Montreal. pp 125–141, 1994.
Synchronization of Constrained Transition Systems
S. Brlek, and A. Rauzy
In H. Hong ed., Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94). Linz, Ostreich. pp 54–62, 1994.
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization
M-M. Corsini, and A. Rauzy
In Don Sannella ed., Proceedings of the European Symposium on Programming ESOP'94. Vol. 788, pp 180–194, 1994.
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage
M-M. Corsini, and A. Rauzy
In Proceedings of the Journées Francophones de Programmation Logiques (JFPL'94). pp 171–186, 1994.
Arbres de Défaillances et Diagrammes Binaires de Décision
A. Rauzy, Y. Dutuit, J.-P. Signoret, M. Chevalier, I. Morlaes, A.M. Lapassat, S. Combacon, F. Brugère, and M. Bouissou
In Actes du 1er congrès interdisciplinaire sur la Qualité et la Sûreté de Fonctionnement. pp 47–56, 1994.
Towards a Better Understanding of SL-Resolution
L. Oxusoff, and A. Rauzy
In P. Jorrand and V. Sugrev ed., Proceedings Artificial Intelligence V Methodology, Systems, Applications, AIMSA'94. 1994.
Révision: mettons un bémol
O. Papini, and A. Rauzy
In Actes des Rencontres Fran\ccaises sur l'Intelligence Artificielle, RFIA'94. 1994.
Notes on the Design of an Open Boolean Solver
A. Rauzy
In P. van Hentenryck ed., Proceedings of the 11th International Conference on Logic Programming, ICLP'94. pp 354–368, 1994.

Proceedings

Actes des Journées Francophones de Programmation en Logique, JFPL'94
M.-M. Corsini ed., mai, 1994.
Actes des rencontres nationales sur la résolution pratique de problèmes NP-complets
Marie-Catherine Villarem ed., september, 1994.

1993

Journals

New Algorithms for Fault Trees Analysis
A. Rauzy
In Reliability Engineering and System Safety. Elsevier. Vol. 05, Num. 59, pp 203–211, 1993.

Book Chapters

Boolean Unification: an Efficient Algorithm
A. Rauzy
In A. Colmerauer and F. Benhamou ed., Constraint Logic Programming: Selected Research. MIT Press. pp 237–251, 1993.

Conferences

Yet another Application for Toupie: Verification of Mutual Exclusion Algorithms
M-M. Corsini, A. Griffault, and A. Rauzy
In A. Voronkov ed., Proceedings of Logic Programming and Automated Reasonning, LPAR'93. Vol. 698, pp 86–97, 1993.
CLP(B) joue la transparence
M-M. Corsini, and A. Rauzy
In P. Ezequel ed., Actes des Journées Francophones sur la Programmation en Logique, JFPL'93. pp 245–260, June, 1993.
CLP(B): Do It Yourself
M-M. Corsini, and A. Rauzy
In Proceedings of the 8th Italian Conference on Logic Programming, GULP'93. June, 1993.
Efficient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains
M-M. Corsini, B. Le Charlier, K. Musumbu, and A. Rauzy
In Proceedings of the 5th Int. Symposium on Programming Language Implementation and Logic Programming, PLILP'93. Tallin, Estonia. Vol. 714, 1993.
Revision in Propositional Calculus
O. Papini, and A. Rauzy
In Proceedings of the post-conference Workshop of the International Joint Conference of Artificial Intelligence, IJCAI'93: Revision and Change. 1993.
A Mixed Approach of Revision in Propositional Calculus
O. Papini, and A. Rauzy
In M. Clarke, R. Kruse and S. Moral ed., Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasonning about Uncertainty, ECSQARU'93. Vol. 747, pp 296–303, November, 1993.

Proceedings

Proceedings of the Workshop on Static Analysis, WSA'93
P. Cousot and M. Falaschi and G.Filè and A. Rauzy ed., LNCS. Vol. 724, september, 1993.

1992

Journals

Production Fields: a New Approach to Deduction Problems and two Algorithms for Propositional Calculus
J.M. Boï, E. Innocente, A. Rauzy, and P. Siegel
In Revue Française d'Intelligence Artificielle. Hermès. Vol. 06, Num. 3, pp 235–253, 1992.

Conferences

Étude comparatives de trois formalismes en calcul propositionnel
Groupe Bahia
In Proceedings of the 4ième Journées du PRC Intelligence Artificielle. pp 239–314, 1992.
The μ-calculus over Finite Domains as an Abstract Semantics of Prolog
M-M. Corsini, K. Musumbu, and A. Rauzy
In WSA'92 Workshop on Static Analysis (Bordeaux). Vol. 81–82, pp 51–59, Sept. 23–25, 1992.
Toupie: a Symbolic Finite Domains Constraint Language
M-M. Corsini, K. Musumbu, and A. Rauzy
In Proceedings of post-conference Workshop of the 1992 Joint International Conference & Symposium on Logic Programming. 1992.
Contraintes booléennes et gestion d'arbres de défaillance
A. Rauzy
In P. Mathieu ed., Actes des Journées Francophones sur la Programmation en Logique, JFPL'92. pp 301–313, 1992.

Proceedings

Proceedings of the Workshop on Static Analysis, WSA'92
M.Billaud and P.Castéran and M-M.Corsini and K.Musumbu and A.Rauzy ed., Bigre numéro 81–82, Atelier Irisa. september, 1992.

1991

Conferences

Using Boolean Constraints in Prolog
J.M. Boï, and A. Rauzy
In Proceedings of the Italian Conference on Logic Programming GULP'91. 1991.
A knowledge extraction mechanism from formulae over a ring
A. Rauzy
In M. de Glas and D. Gabbay ed., Proceedings of the First World Conference in the Fundamentals of Artificial Intelligence, WOFCAI'91. pp 427–438, july, 1991.
Knowledge extraction in trivalued propositional logic
A. Rauzy
In P. Siegel and K. Kruse ed., Proceedings of European Conference on Symbolic and Quantitative Approaches of Uncertainty, ECSQAU'91. Vol. 548, pp 287–291, 1991.
Introducing Constraints over a Ring in Prolog
A. Rauzy
In Proceedings of Russian Conference of Logic Programming, RCLP'91. 1991.

Proceedings

Journées de Travail sur l'Analyse Statique de Programmes Equationnels Fonctionnels et Logiques JTASPEFL'91
M. Billaud and P. Castéran and M.-M. Corsini and K. Musumbu and A. Rauzy ed., Bigre numéro 74, Atelier Irisa. october, 1991.

1990

Conferences

La démonstration automatique en calcul propositionnel au service de la programmation par contraintes
J.M. Boï, and A. Rauzy
In Actes du Séminaire de Programmation en Logique de Trégastel, SPLT'90. pp 511–521, 1990.
Two Algorithms for Constraints System Solving in Propositional Calculus and their Implementation in PrologIII
J.M. Boï, and A. Rauzy
In P. Jorrand and V. Sugrev ed., Proceedings Artificial Intelligence IV Methodology, Systems, Applications (AIMSA'90). pp 139–148, September, 1990.
Aspects de la démonstration automatique en France
Groupe DedAut
In Proceedings of the 3ième Journées du PRC Intelligence Artificielle. pp 139–238, 1990.

1989

Theses

L'Évaluation Sémantique en Calcul Propositionnel
A. Rauzy
Thèse de Doctorat.
Groupe d'Intelligence Artificielle – Université de Aix-Marseille II. janvier, 1989.

1988

Journals

Évaluation Sémantique en Calcul Propositionnel
S. Jeannicot, L. Oxusoff, and A. Rauzy
In Revue d'Intelligence Artificielle. Hermès. Vol. 2, pp 41–60, 1988.