RES for non-Markovian repairable fault trees
479
References
1. Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of
maintenance policies for smart buildings: Application of formal methods to fault
maintenance trees. PHM Society European Conference 4(1) (2018), https://www.
phmpapers.org/index.php/phme/article/view/385
2. Bayes, A.J.: Statistical techniques for simulation models. Australian computer journal 2(4), 180–184 (1970)
3. Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, S.: Non deterministic repairable fault trees for computing optimal repair strategy. In: VALUETOOLS 2008 (2010). https://doi.org/10.4108/ICST.VALUETOOLS2008.4411
4. Blanchet, J., Mandjes, M.: Rare event simulation for queues. In: Rubino and Tuffin
[36], pp. 87–124. https://doi.org/10.1002/9780470745403.ch5
5. Blom, H.A.P., Bakker, G.J.B., Krystul, J.: Rare event estimation for a large-scale
stochastic hybrid system with air traffic application. In: Rubino and Tuffin [36],
pp. 193–214. https://doi.org/10.1002/9780470745403.ch9
6. Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic
gates and repair boxes. In: RAMS 2004. pp. 459–465. IEEE (2004).
https://doi.org/10.1109/RAMS.2004.1285491
7. Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural
dependability evaluation with arcade. In: DSN’08. pp. 512–521. IEEE Computer
Society (2008). https://doi.org/10.1109/DSN.2008.4630122
8. Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event
Simulation. Ph.D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2017), https://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.
pl?biblionumber=18143
9. Budde, C.E., Biagi, M., Monti, R.E., D’Argenio, P.R., Stoelinga, M.: Rare
event simulation for non-Markovian repairable fault trees. arXiv e-prints
arXiv:1910.11672 (2019), https://arxiv.org/abs/1910.11672
10. Budde, C.E., D’Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42–58. Springer
(2017). https://doi.org/10.1007/978-3-319-69483-2_3
11. Budde, C.E., D’Argenio, P.R., Hermanns, H.: Rare event simulation with fully
automated importance splitting. In: EPEW 2015. LNCS, vol. 9272, pp. 275–290.
Springer (2015). https://doi.org/10.1007/978-3-319-23267-6_18
12. Budde, C.E., D’Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS 2016.
pp. 30–37 (2017). https://doi.org/10.4108/eai.25-10-2016.2266501
13. Codetta-Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V.: Repairable fault
tree for the automatic evaluation of repair policies. In: DSN 2004. pp. 659–668.
IEEE Computer Society (2004). https://doi.org/10.1109/DSN.2004.1311936
14. Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: ISSRE 2000. pp.
270–282 (2000). https://doi.org/10.1109/ISSRE.2000.885878
15. Crouzen, P., Boudali, H., Stoelinga, M.: Dynamic fault tree analysis using input/output interactive Markov chains. In: DSN 2007. pp. 708–717. IEEE Computer
Society (2007). https://doi.org/10.1109/DSN.2007.37
16. D’Argenio, P.R., Monti, R.E.: Input/Output Stochastic Automata with Urgency:
Confluence and weak determinism. In: ICTAC. LNCS, vol. 11187, pp. 132–152.
Springer (2018). https://doi.org/10.1007/978-3-030-02508-3_8
479
References
1. Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of
maintenance policies for smart buildings: Application of formal methods to fault
maintenance trees. PHM Society European Conference 4(1) (2018), https://www.
phmpapers.org/index.php/phme/article/view/385
2. Bayes, A.J.: Statistical techniques for simulation models. Australian computer journal 2(4), 180–184 (1970)
3. Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, S.: Non deterministic repairable fault trees for computing optimal repair strategy. In: VALUETOOLS 2008 (2010). https://doi.org/10.4108/ICST.VALUETOOLS2008.4411
4. Blanchet, J., Mandjes, M.: Rare event simulation for queues. In: Rubino and Tuffin
[36], pp. 87–124. https://doi.org/10.1002/9780470745403.ch5
5. Blom, H.A.P., Bakker, G.J.B., Krystul, J.: Rare event estimation for a large-scale
stochastic hybrid system with air traffic application. In: Rubino and Tuffin [36],
pp. 193–214. https://doi.org/10.1002/9780470745403.ch9
6. Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic
gates and repair boxes. In: RAMS 2004. pp. 459–465. IEEE (2004).
https://doi.org/10.1109/RAMS.2004.1285491
7. Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural
dependability evaluation with arcade. In: DSN’08. pp. 512–521. IEEE Computer
Society (2008). https://doi.org/10.1109/DSN.2008.4630122
8. Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event
Simulation. Ph.D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2017), https://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.
pl?biblionumber=18143
9. Budde, C.E., Biagi, M., Monti, R.E., D’Argenio, P.R., Stoelinga, M.: Rare
event simulation for non-Markovian repairable fault trees. arXiv e-prints
arXiv:1910.11672 (2019), https://arxiv.org/abs/1910.11672
10. Budde, C.E., D’Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42–58. Springer
(2017). https://doi.org/10.1007/978-3-319-69483-2_3
11. Budde, C.E., D’Argenio, P.R., Hermanns, H.: Rare event simulation with fully
automated importance splitting. In: EPEW 2015. LNCS, vol. 9272, pp. 275–290.
Springer (2015). https://doi.org/10.1007/978-3-319-23267-6_18
12. Budde, C.E., D’Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS 2016.
pp. 30–37 (2017). https://doi.org/10.4108/eai.25-10-2016.2266501
13. Codetta-Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V.: Repairable fault
tree for the automatic evaluation of repair policies. In: DSN 2004. pp. 659–668.
IEEE Computer Society (2004). https://doi.org/10.1109/DSN.2004.1311936
14. Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: ISSRE 2000. pp.
270–282 (2000). https://doi.org/10.1109/ISSRE.2000.885878
15. Crouzen, P., Boudali, H., Stoelinga, M.: Dynamic fault tree analysis using input/output interactive Markov chains. In: DSN 2007. pp. 708–717. IEEE Computer
Society (2007). https://doi.org/10.1109/DSN.2007.37
16. D’Argenio, P.R., Monti, R.E.: Input/Output Stochastic Automata with Urgency:
Confluence and weak determinism. In: ICTAC. LNCS, vol. 11187, pp. 132–152.
Springer (2018). https://doi.org/10.1007/978-3-030-02508-3_8