![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Antoine Rauzy
Person information
- affiliation: École Polytechnique, Paris, France
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j46]Astrid V. Solheim
, Antoine B. Rauzy
, Per Olaf Brett, Steinar L. Ellefmo, Tonje Hatling, Rudy Helmons, Bjørn Egil Asbjørnslett:
Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach. Syst. Eng. 26(6): 847-858 (2023) - [j45]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): 17:1-17:20 (2023) - 2022
- [j44]Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy:
Abstract executions of stochastic discrete event systems. Int. J. Crit. Comput. Based Syst. 10(3): 202-226 (2022) - [j43]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: 732-755 (2022) - [c43]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA 2022: 130-145 - 2021
- [j42]Liu Yang
, Antoine Rauzy
:
Epistemic space of degradation processes. J. Appl. Non Class. Logics 31(1): 1-25 (2021) - [c42]Kristin H. J. Hafseld, Bassam A. Hussein, Antoine B. Rauzy:
Government inter-organizational, digital transformation projects: five key lessons learned from a Norwegian case study. CENTERIS/ProjMAN/HCist 2021: 910-919 - 2020
- [j41]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): 656-670 (2020) - [j40]Benoît Lebeaupin
, Antoine Rauzy
:
Toward a better integration of requirements and model-based specifications. Syst. Eng. 23(6): 751-769 (2020)
2010 – 2019
- 2019
- [j39]Antoine Rauzy, Liu Yang:
Finite Degradation Structures. FLAP 6(6): 1447-1474 (2019) - [j38]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9(1/2): 133-165 (2019) - [j37]Antoine Rauzy, Liu Yang
:
Decision Diagram Algorithms to Extract Minimal Cutsets of Finite Degradation Models. Inf. 10(12): 368 (2019) - [j36]Liu Yang, Antoine Rauzy
:
Model synthesis using boolean expression diagrams. Reliab. Eng. Syst. Saf. 186: 78-87 (2019) - [j35]Antoine Rauzy
, Cecilia Haskins
:
Foundations for model-based systems engineering and model-based safety assessment. Syst. Eng. 22(2): 146-155 (2019) - [c41]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: 37-48 - [c40]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA 2019: 32-46 - [c39]Liu Yang, Antoine Rauzy:
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. IMBSA 2019: 78-92 - [c38]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA 2019: 157-172 - [c37]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: 1-8 - 2018
- [j34]Antoine Rauzy
:
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy 20(3): 162 (2018) - [j33]Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani:
Modeling the CBTC Railway System of Siemens with ScOLa. Int. J. Intell. Transp. Syst. Res. 16(3): 163-172 (2018) - [j32]Huixing Meng
, Leïla Kloul, Antoine Rauzy:
Modeling patterns for reliability assessment of safety instrumented systems. Reliab. Eng. Syst. Saf. 180: 111-123 (2018) - [j31]Melissa Issad
, Leïla Kloul, Antoine Rauzy:
Scenario-oriented reverse engineering of complex railway system specifications. Syst. Eng. 21(2): 91-104 (2018) - [c36]Liu Yang, Antoine Rauzy:
Reliability Modeling Using Finite Degradation Structures. ICSRS 2018: 168-175 - [c35]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang:
Reliability Assessment of Phased-Mission Systems with AltaRica 3.0. ICSRS 2018: 400-407 - 2017
- [j30]Leïla Kloul, Antoine Rauzy:
Production trees: A new modeling methodology for production availability analyses. Reliab. Eng. Syst. Saf. 167: 561-571 (2017) - [c34]Vassiliki Michou, Sabine Bottin-Rousseau, Antoine Rauzy:
Deploying a SPOC Creation Strategy at UPMC. EMOOCs-WIP 2017: 16-21 - [c33]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: 354-359 - [c32]Anthony Legendre, Agnes Lanusse, Antoine Rauzy:
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. IMBSA 2017: 35-49 - [c31]Walid Mokhtar Bennaceur
, Leïla Kloul, Antoine Rauzy:
Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA 2017: 82-96 - [c30]Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel:
A language proposition for system requirements. SysCon 2017: 1-8 - 2016
- [c29]Melissa Issad, Leïla Kloul, Antoine Rauzy:
Incremental Modeling Methodology of Railway System Specifications. CSDM 2016: 95-111 - 2015
- [j29]Tatiana Prosvirnova, Antoine Rauzy:
Automated generation of minimal cut sets from AltaRica 3.0 models. Int. J. Crit. Comput. Based Syst. 6(1): 50-80 (2015) - [j28]P.-A. Brameret, Antoine Rauzy, Jean-Marc Roussel:
Automated generation of partial Markov chain from high level descriptions. Reliab. Eng. Syst. Saf. 139: 179-187 (2015) - [j27]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: 191-199 (2015) - [j26]Yves Dutuit, Antoine Rauzy:
On the extension of Importance Measures to complex components. Reliab. Eng. Syst. Saf. 142: 161-168 (2015) - [j25]Antoine Rauzy
, Chaire Blériot-Fabre:
Towards a sound semantics for dynamic fault trees. Reliab. Eng. Syst. Saf. 142: 184-191 (2015) - 2014
- [j24]Abraham Cherfi, Michel Leeman, Florent Meurville, Antoine Rauzy
:
Modeling automotive safety mechanisms: A Markovian approach. Reliab. Eng. Syst. Saf. 130: 42-49 (2014) - [c28]Melissa Issad, Leïla Kloul, Antoine Rauzy:
A Model-Based Methodology to Formalize Specifications of Railway Systems. IMBSA 2014: 28-42 - [c27]Abraham Cherfi, Antoine Rauzy, Michel Leeman:
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. IMBSA 2014: 123-136 - [c26]Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy:
Safety Assessment of an Electrical System with AltaRica 3.0. IMBSA 2014: 181-194 - [e5]Frank Ortmeier, Antoine Rauzy:
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Lecture Notes in Computer Science 8822, Springer 2014, ISBN 978-3-319-12213-7 [contents] - 2013
- [c25]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
, Leïla Kloul:
The AltaRica 3.0 project for model-based safety assessment. INDIN 2013: 741-746 - [e4]Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy:
Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012. Springer 2013, ISBN 978-3-642-34403-9 [contents] - 2011
- [j23]Antoine Rauzy
:
Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Reliab. Eng. Syst. Saf. 96(7): 785-792 (2011) - 2010
- [j22]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): 1076-1092 (2010) - [j21]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): 1314-1323 (2010)
2000 – 2009
- 2008
- [j20]Albert F. Myers, Antoine Rauzy
:
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. Reliab. Eng. Syst. Saf. 93(7): 1025-1035 (2008) - [j19]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): 1867-1876 (2008) - [j18]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): 336-348 (2008) - 2006
- [j17]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): 747-755 (2006) - 2005
- [j16]Yves Dutuit, Antoine Rauzy
:
Approximate estimation of system reliability via fault trees. Reliab. Eng. Syst. Saf. 87(2): 163-172 (2005) - [j15]Steve Epstein, Antoine Rauzy
:
Can we trust PRA? Reliab. Eng. Syst. Saf. 88(3): 195-205 (2005) - [j14]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): 156-158 (2005) - 2004
- [j13]Antoine Rauzy
:
An experimental study on iterative methods to compute transient solutions of large Markov models. Reliab. Eng. Syst. Saf. 86(1): 105-115 (2004) - 2003
- [j12]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): 33-42 (2003) - [j11]Antoine Rauzy
:
A new methodology to handle Boolean models with loops. IEEE Trans. Reliab. 52(1): 96-105 (2003) - [j10]Antoine Rauzy
:
Toward an efficient implementation of the MOCUS algorithm. IEEE Trans. Reliab. 52(2): 175-180 (2003) - 2002
- [j9]Antoine Rauzy
:
Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1): 1-12 (2002) - 2001
- [j8]Yves Dutuit, Antoine Rauzy
:
Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Saf. 72(2): 213-222 (2001) - [j7]Yves Dutuit, Antoine Rauzy
:
New insights into the assessment of k-out-of-n and related systems. Reliab. Eng. Syst. Saf. 72(3): 303-314 (2001) - [j6]Didier Bégay, Antoine Rauzy:
A realistic involvement of formal methods. Softw. Pract. Exp. 31(2): 191-208 (2001) - [j5]Antoine Rauzy
:
Mathematical foundations of minimal cutsets. IEEE Trans. Reliab. 50(4): 389-396 (2001) - 2000
- [j4]Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy
:
Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75(1-2): 85-89 (2000) - [c24]Frédéric Mesnard, Antoine Rauzy:
Le iota-calcul: un langage de contraintes d'ordre supérieur. JFPLC 2000: 241-
1990 – 1999
- 1999
- [j3]André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy:
The AltaRica Formalism for Describing Concurrent Systems. Fundam. Informaticae 40(2-3): 109-124 (1999) - [c23]Serge Colin, Frédéric Mesnard, Antoine Rauzy:
Un module Prolog de mu-calcul booléen: une réalisation par BDD. JFPLC 1999: 23-38 - 1998
- [c22]Macha Nikolskaïa, Antoine Rauzy, David James Sherman:
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. FMCAD 1998: 100-114 - 1997
- [j2]Marc-Michel Corsini, Antoine Rauzy:
Toupie: The µ-calculus over Finite Domains as a Constraint Language. J. Autom. Reason. 19(2): 143-171 (1997) - 1996
- [j1]Yves Dutuit, Antoine Rauzy
:
A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45(3): 422-425 (1996) - [c21]Antoine Rauzy:
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). TACAS 1996: 417 - 1995
- [c20]Antoine Rauzy:
Toupie = µ-Calculus + Constraints. CAV 1995: 114-126 - [c19]Antoine Rauzy:
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? CP 1995: 515-532 - [c18]Odile Papini, Antoine Rauzy:
Revision in Extended Propositional Calculus. ECSQARU 1995: 328-335 - 1994
- [c17]Marc-Michel Corsini, Antoine Rauzy:
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ESOP 1994: 180-194 - [c16]Antoine Rauzy:
Notes on the Design of an Open Boolean Solver. ICLP 1994: 354-368 - [c15]Marc-Michel Corsini, Antoine Rauzy:
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC 1994: 171- - [c14]Srecko Brlek, Antoine Rauzy:
Synchronization of Constrained Transition Systems. PASCO 1994: 54-62 - [c13]Antoine Rauzy:
Toupie: a Constraint Language for Model Checking. Constraint Programming 1994: 193-208 - 1993
- [c12]Marc-Michel Corsini, Antoine Rauzy:
CLP(B): Do it Yourself. GULP 1993: 111-125 - [c11]Odile Papini, Antoine Rauzy:
A Mixed Approach of Revision in Propositional Calculus. ECSQARU 1993: 296-303 - [c10]Marc-Michel Corsini, Antoine Rauzy:
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP 1993: 834 - [c9]Marc-Michel Corsini, Antoine Rauzy:
CLP(beta) joue la transparence. JFPL 1993: 245-261 - [c8]Marc-Michel Corsini, Alain Griffault, Antoine Rauzy:
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97 - [c7]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: 75-91 - [e3]Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents] - 1992
- [c6]Antoine Rauzy:
Contraintes booléennes et gestion d'arbres des défaillances. JFPL 1992: 301-313 - [c5]Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59 - [e2]Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 81-82, Atelier Irisa, IRISA, Campus de Beaulieu 1992 [contents] - 1991
- [c4]Antoine Rauzy:
Knowledge Extraction in Trivalued Propositional Logic. ECSQARU 1991: 287-291 - [c3]Antoine Rauzy:
Using Enumerative Methods for Boolean Unification. WCLP 1991: 237-251 - [e1]Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 74, Atelier Irisa, IRISA, Campus de Beaulieu 1991 [contents] - 1990
- [c2]Jean-Marc Boï, Antoine Rauzy:
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. AIMSA 1990: 139-148 - [c1]Jean-Marc Boï, Antoine Rauzy:
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. SPLT 1990: 511-522
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint