dr. A. Hartmanns (Arnd)

Assistant Professor


Model Checking


Recent Articles
Hartmanns, A., Sedwards, S., & d' Argenio, P. R. (2017). Efficient simulation-based verification of probabilistic timed automata. In W. K. V. Chan, A. D’Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, & E. Page (Eds.), Proceedings of the 2017 Winter Simulation Conference: Las Vegas, NV, USA, December 3-6, 2017 (pp. 1419-1430). (Proceedings Winter Simulation Conference (WSC)). IEEE. DOI: 10.1109/WSC.2017.8247885
Budde, C. E., d' Argenio, P. R., & Hartmanns, A. (2017). Better Automated Importance Splitting for Transient Rare Events. In K. G. Larsen, & O. Sokolsky (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 42-58). (Lecture Notes in Computer Science; Vol. 10606), (Lecture Notes in Programming and Software Engineering). Springer. DOI: 10.1007/978-3-319-69483-2_3
Graf-brill, A., Hartmanns, A., Hermanns, H., & Rose, S. (2017). Modelling and certification for electric mobility. In 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (pp. 109-114). IEEE. DOI: 10.1109/INDIN.2017.8104755
Budde, C. E., Dehnert, C., Hahn, E. M., Hartmanns, A., Junges, S., & Turrini, A. (2017). JANI: Quantitative Model and Tool Interaction. In A. Legay, & T. Margaria (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (pp. 151-168). (Lecture Notes in Computer Science; Vol. 10206). Springer. DOI: 10.1007/978-3-662-54580-5_9
Hartmanns, A., Hermanns, H., & Bungert, M. (2016). Flexible support for time and costs in scenario-aware dataflow. In Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016) (pp. 3). New York: Association for Computing Machinery (ACM). DOI: 10.1145/2968478.2968496
Hahn, E. M., & Hartmanns, A. (2016). A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. In Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016) (pp. 85-100). (Lecture Notes in Computer Science; Vol. 9984). London: Springer Verlag. DOI: 10.1007/978-3-319-47677-3_6
d' Argenio, P. R., Hartmanns, A., Legay, A., & Sedwards, S. (2016). Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016) (pp. 99-114). (Lecture Notes in Computer Science; Vol. 9681). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-33693-0_7
Hartmanns, A., Hermanns, H., & Krčál, J. (2016). Schedulers are no Prophets. In Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (pp. 214-235). (Lecture Notes in Computer Science; Vol. 9560). Berlin: Springer. DOI: 10.1007/978-3-319-27810-0_11
Hartmanns, A., & Timmer, M. (2015). Sound statistical model checking for MDP using partial order and confluence reduction. International journal on software tools for technology transfer, 17(4), 429-456. DOI: 10.1007/s10009-014-0349-7
van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M., & Remke, A. K. I. (2015). Computing Response Time Distributions Using Iterative Probabilistic Model Checking. In M. Beltran, W. Knottenbelt, & J. Bradley (Eds.), Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015 (pp. 208-224). (Lecture notes in computer science; Vol. 9272). Berlin: Springer. DOI: 10.1007/978-3-319-23267-6_14

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3122
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3122
P.O. Box 217
7500 AE Enschede
The Netherlands