Antoine Rauzy
Orcid: 0000-0003-0926-5286Affiliations:
- École Polytechnique, Paris, France
According to our database1,
Antoine Rauzy
authored at least 89 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2023
Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach.
Syst. Eng., November, 2023
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences.
ACM Trans. Cyber Phys. Syst., July, 2023
2022
J. Inf. Technol. Constr., 2022
Int. J. Crit. Comput. Based Syst., 2022
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022
2021
Government inter-organizational, digital transformation projects: five key lessons learned from a Norwegian case study.
Proceedings of the CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021, 2021
2020
Syst. Eng., 2020
Syst. Eng., 2020
2019
Syst. Eng., 2019
Inf., 2019
Proceedings of the International Symposium on Systems Engineering, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Proceedings of the Tenth International Conference on Complex Systems Design & Management, 2019
2018
Syst. Eng., 2018
Reliab. Eng. Syst. Saf., 2018
Int. J. Intell. Transp. Syst. Res., 2018
Entropy, 2018
Proceedings of the 3rd International Conference on System Reliability and Safety, 2018
Proceedings of the 3rd International Conference on System Reliability and Safety, 2018
2017
Reliab. Eng. Syst. Saf., 2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Handling epistemic uncertainty in fault trees: New proposal based on evidence theory and Kleene Ternary decision diagrams.
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017
Proceedings of Work in Progress Papers of the Experience and Research Tracks and Position Papers of the Policy Track at EMOOCs 2017 co-located with the EMOOCs 2017 Conference, 2017
2016
Proceedings of the Complex Systems Design & Management, 2016
2015
Reliab. Eng. Syst. Saf., 2015
Reliab. Eng. Syst. Saf., 2015
Reliab. Eng. Syst. Saf., 2015
Int. J. Crit. Comput. Based Syst., 2015
2014
Reliab. Eng. Syst. Saf., 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
2011
Reliab. Eng. Syst. Saf., 2011
2010
A reduction approach to improve the quantification of linked fault trees through binary decision diagrams.
Reliab. Eng. Syst. Saf., 2010
Hybrid approach for the assessment of PSA models by means of binary decision diagrams.
Reliab. Eng. Syst. Saf., 2010
2008
Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams.
IEEE Trans. Reliab., 2008
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams.
Reliab. Eng. Syst. Saf., 2008
Probabilistic assessments in relationship with safety integrity levels by using Fault Trees.
Reliab. Eng. Syst. Saf., 2008
2006
The AltaRica data-flow language in use: modeling of production availability of a multi-state system.
Reliab. Eng. Syst. Saf., 2006
2005
A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components.
IEEE Trans. Reliab., 2005
Reliab. Eng. Syst. Saf., 2005
2004
An experimental study on iterative methods to compute transient solutions of large Markov models.
Reliab. Eng. Syst. Saf., 2004
2003
Reliab. Eng. Syst. Saf., 2003
2002
2001
Reliab. Eng. Syst. Saf., 2001
Reliab. Eng. Syst. Saf., 2001
2000
Le iota-calcul: un langage de contraintes d'ordre supérieur.
Proceedings of the Programmation en logique avec contraintes, 2000
1999
Un module Prolog de mu-calcul booléen: une réalisation par BDD.
Proceedings of the JFPLC'99, 1999
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
1997
J. Autom. Reason., 1997
1996
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
1995
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?
Proceedings of the Principles and Practice of Constraint Programming, 1995
Proceedings of the Computer Aided Verification, 1995
1994
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Synchronization of Constrained Transition Systems.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.
Proceedings of the JFPLC'94, 1994
Notes on the Design of an Open Boolean Solver.
Proceedings of the Logic Programming, 1994
Proceedings of the Programming Languages and Systems, 1994
1993
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
Proceedings of the Programming Language Implementation and Logic Programming, 1993
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
CLP(beta) joue la transparence.
Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.
Proceedings of the Logic Programming, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
CLP(B): Do it Yourself.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Contraintes booléennes et gestion d'arbres des défaillances.
Proceedings of the JFPL'92, 1992
1991
Using Enumerative Methods for Boolean Unification.
Proceedings of the Constraint Logic Programming, 1991
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991
1990
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes.
Proceedings of the SPLT'90, 1990
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990