Publications

Filters: Author is Arnd Hartmanns [Clear All Filters]

2022

P. R. D'Argenio, Fraire, J. A., Hartmanns, A., and Raverta, F. D., “Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks”, in Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, vol. 13479, E. Ábrahám and Paolieri, M., Eds. Springer, 2022, pp. 337–355.

paper-819.pdf (1.5 MB)

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. Software Tools Technology Transfer, vol. 22, pp. 759–780, 2020.

paper-796.pdf (1.05 MB)

P. R. D'Argenio, Fraire, J. A., and Hartmanns, A., “Sampling Distributed Schedulers for Resilient Space Communication”, in NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, vol. 12229, R. Lee, Jha, S., and Mavridou, A., Eds. Springer, 2020, pp. 291–310.

paper-794.pdf (5.73 MB)

2019

C. E. Budde, D'Argenio, P. R., and Hartmanns, A., “Automated compositional importance splitting”, Science of Computer Programming, vol. 174, pp. 90–108, 2019.

paper-792.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-788.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-786.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-784.pdf (795.55 KB)

2017

C. E. Budde, D'Argenio, P. R., and Hartmanns, A., “Better Automated Importance Splitting for Transient Rare Events”, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, K. G. Larsen, Sokolsky, O., and Wang, J., Eds. Springer, 2017, pp. 42–58.

paper-753.pdf (1.03 MB)

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-778.pdf (145.4 KB)

C. E. Budde, Dehnert, C., Hahn, E. Moritz, Hartmanns, A., Junges, S., and Turrini, A., “JANI: Quantitative Model and Tool Interaction”, in Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 151–168.

paper-726.pdf (223.9 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-632.pdf (463.65 KB)