Filters: Author is Mariëlle Stoelinga [Clear All Filters]
“Analysis of non-Markovian repairable fault trees through rare event simulation”, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022. paper-386.pdf (1.09 MB)
, “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, Springer, 2020, pp. 463–482. paper-346.pdf (4.43 MB)
, “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-269.pdf (976.31 KB)
, “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.
,