No photo of Marcus Gerhold

Marcus Gerhold

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

Fingerprint Dive into the research topics where Marcus Gerhold is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Testing Engineering & Materials Science
Model-based Testing Mathematics
Scheduler Mathematics
Specifications Engineering & Materials Science
Automata Mathematics
Bluetooth Engineering & Materials Science
Statistical methods Engineering & Materials Science
Network protocols Engineering & Materials Science

Research Output 2015 2018

  • 17 Citations
  • 2 h-Index
  • 6 Conference contribution
  • 1 Article
  • 1 PhD Thesis - Research UT, graduation UT
2 Citations (Scopus)
29 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
26 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)
1 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)
28 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
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