480
C. E. Budde et al.
17. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: ARMS 1990. pp. 286–293. IEEE (1990).
https://doi.org/10.1109/ARMS.1990.67971
18. Garvels, M.J.J., van Ommeren, J.K.C.W., Kroese, D.P.: On the importance function in splitting simulation. European Transactions on Telecommunications 13(4),
363–371 (2002). https://doi.org/10.1002/ett.4460130408
19. Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands
(2000), http://eprints.eemcs.utwente.nl/14291/
20. Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., Glynn, P.W.:
A unified framework for simulating Markovian models of highly dependable systems. IEEE Transactions on Computers 41(1), 36–51 (1992).
https://doi.org/10.1109/12.123381
21. Guck, D., Spel, J., Stoelinga, M.: DFTCalc: Reliability centered maintenance via
fault tree analysis (tool paper). In: ICFEM 2015. LNCS, vol. 9407, pp. 304–311.
Springer (2015). https://doi.org/10.1007/978-3-319-25423-4_19
22. Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Railways 2014. Civil-Comp
Proceedings, Civil-Comp Press (2014). https://doi.org/10.4203/ccp.104.299
23. Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. 5(1), 43–85 (1995).
https://doi.org/10.1145/203091.203094
24. Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model
checking rare properties. In: CAV 2013. LNCS, vol. 8044, pp. 576–591. Springer
(2013). https://doi.org/10.1007/978-3-642-39799-8_38
25. Jégourel, C., Legay, A., Sedwards, S., Traonouez, L.M.: Distributed verification of
rare properties using importance splitting observers. In: AVoCS 2015. ECEASST,
vol. 72 (2015). https://doi.org/10.14279/tuj.eceasst.72.1024
26. Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees
on a diet. In: SETTA 2015. LNCS, vol. 9409, pp. 3–18. Springer (2015).
https://doi.org/10.1007/978-3-319-25942-0_1
27. Junges, S., Guck, D., Katoen, J., Stoelinga, M.: Uncovering dynamic
fault trees. In: DSN 2016. pp. 299–310. IEEE Computer Society (2016).
https://doi.org/10.1109/DSN.2016.35
28. Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling.
National Bureau of Standards applied mathematics series 12, 27–30 (1951)
29. Katoen, J.P., Stoelinga, M.: Boosting Fault Tree Analysis by Formal Methods,
LNCS, vol. 10500, pp. 368–389. Springer (2017). https://doi.org/10.1007/978-3319-68270-9_19
30. L’Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino
and Tuffin [36], pp. 39–61. https://doi.org/10.1002/9780470745403.ch3
31. Liu, Y., Wu, Y., Kalbarczyk, Z.: Smart maintenance via dynamic fault tree analysis: A case study on Singapore MRT system. In: DSN 2017. pp. 511–518. IEEE
Computer Society (2017). https://doi.org/10.1109/DSN.2017.50
32. Monti, R.E.: Stochastic Automata for Fault Tolerant Concurrent Systems. Ph.D.
thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2018)
33. Nicola, V.F., Shahabuddin, P., Nakayama, M.K.: Techniques for fast simulation
of models of highly dependable systems. IEEE Transactions on Reliability 50(3),
246–264 (2001). https://doi.org/10.1109/24.974122
C. E. Budde et al.
17. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: ARMS 1990. pp. 286–293. IEEE (1990).
https://doi.org/10.1109/ARMS.1990.67971
18. Garvels, M.J.J., van Ommeren, J.K.C.W., Kroese, D.P.: On the importance function in splitting simulation. European Transactions on Telecommunications 13(4),
363–371 (2002). https://doi.org/10.1002/ett.4460130408
19. Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands
(2000), http://eprints.eemcs.utwente.nl/14291/
20. Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., Glynn, P.W.:
A unified framework for simulating Markovian models of highly dependable systems. IEEE Transactions on Computers 41(1), 36–51 (1992).
https://doi.org/10.1109/12.123381
21. Guck, D., Spel, J., Stoelinga, M.: DFTCalc: Reliability centered maintenance via
fault tree analysis (tool paper). In: ICFEM 2015. LNCS, vol. 9407, pp. 304–311.
Springer (2015). https://doi.org/10.1007/978-3-319-25423-4_19
22. Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Railways 2014. Civil-Comp
Proceedings, Civil-Comp Press (2014). https://doi.org/10.4203/ccp.104.299
23. Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. 5(1), 43–85 (1995).
https://doi.org/10.1145/203091.203094
24. Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model
checking rare properties. In: CAV 2013. LNCS, vol. 8044, pp. 576–591. Springer
(2013). https://doi.org/10.1007/978-3-642-39799-8_38
25. Jégourel, C., Legay, A., Sedwards, S., Traonouez, L.M.: Distributed verification of
rare properties using importance splitting observers. In: AVoCS 2015. ECEASST,
vol. 72 (2015). https://doi.org/10.14279/tuj.eceasst.72.1024
26. Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees
on a diet. In: SETTA 2015. LNCS, vol. 9409, pp. 3–18. Springer (2015).
https://doi.org/10.1007/978-3-319-25942-0_1
27. Junges, S., Guck, D., Katoen, J., Stoelinga, M.: Uncovering dynamic
fault trees. In: DSN 2016. pp. 299–310. IEEE Computer Society (2016).
https://doi.org/10.1109/DSN.2016.35
28. Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling.
National Bureau of Standards applied mathematics series 12, 27–30 (1951)
29. Katoen, J.P., Stoelinga, M.: Boosting Fault Tree Analysis by Formal Methods,
LNCS, vol. 10500, pp. 368–389. Springer (2017). https://doi.org/10.1007/978-3319-68270-9_19
30. L’Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino
and Tuffin [36], pp. 39–61. https://doi.org/10.1002/9780470745403.ch3
31. Liu, Y., Wu, Y., Kalbarczyk, Z.: Smart maintenance via dynamic fault tree analysis: A case study on Singapore MRT system. In: DSN 2017. pp. 511–518. IEEE
Computer Society (2017). https://doi.org/10.1109/DSN.2017.50
32. Monti, R.E.: Stochastic Automata for Fault Tolerant Concurrent Systems. Ph.D.
thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2018)
33. Nicola, V.F., Shahabuddin, P., Nakayama, M.K.: Techniques for fast simulation
of models of highly dependable systems. IEEE Transactions on Reliability 50(3),
246–264 (2001). https://doi.org/10.1109/24.974122