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
-
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
-
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
-
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
-
