Welkom...

dr. A. Hartmanns (Arnd)

Universitair docent

Expertises

Scheduler
Automata
Hierarchy
Class
Trade-Offs

Publicaties

Recent
Gerhold, M., Hartmanns, A., & Stoelinga, M. (2018). Model-Based Testing for General Stochastic Time. In A. Dutle, C. Munoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (pp. 203-219). (Lecture notes in computer science; Vol. 10811). DOI: 10.1007/978-3-319-77935-5_15
Budde, C. E., D'Argenio, P. R., Hartmanns, A., & Sedwards, S. (2018). A Statistical Model Checker for Nondeterminism and Rare Events. In D. Beyer, & M. Huisman (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (pp. 340-358). (Lecture Notes in Computer Science; Vol. 10806). Cham: Springer. DOI: 10.1007/978-3-319-89963-3_20
Hartmanns, A., Junges, S., Katoen, J-P., & Quatmann, T. (2018). Multi-cost Bounded Reachability in MDP. In D. Beyer, & M. Huisman (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (pp. 320-339). (Lecture Notes in Computer Science; Vol. 10806). Cham: Springer. DOI: 10.1007/978-3-319-89963-3_19
D'Argenio, P. R., Gerhold, M., Hartmanns, A., & Sedwards, S. (2018). A Hierarchy of Scheduler Classes for Stochastic Automata. In C. Baier, & U. Dal Lago (Eds.), Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (pp. 384-402). (Lecture Notes in Computer Science; Vol. 10803). Cham: Springer. DOI: 10.1007/978-3-319-89366-2_21
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. 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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3122
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3122
Postbus 217
7500 AE Enschede