No photo of Arnd Hartmanns

Arnd Hartmanns

dr.

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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Scheduler Mathematics
Automata Mathematics
Trade-offs Mathematics
Nondeterminism Mathematics
Reachability Mathematics
Concurrent Mathematics
Resolve Mathematics
Class Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2013 2018

  • 14 Conference contribution
  • 1 Article
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
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