@inproceedings(bouissouPSAM2018, author = {Ola B\"ackstr\"om and Marc Bouissou and Rory Gamble and Pavel Krcal and Johan S\"orman and Wei Wang}, year = {2018}, title = {{I}ntroduction and {D}emonstration of the {I}\&{AB} {Q}uantification {M}ethod as {I}mplemented with {R}isk{S}pectrum {PSA}}, booktitle = {Proceedings of PSAM'14}, ) @inproceedings(backstromPSAM2016, author = {Ola B\"ackstr\"om and Rory Gamble and Pavel Krcal and Wei Wang}, year = {2016}, title = {{MCS BDD} -- {D}escription and {V}erification of the {M}ethod {I}mplemented in {R}isk{S}pectrum}, booktitle = {Proceedings of PSAM'13}, ) @inproceedings(backstromPSAM2014, author = {Ola B\"ackstr\"om and Pavel Krcal and Wei Wang}, year = {2014}, title = {{Q}uantification of {MCS} with {BDD}, {A}ccuracy and {I}nclusion of {S}uccess in the {C}alculation -- the {R}iskSpectrum {MCS BDD} {A}lgorithm}, booktitle = {Proceedings of PSAM'12}, ) @article(bonbouissou1992, author = {Jean-Louis Bon and Marc Bouissou}, year = {1992}, title = {Fiabilit\'{e} des grands syst\`{e}mes s\'{e}quentiels: r\'{e}sultats th\'{e}oriques et applications dans le cadre du logiciel GSI}, journal = {{R}evue de {S}tatistique {A}ppliqu\'{e}e}, volume = {40}, number = {2}, pages = {45--54}, url = {http://www.numdam.org/item/RSA_1992__40_2_45_0}, ) @article(boncollet1994, author = {Jean-Louis Bon and J\'{e}rome Collet}, year = {1994}, title = {An Algorithm in Order to Implement Reliability Exponential Approximations}, journal = {{R}el. {E}ng. \& {S}ys. {S}afety}, volume = {43}, pages = {263--268}, doi = {10.1016/0951-8320(94)90030-2}, ) @inproceedings(bouissouSafecomp1991, author = {M. Bouissou and N. Villatte and H. Bouhadana and M. Bannelier}, year = {1991}, title = {Knowledge Modelling and Reliability Processing: Presentation of the FIGARO Language and Associated Tools}, booktitle = {{P}roceedings of Safecomp'91}, doi = {10.1016/S1474-6670(17)51368-3}, ) @inproceedings(bouissou2005yamsfigseq, author = {Marc Bouissou}, year = {2005}, title = {Automated {D}ependability {A}nalysis of {C}omplex {S}ystems with the {KB}3 {W}orkbench: the {E}xperience of {EDF} {R}\&{D}}, booktitle = {Proceedings of the Int. Conf. on Energy and Environment}, organization = {CIEM}, ) @inproceedings(bouissou2013MCacceleration, author = {Marc Bouissou}, year = {2013}, title = {A Simple yet Efficient Acceleration Technique for Monte Carlo Simulation}, booktitle = {{P}roceedings of the 22nd {E}uropean {S}afety and {R}eliability {C}onference (ESREL’13)}, pages = {27--36}, ) @inproceedings(bouissou2017benchmark, author = {Marc Bouissou}, year = {2017}, title = {A {B}enchmark on {R}eliability of {C}omplex {D}iscrete {S}ystems: {E}mergency {P}ower {S}upply of a {N}uclear {P}ower {P}lant}, booktitle = {Proceedings of MARS Workshop}, publisher = {EPTCS}, pages = {200--216}, doi = {10.4204/EPTCS.244.8}, ) @incollection(bouissou2018extensions, author = {Marc Bouissou}, year = {2018}, title = {{E}xtensions of the {I}\&{AB} method for the reliability assessment of the spent fuel pool of EPR}, booktitle = {Safety and Reliability--Safe Societies in a Changing World}, publisher = {CRC Press}, pages = {889--896}, doi = {10.1201/9781351174664-112}, ) @article(bouissou2003new, author = {Marc Bouissou and Jean-Louis Bon}, year = {2003}, title = {A new formalism that combines advantages of fault-trees and {M}arkov models: {B}oolean logic driven {M}arkov processes}, journal = {{R}el. {E}ng. \& {S}ys. {S}afety}, volume = {82}, number = {2}, pages = {149--163}, doi = {10.1016/S0951-8320(03)00143-1}, ) @article(bouissouHernu2016, author = {Marc Bouissou and Olga Hernu}, year = {2016}, title = {Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components}, journal = {Proc. ESREL 2016, Glasgow}, ) @inproceedings(bouissoulefebvre2002, author = {Marc Bouissou and Yannick Lefebvre}, year = {2002}, title = {A Path-Based Algorithm to Evaluate Asymptotic Unavailability for Large Markov Models}, booktitle = {{P}roceedings of RAMS’2002}, doi = {10.1109/RAMS.2002.981616}, ) @inproceedings(DBLP:conf/tacas/BuddeDHHJT17, author = {Carlos E. Budde and Christian Dehnert and Ernst Moritz Hahn and Arnd Hartmanns and Sebastian Junges and Andrea Turrini}, year = {2017}, title = {{JANI:} Quantitative Model and Tool Interaction}, booktitle = {{TACAS} 2017}, series = {Lecture Notes in Computer Science}, volume = {10206}, publisher = {Springer}, pages = {151--168}, doi = {10.1007/978-3-662-54580-5\_9}, ) @article(collet1995extension, author = {J\'{e}rome Collet}, year = {1995}, title = {An Extension of Boolean PSA Methods}, journal = {Probabilistic Safety Assessment, Seoul}, ) @inproceedings(colletrenault1997, author = {J\'{e}rome Collet and Isabelle Renault}, year = {1997}, title = {Path-probability evaluation with repeated rates}, booktitle = {{P}roceedings of RAMS’97}, doi = {10.1109/RAMS.1997.571703}, ) @article(fox1988computing, author = {Bennett L Fox and Peter W Glynn}, year = {1988}, title = {Computing {P}oisson probabilities}, journal = {Comm. ACM}, volume = {31}, number = {4}, pages = {440--445}, doi = {10.1145/42404.42409}, ) @article(fussell72new, author = {J. B. Fussell and W. E. Vesely}, year = {1972}, title = {A New Methodology for Obtaining Cut Sets for Fault Trees}, journal = {Trans. Amer. Nucl. Soc.}, volume = {15}, pages = {262--263}, ) @inproceedings(Qcomp2019, author = {Ernst Moritz Hahn and Arnd Hartmanns and Christian Hensel and Michaela Klauck and Joachim Klein and Kret{\'{\i}}nsk{\'{y}}, Jan and David Parker and Tim Quatmann and Enno Ruijters and Marcel Steinmetz}, year = {2019}, title = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models}, booktitle = {{TACAS} 2019}, series = {Lecture Notes in Computer Science}, volume = {11429}, publisher = {Springer}, pages = {69--92}, doi = {10.1007/978-3-030-17502-3\_5}, ) @article(DBLP:journals/corr/abs-2002-07080, author = {Christian Hensel and Sebastian Junges and Joost{-}Pieter Katoen and Tim Quatmann and Matthias Volk}, year = {2020}, title = {The Probabilistic Model Checker Storm}, journal = {CoRR}, volume = {abs/2002.07080}, url = {https://arxiv.org/abs/2002.07080}, ) @incollection(DBLP:series/natosec/Katoen13, author = {Joost{-}Pieter Katoen}, year = {2013}, title = {{M}odel {C}hecking {M}eets {P}robability: {A} {G}entle {I}ntroduction}, booktitle = {EDSS}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {34}, publisher = {{IOS} Press}, pages = {177--205}, doi = {10.3233/978-1-61499-207-3-177}, ) @inproceedings(DBLP:conf/lics/Katoen16, author = {Joost{-}Pieter Katoen}, year = {2016}, title = {The {P}robabilistic {M}odel {C}hecking {L}andscape}, booktitle = {{LICS}}, publisher = {{ACM}}, pages = {31--45}, doi = {10.1145/2933575.2934574}, ) @inproceedings(keilson1986, author = {J. Keilson}, year = {1986}, title = {Stochastic models in reliability theory}, booktitle = {{P}roceedings Of Int. School of Physic 1986 North-Holland}, ) @inproceedings(khanprdc, author = {Shahid Khan and Joost-Pieter Katoen and Matthias Volk and Marc Bouissou}, year = {2019}, title = {Synergizing {R}eliability {M}odeling {L}anguages: {BDMP}s without {R}epairs and {DFT}s}, booktitle = {{PRDC}}, organization = {IEEE}, pages = {266--275}, doi = {10.1109/PRDC47002.2019.00057}, ) @manual(RiskSpectrumTheoryManual, organization = {Lloyd's Register}, year = {2019}, title = {RiskSpectrum Analysis Tools: Theory Manual}, note = {{h}ttps://www.lr.org/en/riskspectrum/}, ) @inproceedings(sullivan1999galileo, author = {Kevin J Sullivan and Joanne Bechta Dugan and David Coppit}, year = {1999}, title = {The {G}alileo fault tree analysis tool}, booktitle = {FTCS}, publisher = {IEEE}, pages = {232--235}, doi = {10.1109/FTCS.1999.781056}, )