No photo of Marcus Gerhold

Marcus Gerhold

  • 12 Citations
  • 2 h-Index
20152018
If you made any changes in Pure these will be visible here soon.

Research Output 2015 2018

  • 12 Citations
  • 2 h-Index
  • 6 Conference contribution
  • 1 Article
2018
2 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 contributionAcademicpeer-review

Open Access
File
Scheduler
Automata
Trade-offs
Nondeterminism
Reachability

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 contributionAcademicpeer-review

Testing
Bluetooth
Real time systems
Probability distributions
Specifications
1 Citations

Model-based testing of probabilistic systems

Gerhold, M. & Stoelinga, M., 22 Jan 2018, In : Formal aspects of computing. 30, 1, p. 77-106

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
2017
1 Citations

Model-Based Testing of Probabilistic Systems with Stochastic Time

Gerhold, M. & Stoelinga, M., 18 Jun 2017, Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings. Broch Johnsen, E. (ed.). p. 77-97 (Lecture notes in computer science; vol. 10375).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing
Bluetooth
Network protocols
2016
7 Citations

Model-Based Testing of Probabilistic Systems

Gerhold, M. & Stoelinga, M. I. A., Apr 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Stevens, P. & Wasowski, A. (eds.). Heidelberg-Berlin: Springer Verlag, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Testing
Statistical methods
Specifications
1 Citations

Model-Based Testing of Stochastic Systems with IOCO Theory

Gerhold, M. & Stoelinga, M. I. A., 18 Nov 2016, Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York: Association for Computing Machinery, p. 45-51 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2015

Ioco Theory for Probabilistic Automata

Gerhold, M. & Stoelinga, M. I. A., 9 Apr 2015, Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London: Open Publishing Association, p. 23-40 18 p. (Electronic proceedings in theoretical computer science; vol. 180).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File