University of Twente
Personen

Welkom...

dr. M. Gerhold (Marcus)

Universitair docent

Expertises

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

Verbonden aan

Publicaties

Recent
Wal, D. V. D. , Gerhold, M. , & Stoelinga, M. (2023). Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. In A. Cimatti, & L. Titolo (Eds.), Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). (Lecture Notes in Computer Science book series; Vol. 14290). https://doi.org/10.1007/978-3-031-43681-9_14
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. Advance online publication. 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

Pure Link

Bekijk alle publicaties van deze medewerker

Vakken Collegejaar  2023/2024

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  2022/2023

Contactgegevens

+31534892805  (bij geen gehoor)
 
 

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3070
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3070
Postbus 217
7500 AE Enschede

Verbonden aan

Universiteit Twente Drienerlolaan 5
7522 NB Enschede
+31 (0)53 489 9111
info@utwente.nl
Route