Marcus Gerhold I took the picture myself
Contact Expert

Marcus Gerhold

, PhD

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

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Teaching Assistants as Assessors: An Experience Based Narrative

    Ahmed, F., Bouali, N. & Gerhold, M., 2024, Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024. Poquet, O., Ortega-Arranz, A., Viberg, O., Chounta, I.-A., McLaren, B. & Jovanovic, J. (eds.). Science and Technology Publications, Lda, p. 115-123 9 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    41 Downloads (Pure)
  • 2023

    Computer Aided Content Generation: A Gloomhaven Case Study

    Gerhold, M. & Tijben, K., 12 Apr 2023, Proceedings of the 18th International Conference on the Foundations of Digital Games, FDG 2023. Lopes, P., Luz, F., Liapis, A. & Engstrom, H. (eds.). Association for Computing Machinery, 10 p. 61. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    34 Downloads (Pure)
  • 2022

    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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    119 Downloads (Pure)
  • 2018

    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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    155 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    163 Downloads (Pure)
  • 2017

    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 proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    10 Downloads (Pure)
  • 2016

    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 proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    96 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, p. 45-51 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    1 Citation (Scopus)
    143 Downloads (Pure)
  • 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 proceeding › Conference contribution › Academic › peer-review

    File
    3 Citations (Scopus)
    164 Downloads (Pure)