( en | de | ru )

 

Disambiguation of "Rauzy, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations for model-based systems engineering and model-based safety assessment.

, and . Systems Engineering, 22 (2): 146-155 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pablo Rauzy

Antoine Jammal

Jacques Antoine

Antoine Kahn

Antoine Derighetti

 

Other publications of authors with the same name

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage., and . JFPLC, page 171-. (1994)Toward an efficient implementation of the MOCUS algorithm.. IEEE Trans. Reliability, 52 (2): 175-180 (2003)Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 180-194. Springer, (1994)Toupie: a Constraint Language for Model Checking. Constraint Programming, volume 910 of Lecture Notes in Computer Science, page 193-208. Springer, (1994)Knowledge Extraction in Trivalued Propositional Logic.. ECSQARU, volume 548 of Lecture Notes in Computer Science, page 287-291. Springer, (1991)Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms., , and . LPAR, volume 698 of Lecture Notes in Computer Science, page 86-97. Springer, (1993)Mode automata and their compilation into fault trees.. Reliab. Eng. Syst. Saf., 78 (1): 1-12 (2002)Model synthesis using boolean expression diagrams., and . Reliab. Eng. Syst. Saf., (2019)Modeling automotive safety mechanisms: A Markovian approach., , , and . Reliab. Eng. Syst. Saf., (2014)Towards a sound semantics for dynamic fault trees., and . Reliab. Eng. Syst. Saf., (2015)