Antoine Rauzy - RankMe

91 papers A* 1A 3B 4C 4Misc 1Journal 44Unranked 29

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