Filters: Author is Sean Sedwards [Clear All Filters]
“An efficient statistical model checker for nondeterminism and rare events”, Int. J. on Software Tools for Technology Transfer, vol. 22, pp. 759–780, 2020. paper-349.pdf (1.05 MB)
, “A Hierarchy of Scheduler Classes for Stochastic Automata”, in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, vol. 10803, Springer, 2018, pp. 384–402. paper-341.pdf (1.2 MB)
, “Lightweight Statistical Model Checking in Nondeterministic Continuous Time”, in Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, vol. 11245, Springer, 2018, pp. 336–353. paper-339.pdf (1.29 MB)
, “A Statistical Model Checker for Nondeterminism and Rare Events”, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, Springer, 2018, pp. 340–358. paper-337.pdf (795.55 KB)
, “Efficient simulation-based verification of probabilistic timed automata”, in 2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA, December 3-6, 2017, {IEEE}, 2017, pp. 1419–1430. paper-328.pdf (145.4 KB)
, “Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata”, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, Springer, 2016, pp. 99-114. paper-299.pdf (463.65 KB)
, “Smart sampling for lightweight verification of Markov decision processes”, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015. paper-275.pdf (959.43 KB)
,