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.

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
Specifications Engineering & Materials Science
Bluetooth Engineering & Materials Science
Scheduler Mathematics
Automata Mathematics
Network protocols Engineering & Materials Science
Real time systems Engineering & Materials Science

Research Output 2015 2019

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