490
C. E. Budde
17. Iglewicz, B., Hoaglin, D.: How to Detect and Handle Outliers. ASQC basic references in quality control, ASQC Quality Press (1993)
18. Jégourel, C., Legay, A., Sedwards, S.: Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649, 1–24 (2016).
https://doi.org/10.1016/j.tcs.2016.08.009
19. Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: CAV. LNCS, vol. 6806, pp. 585–591. Springer (2011).
https://doi.org/10.1007/978-3-642-22110-1_47
20. L’Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino
and Tuffin [25], pp. 39–61. https://doi.org/10.1002/9780470745403.ch3
21. Legay, A., Sedwards, S., Traonouez, L.M.: Plasma Lab: A modular statistical model checking platform. In: ISoLA. LNCS, vol. 9952, pp. 77–93 (2016).
https://doi.org/10.1007/978-3-319-47166-2_6
22. Mediouni, B.L., Nouri, A., Bozga, M., Dellabani, M., Legay, A., Bensalem, S.:
SBIP 2.0: Statistical model checking stochastic real-time systems. In: ATVA.
LNCS, vol. 11138, pp. 536–542. Springer (2018). https://doi.org/10.1007/978-3030-01090-4_33
23. Monti, R.E.: Stochastic Automata for Fault Tolerant Concurrent Systems. Ph.D.
thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2018)
24. Rubino, G., Tuffin, B.: Introduction to rare event simulation. In: Rubino and Tuffin
[25], pp. 1–13. https://doi.org/10.1002/9780470745403.ch1
25. Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods.
Wiley (2009). https://doi.org/10.1002/9780470745403
26. Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation
for dynamic fault trees. Reliability Engineering & System Safety 186, 220–231
(2019). https://doi.org/10.1016/j.ress.2019.02.004
27. Turati, P., Pedroni, N., Zio, E.: Advanced RESTART method for the estimation of the probability of failure of highly reliable hybrid dynamic
systems. Reliability Engineering & System Safety 154(C), 117–126 (2016).
https://doi.org/10.1016/j.ress.2016.04.020
28. Villén-Altamirano, J.: Importance functions for restart simulation of general Jackson networks. European Journal of Operational Research 203(1), 156–165 (2010).
https://doi.org/10.1016/j.ejor.2009.07.013
29. Villén-Altamirano, J.: RESTART vs Splitting: A comparative study. Performance
Evaluation 121–122, 38–47 (2018). https://doi.org/10.1016/j.peva.2018.02.002
30. Villén-Altamirano,
J.,
Villén-Altamirano,
M.:
Rare
event
simulation of non-Markovian queueing networks using RESTART method.
Simulation
Modelling
Practice
and
Theory
37,
70–78
(2013).
https://doi.org/10.1016/j.simpat.2013.05.012
31. Villén-Altamirano, M., Villén-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC13). pp. 71–76. Elsevier (1991)
32. Wilson, E.B.: Probable inference, the law of succession, and statistical inference. Journal of the American Statistical Association 22(158), 209–212 (1927).
https://doi.org/10.1080/01621459.1927.10502953
33. Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: CAV. LNCS, vol. 2404, pp. 223–235. Springer
(2002). https://doi.org/10.1007/3-540-45657-0_17
C. E. Budde
17. Iglewicz, B., Hoaglin, D.: How to Detect and Handle Outliers. ASQC basic references in quality control, ASQC Quality Press (1993)
18. Jégourel, C., Legay, A., Sedwards, S.: Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649, 1–24 (2016).
https://doi.org/10.1016/j.tcs.2016.08.009
19. Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: CAV. LNCS, vol. 6806, pp. 585–591. Springer (2011).
https://doi.org/10.1007/978-3-642-22110-1_47
20. L’Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino
and Tuffin [25], pp. 39–61. https://doi.org/10.1002/9780470745403.ch3
21. Legay, A., Sedwards, S., Traonouez, L.M.: Plasma Lab: A modular statistical model checking platform. In: ISoLA. LNCS, vol. 9952, pp. 77–93 (2016).
https://doi.org/10.1007/978-3-319-47166-2_6
22. Mediouni, B.L., Nouri, A., Bozga, M., Dellabani, M., Legay, A., Bensalem, S.:
SBIP 2.0: Statistical model checking stochastic real-time systems. In: ATVA.
LNCS, vol. 11138, pp. 536–542. Springer (2018). https://doi.org/10.1007/978-3030-01090-4_33
23. Monti, R.E.: Stochastic Automata for Fault Tolerant Concurrent Systems. Ph.D.
thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2018)
24. Rubino, G., Tuffin, B.: Introduction to rare event simulation. In: Rubino and Tuffin
[25], pp. 1–13. https://doi.org/10.1002/9780470745403.ch1
25. Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods.
Wiley (2009). https://doi.org/10.1002/9780470745403
26. Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation
for dynamic fault trees. Reliability Engineering & System Safety 186, 220–231
(2019). https://doi.org/10.1016/j.ress.2019.02.004
27. Turati, P., Pedroni, N., Zio, E.: Advanced RESTART method for the estimation of the probability of failure of highly reliable hybrid dynamic
systems. Reliability Engineering & System Safety 154(C), 117–126 (2016).
https://doi.org/10.1016/j.ress.2016.04.020
28. Villén-Altamirano, J.: Importance functions for restart simulation of general Jackson networks. European Journal of Operational Research 203(1), 156–165 (2010).
https://doi.org/10.1016/j.ejor.2009.07.013
29. Villén-Altamirano, J.: RESTART vs Splitting: A comparative study. Performance
Evaluation 121–122, 38–47 (2018). https://doi.org/10.1016/j.peva.2018.02.002
30. Villén-Altamirano,
J.,
Villén-Altamirano,
M.:
Rare
event
simulation of non-Markovian queueing networks using RESTART method.
Simulation
Modelling
Practice
and
Theory
37,
70–78
(2013).
https://doi.org/10.1016/j.simpat.2013.05.012
31. Villén-Altamirano, M., Villén-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC13). pp. 71–76. Elsevier (1991)
32. Wilson, E.B.: Probable inference, the law of succession, and statistical inference. Journal of the American Statistical Association 22(158), 209–212 (1927).
https://doi.org/10.1080/01621459.1927.10502953
33. Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: CAV. LNCS, vol. 2404, pp. 223–235. Springer
(2002). https://doi.org/10.1007/3-540-45657-0_17