No photo of Arnd Hartmanns

Arnd Hartmanns

dr.

20132018
If you made any changes in Pure these will be visible here soon.

Research Output 2013 2018

  • 14 Conference contribution
  • 1 Article
Filter
Conference contribution
2018
1 Citations

A Hierarchy of Scheduler Classes for Stochastic Automata

D'Argenio, P. R., Gerhold, M., Hartmanns, A. & Sedwards, S. 2018 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. Baier, C. & Dal Lago, U. (eds.). Cham: Springer, p. 384-402 19 p. (Lecture Notes in Computer Science; vol. 10803)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Scheduler
Automata
Trade-offs
Nondeterminism
Reachability

A Statistical Model Checker for Nondeterminism and Rare Events

Budde, C. E., D'Argenio, P. R., Hartmanns, A. & Sedwards, S. 2018 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. Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 340-358 19 p. (Lecture Notes in Computer Science; vol. 10806)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Model checking
Software architecture
Explosions
Sampling
Statistical Models

Model-Based Testing for General Stochastic Time

Gerhold, M., Hartmanns, A. & Stoelinga, M. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). p. 203-219 (Lecture notes in computer science; vol. 10811)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Bluetooth
Real time systems
Probability distributions
Specifications

Multi-cost Bounded Reachability in MDP

Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T. 2018 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. Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Costs
Model checking
Scalability
2017
1 Citations

Better Automated Importance Splitting for Transient Rare Events

Budde, C. E., d' Argenio, P. R. & Hartmanns, A. 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K. G. & Sokolsky, O. (eds.). Springer, p. 42-58 17 p. (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Hinges
Stochastic models
Explosions
Statistical Models
1 Citations

Efficient simulation-based verification of probabilistic timed automata

Hartmanns, A., Sedwards, S. & d' Argenio, P. R. 2017 Proceedings of the 2017 Winter Simulation Conference: Las Vegas, NV, USA, December 3-6, 2017. Chan, W. K. V., D’Ambrogio, A., Zacharewicz, G., Mustafee, N., Wainer, G. & Page, E. (eds.). IEEE, p. 1419-1430 12 p. (Proceedings Winter Simulation Conference (WSC))

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Real time systems
Explosions
Data structures
Clocks
Concretes
3 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: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations

Modelling and certification for electric mobility

Graf-brill, A., Hartmanns, A., Hermanns, H. & Rose, S. Jul 2017 2017 IEEE 15th International Conference on Industrial Informatics (INDIN). IEEE, p. 109-114

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Formal methods
Electric vehicles
Interoperability
Standardization
2016
2 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: Chapter in Book/Report/Conference proceedingConference contribution

File
2 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: Association for Computing Machinery, p. 3 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
1 Citations

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: Chapter in Book/Report/Conference proceedingConference contribution

File
7 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: Chapter in Book/Report/Conference proceedingConference contribution

File
2015
7 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: Chapter in Book/Report/Conference proceedingConference contribution

File
2013
11 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: Chapter in Book/Report/Conference proceedingConference contribution

File