Filters: Author is David Parker [Clear All Filters]
“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)
, “Doping Tests for Cyber-Physical Systems”, in Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, vol. 11785, Springer, 2019, pp. 313–331. paper-344.pdf (724.55 KB)
,