Ola Bäckström, Marc Bouissou, Rory Gamble, Pavel Krcal, Johan Sörman & Wei Wang (2018):
Introduction and Demonstration of the I&AB Quantification Method as Implemented with RiskSpectrum PSA.
In: Proceedings of PSAM'14.
Ola Bäckström, Rory Gamble, Pavel Krcal & Wei Wang (2016):
MCS BDD – Description and Verification of the Method Implemented in RiskSpectrum.
In: Proceedings of PSAM'13.
Ola Bäckström, Pavel Krcal & Wei Wang (2014):
Quantification of MCS with BDD, Accuracy and Inclusion of Success in the Calculation – the RiskSpectrum MCS BDD Algorithm.
In: Proceedings of PSAM'12.
Jean-Louis Bon & Marc Bouissou (1992):
Fiabilité des grands systèmes séquentiels: résultats théoriques et applications dans le cadre du logiciel GSI.
Revue de Statistique Appliquée 40(2),
pp. 45–54.
Available at http://www.numdam.org/item/RSA_1992__40_2_45_0.
Jean-Louis Bon & Jérome Collet (1994):
An Algorithm in Order to Implement Reliability Exponential Approximations.
Rel. Eng. & Sys. Safety 43,
pp. 263–268,
doi:10.1016/0951-8320(94)90030-2.
M. Bouissou, N. Villatte, H. Bouhadana & M. Bannelier (1991):
Knowledge Modelling and Reliability Processing: Presentation of the FIGARO Language and Associated Tools.
In: Proceedings of Safecomp'91,
doi:10.1016/S1474-6670(17)51368-3.
Marc Bouissou (2005):
Automated Dependability Analysis of Complex Systems with the KB3 Workbench: the Experience of EDF R&D.
In: Proceedings of the Int. Conf. on Energy and Environment.
CIEM.
Marc Bouissou (2013):
A Simple yet Efficient Acceleration Technique for Monte Carlo Simulation.
In: Proceedings of the 22nd European Safety and Reliability Conference (ESREL’13),
pp. 27–36.
Marc Bouissou (2017):
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant.
In: Proceedings of MARS Workshop.
EPTCS,
pp. 200–216,
doi:10.4204/EPTCS.244.8.
Marc Bouissou (2018):
Extensions of the I&AB method for the reliability assessment of the spent fuel pool of EPR.
In: Safety and Reliability–Safe Societies in a Changing World.
CRC Press,
pp. 889–896,
doi:10.1201/9781351174664-112.
Marc Bouissou & Jean-Louis Bon (2003):
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes.
Rel. Eng. & Sys. Safety 82(2),
pp. 149–163,
doi:10.1016/S0951-8320(03)00143-1.
Marc Bouissou & Olga Hernu (2016):
Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components.
Proc. ESREL 2016, Glasgow.
Marc Bouissou & Yannick Lefebvre (2002):
A Path-Based Algorithm to Evaluate Asymptotic Unavailability for Large Markov Models.
In: Proceedings of RAMS’2002,
doi:10.1109/RAMS.2002.981616.
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges & Andrea Turrini (2017):
JANI: Quantitative Model and Tool Interaction.
In: TACAS 2017,
Lecture Notes in Computer Science 10206.
Springer,
pp. 151–168,
doi:10.1007/978-3-662-54580-5_9.
Jérome Collet (1995):
An Extension of Boolean PSA Methods.
Probabilistic Safety Assessment, Seoul.
Jérome Collet & Isabelle Renault (1997):
Path-probability evaluation with repeated rates.
In: Proceedings of RAMS’97,
doi:10.1109/RAMS.1997.571703.
Bennett L Fox & Peter W Glynn (1988):
Computing Poisson probabilities.
Comm. ACM 31(4),
pp. 440–445,
doi:10.1145/42404.42409.
J. B. Fussell & W. E. Vesely (1972):
A New Methodology for Obtaining Cut Sets for Fault Trees.
Trans. Amer. Nucl. Soc. 15,
pp. 262–263.
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters & Marcel Steinmetz (2019):
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.
In: TACAS 2019,
Lecture Notes in Computer Science 11429.
Springer,
pp. 69–92,
doi:10.1007/978-3-030-17502-3_5.
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann & Matthias Volk (2020):
The Probabilistic Model Checker Storm.
CoRR abs/2002.07080.
Available at https://arxiv.org/abs/2002.07080.
Joost-Pieter Katoen (2013):
Model Checking Meets Probability: A Gentle Introduction.
In: EDSS,
NATO Science for Peace and Security Series, D: Information and Communication Security 34.
IOS Press,
pp. 177–205,
doi:10.3233/978-1-61499-207-3-177.
Joost-Pieter Katoen (2016):
The Probabilistic Model Checking Landscape.
In: LICS.
ACM,
pp. 31–45,
doi:10.1145/2933575.2934574.
J. Keilson (1986):
Stochastic models in reliability theory.
In: Proceedings Of Int. School of Physic 1986 North-Holland.
Shahid Khan, Joost-Pieter Katoen, Matthias Volk & Marc Bouissou (2019):
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.
In: PRDC.
IEEE,
pp. 266–275,
doi:10.1109/PRDC47002.2019.00057.
Lloyd's Register (2019):
RiskSpectrum Analysis Tools: Theory Manual.
https://www.lr.org/en/riskspectrum/.
Kevin J Sullivan, Joanne Bechta Dugan & David Coppit (1999):
The Galileo fault tree analysis tool.
In: FTCS.
IEEE,
pp. 232–235,
doi:10.1109/FTCS.1999.781056.
eptcs@eptcs.org