Publications

Filters: Author is Mariëlle Stoelinga [Clear All Filters]

2022

C. E. Budde, D'Argenio, P. R., Monti, R. E., and Stoelinga, M., “Analysis of non-Markovian repairable fault trees through rare event simulation”, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022.

paper-821.pdf (1.09 MB)

2020

C. E. Budde, Biagi, M., Monti, R. E., D'Argenio, P. R., and Stoelinga, M., “Rare Event Simulation for Non-Markovian Repairable Fault Trees”, in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, vol. 12078, A. Biere and Parker, D., Eds. Springer, 2020, pp. 463–482.

paper-793.pdf (4.43 MB)

2013

K. R. Joshi, Siegle, M., Stoelinga, M., and D'Argenio, P. R., Eds., “Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8054. Springer, 2013.