No photo of Marcus Gerhold

Marcus Gerhold

Calculated based on number of publications stored in Pure and citations from Scopus
20152022

Research activity 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.
  • 1 Similar Profiles
  • Deriving Modernity Signatures for PHP Systems with Static Analysis

    van den Brink, W., Gerhold, M. & Zaytsev, V., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022. Piscataway, NJ: IEEE, p. 181-185 5 p. (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); vol. 2022, no. 22).

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

  • Model-based testing of stochastically timed systems

    Gerhold, M., Hartmanns, A. & Stoelinga, M., 1 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
    7 Citations (Scopus)
    72 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
    6 Citations (Scopus)
    102 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
    455 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)
    112 Downloads (Pure)