Pedro R. D'Argenio

Filters: Author is Sean Sedwards [Clear All Filters]

2020

C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., “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)

2018

P. R. D'Argenio, Gerhold, M., Hartmanns, A., and Sedwards, S., “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, C. Baier and Dal Lago, U., Eds. Springer, 2018, pp. 384–402.

paper-341.pdf (1.2 MB)

P. R. D'Argenio, Hartmanns, A., and Sedwards, S., “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, T. Margaria and Steffen, B., Eds. Springer, 2018, pp. 336–353.

paper-339.pdf (1.29 MB)

C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., “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, D. Beyer and Huisman, M., Eds. Springer, 2018, pp. 340–358.

paper-337.pdf (795.55 KB)

2017

A. Hartmanns, Sedwards, S., and D'Argenio, P. R., “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)

2016

P. R. D'Argenio, Hartmanns, A., Legay, A., and Sedwards, S., “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, E. Ábrahám and Huisman, M., Eds. Springer, 2016, pp. 99-114.

paper-299.pdf (463.65 KB)

2015

P. R. D'Argenio, Legay, A., Sedwards, S., and Traonouez, L. - M., “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)