Research Output 2013 2017

  • 7 Conference contribution
  • 1 Article
Filter
Conference contribution
2017
2 Citations

JANI: Quantitative Model and Tool Interaction

Budde, C. E., Dehnert, C., Hahn, E. M., Hartmanns, A., Junges, S. & Turrini, A. Apr 2017 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. Legay, A. & Margaria, T. (eds.). Springer, p. 151-168 18 p. (Lecture Notes in Computer Science; vol. 10206)

Research output: Scientific - peer-reviewConference contribution

2016
1 Citations

A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques

Hahn, E. M. & Hartmanns, A. Nov 2016 Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016). London: Springer Verlag, p. 85-100 16 p. (Lecture Notes in Computer Science; vol. 9984)

Research output: Scientific - peer-reviewConference contribution

Scalability
Model checking
Linear programming
1 Citations

Flexible support for time and costs in scenario-aware dataflow

Hartmanns, A., Hermanns, H. & Bungert, M. Oct 2016 Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). New York: ACM, p. 3 10 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Scalability
Dynamic models
Energy utilization
Semantics

Schedulers are no Prophets

Hartmanns, A., Hermanns, H. & Krčál, J. Jan 2016 Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Berlin: Springer, p. 214-235 22 p. (Lecture Notes in Computer Science; vol. 9560)

Research output: Scientific - peer-reviewConference contribution

Model checking
Semantics
4 Citations

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

d' Argenio, P. R., Hartmanns, A., Legay, A. & Sedwards, S. Jun 2016 Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016). Berlin: Springer Verlag, p. 99-114 16 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Scientific - peer-reviewConference contribution

Model checking
Explosions
Scalability
Numerical models
Sampling
2015
5 Citations

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I. 31 Aug 2015 Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272)

Research output: Scientific - peer-reviewConference contribution

Model checking
Image processing
Sampling
X rays
2013
10 Citations

On-the-fly confluence detection for statistical model checking

Hartmanns, A., Hartmanns, A. & Timmer, M. Mar 2013 Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 19 4 p.

Research output: ScientificConference contribution

Model checking
Random processes
Explosions
Statistical methods
Simulators