Research Output per year

## 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

Synthesis
Mathematics

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

## Research Output 2013 2018

## 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: Scientific - peer-review › Conference contribution

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: Scientific - peer-review › Conference contribution

Model checking

Software architecture

Explosions

Sampling

## 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: Scientific - peer-review › Conference 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: Scientific - peer-review › Conference contribution

Costs

Model checking

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: Scientific - peer-review › Conference contribution

Model checking

Hinges

Stochastic models

Explosions

Formal verification