Следене
Marcus Gerhold
Marcus Gerhold
Потвърден имейл адрес: utwente.nl - Начална страница
Заглавие
Позовавания
Позовавания
Година
Model-based testing of probabilistic systems
M Gerhold, M Stoelinga
Formal aspects of computing 30, 77-106, 2018
312018
A hierarchy of scheduler classes for stochastic automata
S Sedwards
Foundations of Software Science and Computation Structures LNCS 10803, 384, 2018
152018
Model-based testing of stochastically timed systems
M Gerhold, A Hartmanns, M Stoelinga
Innovations in systems and software engineering 15 (3), 207-233, 2019
142019
Deriving modernity signatures for PHP systems with static analysis
W Van den Brink, M Gerhold, V Zaytsev
2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022
52022
Model-based testing of probabilistic systems with stochastic time
M Gerhold, M Stoelinga
International Conference on Tests and Proofs, 77-97, 2017
42017
Model-based testing of stochastic systems with IOCO theory
M Gerhold, M Stoelinga
Proceedings of the 7th International Workshop on Automating Test Case Design …, 2016
32016
Ioco theory for probabilistic automata
M Gerhold, M Stoelinga
arXiv preprint arXiv:1504.02441, 2015
32015
Deriving Modernity Signatures of Codebases with Static Analysis
C Admiraal, W van den Brink, M Gerhold, V Zaytsev, C Zubcu
Available at SSRN 4536605, 2023
22023
Leveraging deep learning for Python version identification
M Gerhold, L Solovyeva, V Zaytsev
Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop …, 2023
22023
Model-based testing for general stochastic time
M Gerhold, A Hartmanns, M Stoelinga
NASA Formal Methods Symposium, 203-219, 2018
22018
Deriving modernity signatures of codebases with static analysis
C Admiraal, W van den Brink, M Gerhold, V Zaytsev, C Zubcu
Journal of Systems and Software 211, 111973, 2024
12024
Reproduction report for SV-COMP 2023
M Gerhold, A Hartmanns
arXiv preprint arXiv:2303.06477, 2023
12023
Model-Based Testing of Stochastic Behaviour
M Gerhold
University of Twente, 2018
1*2018
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
D van der Wal, M Gerhold, M Stoelinga
International Conference on Formal Methods for Industrial Critical Systems …, 2023
2023
Computer Aided Content Generation–A Gloomhaven Case Study
M Gerhold, K Tijben
Proceedings of the 18th International Conference on the Foundations of …, 2023
2023
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning
M Gerhold, L Solovyeva, V Zaytsev
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–16