No photo of Marcus Gerhold

Marcus Gerhold

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

Research Output 2015 2019

  • 17 Citations
  • 2 h-Index
  • 6 Conference contribution
  • 2 Article
  • 1 PhD Thesis - Research UT, graduation UT
2019
7 Downloads (Pure)

Model-based testing of stochastically timed systems

Gerhold, M., Hartmanns, A. & Stoelinga, M., Sep 2019, In : Innovations in systems and software engineering. 15, 3-4, p. 207-233 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Testing
Bluetooth
Real time systems
Probability distributions
Specifications
2018
2 Citations (Scopus)
40 Downloads (Pure)

A Hierarchy of Scheduler Classes for Stochastic Automata

D'Argenio, P. R., Gerhold, M., Hartmanns, A. & Sedwards, S., 1 Jan 2018, Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018). 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
62 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
1 Citation (Scopus)
12 Downloads (Pure)

Model-Based Testing for General Stochastic Time

Gerhold, M., Hartmanns, A. & Stoelinga, M., 11 Mar 2018, Proceedings of the 10th International NASA Formal Methods Symposium (NFM 2018). Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 203-219 (Lecture Notes in Computer Science; vol. 10811).

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

Open Access
File
Testing
Bluetooth
Real time systems
Probability distributions
Specifications
3 Citations (Scopus)
41 Downloads (Pure)

Model-based testing of probabilistic systems

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
2017
2 Citations (Scopus)

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
8 Citations (Scopus)
72 Downloads (Pure)

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, 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 Citation (Scopus)
57 Downloads (Pure)

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 (ACM), p. 45-51 7 p.

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

File
2015
33 Downloads (Pure)

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