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.

Research Output 2015 2019

  • 17 Citations
  • 2 h-Index
  • 6 Conference contribution
  • 2 Article
  • 1 PhD Thesis - Research UT, graduation UT
Filter
Article
2019
8 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
2018
3 Citations (Scopus)
45 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