| Model-based testing of probabilistic systems M Gerhold, M Stoelinga Formal aspects of computing 30, 77-106, 2018 | 32 | 2018 |
| A hierarchy of scheduler classes for stochastic automata S Sedwards Foundations of Software Science and Computation Structures LNCS 10803, 384, 2018 | 15 | 2018 |
| Model-based testing of stochastically timed systems M Gerhold, A Hartmanns, M Stoelinga Innovations in systems and software engineering 15 (3), 207-233, 2019 | 14 | 2019 |
| 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 | 5 | 2022 |
| 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 | 4 | 2024 |
| Model-based testing of probabilistic systems with stochastic time M Gerhold, M Stoelinga International Conference on Tests and Proofs, 77-97, 2017 | 4 | 2017 |
| 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 | 3 | 2016 |
| Reproduction report for SV-COMP 2023 M Gerhold, A Hartmanns arXiv preprint arXiv:2303.06477, 2023 | 2 | 2023 |
| Leveraging deep learning for Python version identification M Gerhold, L Solovyeva, V Zaytsev CEUR workshop proceedings 3567, 33-40, 2023 | 2 | 2023 |
| Model-based testing for general stochastic time M Gerhold, A Hartmanns, M Stoelinga NASA Formal Methods Symposium, 203-219, 2018 | 2 | 2018 |
| Ioco theory for probabilistic automata M Gerhold, M Stoelinga arXiv preprint arXiv:1504.02441, 2015 | 2 | 2015 |
| Computer Aided Content Generation–A Gloomhaven Case Study M Gerhold, K Tijben Proceedings of the 18th International Conference on the Foundations of …, 2023 | 1 | 2023 |
| 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 |
| The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning M Gerhold, L Solovyeva, V Zaytsev | | |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente在 utwente.nl 的电子邮件经过验证
