dr. A. Hartmanns (Arnd)



Model Checking
Modeling Languages
Random Processes
Statistical Methods


Recente Artikelen
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, Part II (Vol. 10206, pp. 151-168). (Lecture Notes in Computer Science). 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: 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
Hartmanns, A., Hartmanns, A., & Timmer, M. (2013). On-the-fly confluence detection for statistical model checking. In Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013) (pp. 19). Trieste: University of Trieste.

Pure Link



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

Navigeer naar locatie


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