Welcome...

dr. M. Gerhold (Marcus)

Assistant Professor

About Me

The best way to contact me is via mail.

Expertise

Engineering & Materials Science
Bluetooth
Network Protocols
Real Time Systems
Specifications
Statistical Methods
Testing
Mathematics
Framework
Model-Based Testing

Publications

Recent
van den Brink, W. , Gerhold, M. , & Zaytsev, V. (2022). Deriving Modernity Signatures for PHP Systems with Static Analysis. In Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185). (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); Vol. 2022, No. 22). IEEE. https://doi.org/10.1109/SCAM55253.2022.00027
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. [PhD Thesis - Research UT, graduation UT, University of Twente]. 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

UT Research Information System

Courses Academic Year  2022/2023

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
 

Courses Academic Year  2021/2022

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3070
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3070
P.O. Box 217
7500 AE Enschede
The Netherlands