Marcus Gerhold

  • 23 Citations
  • 3 h-Index
20152019

Research output per year

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

Research Output

  • 23 Citations
  • 3 h-Index
  • 6 Conference contribution
  • 2 Article
  • 1 PhD Thesis - Research UT, graduation UT

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
  • 1 Citation (Scopus)
    23 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
  • 4 Citations (Scopus)
    53 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 UT

    Open Access
    File
  • 131 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
  • 1 Citation (Scopus)
    27 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
  • 6 Citations (Scopus)
    66 Downloads (Pure)