Filters: Author is Arnd Hartmanns [Clear All Filters]
“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, Springer, 2022, pp. 337–355. paper-377.pdf (1.5 MB)
, “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)
, “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, Springer, 2020, pp. 291–310. paper-347.pdf (5.73 MB)
, “Automated compositional importance splitting”, Science of Computer Programming, vol. 174, pp. 90–108, 2019. paper-345.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)
, “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, Springer, 2017, pp. 42–58. paper-323.pdf (1.03 MB)
, “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)
,