Publis

Publications HAL de margaux duroeulx

2020

Theses

titre
Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques
auteur
Margaux Duroeulx
article
Performance et fiabilité [cs.PF]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0026⟩
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/tel-02881242/file/DDOC_T_2020_0026_DUROEULX.pdf BibTex

2019

Conference papers

titre
Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees
auteur
Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article
29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩
typdoc
Conference papers
DOI
DOI : 10.3850/981-973-0000-00-0
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02262205/file/final.pdf BibTex

2017

Conference papers

titre
Satisfiability techniques for computing minimal tie sets in reliability assessment
auteur
Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article
10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01630851/file/resubmission-Satisfiability%20techniques%20for%20computing%20minimal%20tie%20sets%20in%20reliability%20assessment.pdf BibTex

Preprints, Working Papers, …

titre
Satisfiability techniques for computing minimal tie sets in reliability assessment
auteur
Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article
2017
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01518920/file/Techreport%20-%20Satisfiability%20techniques%20for%20computing%20minimal%20tie%20sets%20in%20reliability%20assessment.pdf BibTex