Expertises
Engineering & Materials Science
# Bluetooth
# Network Protocols
# Real Time Systems
# Specifications
# Statistical Methods
# Testing
Mathematics
# Framework
# Model-Based Testing
Verbonden aan
Publicaties
Recent
Gerhold, M.
, Hartmanns, A.
, & Stoelinga, M. (2019).
Model-based testing of stochastically timed systems.
Innovations in systems and software engineering,
15(3-4), 207-233.
https://doi.org/10.1007/s11334-019-00349-z
Gerhold, M. (2018).
Choice and chance: model-based testing of stochastic behaviour. University of Twente.
https://doi.org/10.3990/1.9789036546959
Gerhold, M.
, Hartmanns, A.
, & Stoelinga, M. (2018).
Model-Based Testing for General Stochastic Time. In A. Dutle, C. Munoz, & A. Narkawicz (Eds.),
Proceedings of the 10th International NASA Formal Methods Symposium (NFM 2018) (pp. 203-219). (Lecture Notes in Computer Science; Vol. 10811). Springer.
https://doi.org/10.1007/978-3-319-77935-5_15
D'Argenio, P. R.
, Gerhold, M.
, Hartmanns, A., & Sedwards, S. (2018).
A Hierarchy of Scheduler Classes for Stochastic Automata. In C. Baier, & U. Dal Lago (Eds.),
Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018) (pp. 384-402). (Lecture Notes in Computer Science; Vol. 10803). Springer.
https://doi.org/10.1007/978-3-319-89366-2_21
Gerhold, M.
, & Stoelinga, M. (2018).
Model-based testing of probabilistic systems.
Formal aspects of computing,
30(1), 77-106.
https://doi.org/10.1007/s00165-017-0440-4
Gerhold, M.
, & Stoelinga, M. (2017).
Model-Based Testing of Probabilistic Systems with Stochastic Time. In E. Broch Johnsen (Ed.),
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (pp. 77-97). (Lecture notes in computer science; Vol. 10375).
https://doi.org/10.1007/978-3-319-61467-0_5
Pure Link
Vakken Collegejaar 2021/2022
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Vakken Collegejaar 2020/2021
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3074
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3074
Postbus 217
7500 AE Enschede