Zilverling

dr.ir. V. Zaytsev (Vadim)

Programme Director / Associate Professor
EEMCS-CS-FMT
Zilverling 3102
v.zaytsev@utwente.nl
+31534893289
Business card
Workdays
even
odd
M
T
W
T
F
on campus
work from home
out of office

always working; if unreachable through fancy means, send an old-fashioned email

Expertise

  • Computer Science

    • Software Language
    • modeling language
    • Conceptual Model
    • Conceptual Modeling
    • Program Verification
    • Software Engineer
    • Compiler
    • Domain-Specific Language

Organisations

Publications

Jump to: 2026 | 2025 | 2024

2026

Refactoring Detection Across Languages: Leveraging Java-Trained Models for Detecting Class-Level Refactorings in Kotlin (2026)In Software Engineering and Advanced Applications: 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part I (pp. 46-63) (Lecture Notes in Computer Science; Vol. 16081). Springer. Afkhami, M. M., Hemati Moghadam, I., Zaytsev, V., Ashoori, M. H. & Bazmandegan, H.https://doi.org/10.1007/978-3-032-04190-6_4The Impact of Generative Artificial Intelligence Tools in Project-Based Learning (2026)In Bridging the gap between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024. Selected Papers (pp. 48-76) (Lecture Notes in Computer Science; Vol. 16032). Springer. van Dijk, T. & Zaytsev, V.https://doi.org/10.1007/978-3-032-01377-4_3

2025

A Systematic Analysis of Higher Education on Software Engineering in the Netherlands (2025)[Working paper › Preprint]. ArXiv.org. Heeren, B., Dalpiaz, F., Seraj, M., Verdecchia, R. & Zaytsev, V.https://doi.org/10.48550/arXiv.2512.12650CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems (2025)[Working paper › Preprint]. ArXiv.org. Odyurt, U., Sayilir, Ö. F., Stoelinga, M. I. A. & Zaytsev, V.https://doi.org/10.48550/arXiv.2510.18651Extract, model, refine: improved modelling of program verification tools through data enrichment (2025)Software and systems modeling, 24(4), 1293-1313. Lathouwers, S., Liu, Y. & Zaytsev, V.https://doi.org/10.1007/s10270-024-01232-7CoCoCoLa: Code Completion Control Language (2025)In GPCE 2025 : Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 1-12). Association for Computing Machinery, Inc. Nhat & Zaytsev, V.https://doi.org/10.1145/3742876.3742883Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation (2025)In GPCE 2025: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 13-26). Association for Computing Machinery, Inc. Moghadam, I. H., Lijzenga, O. & Zaytsev, V.https://doi.org/10.1145/3742876.3742881Mining Frequent Structures in Conceptual Models (2025)Software and systems modeling (E-pub ahead of print/First online). Fumagalli, M., Prince Sales, T., Favato Barcelos, P. P., Micale, G., Glaser, P.-L., Bork, D., Zaytsev, V., Calvanese, D. & Guizzardi, G.https://doi.org/10.1007/s10270-025-01295-0Requirements for an Automated Assessment Tool for Learning Programming by Doing (2025)In 2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025 (pp. 679-686). IEEE. Rump, A., Zaytsev, V. & Mader, A.https://doi.org/10.1109/ICST62969.2025.10988998Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair (2025)In SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (pp. 1627-1636). Association for Computing Machinery (ACM). Lijzenga, O., Hemati Moghadam, I. & Zaytsev, V.https://doi.org/10.1145/3672608.3707774

2024

Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair (2024)[Dataset Types › Dataset]. Zenodo. Lijzenga, O., Hemati Moghadam, I. & Zaytsev, V.https://doi.org/10.5281/zenodo.14222431Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design (2024)In MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (pp. 1170-1179) (Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings). Association for Computing Machinery. Gerhold, M., Kouzel, A., Mangal, H., Mehmed, S. A. & Zaytsev, V.https://doi.org/10.1145/3652620.3688348Requirements for an Automated Assesment Tool for Learning Programming by Doing (2024)[Dataset Types › Dataset]. Zenodo. Mader, A., Rump, A. & Zaytsev, V.https://doi.org/10.5281/zenodo.13992349Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings (2024)In ICCTA '24: Proceedings of the 2024 10th International Conference on Computer Technology Applications (pp. 66-75). Association for Computing Machinery (ACM). Hemati Moghadam, I., Sleurink, M. & Zaytsev, V.https://doi.org/10.1145/3674558.3674568Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study (2024)In Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 (pp. 267-271) (Proceedings - IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER); Vol. 2024). IEEE. Moghadam, I. H., Afkhami, M. M., Kamalipour, P. & Zaytsev, V.https://doi.org/10.1109/SANER60148.2024.00034The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning (2024)In Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 (pp. 137-146) (Proceedings IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER); Vol. 2024). IEEE. Gerhold, M., Solovyeva, L. & Zaytsev, V.https://doi.org/10.1109/SANER60148.2024.00022Mining Frequent Structures in Conceptual Models (2024)[Working paper › Preprint]. ArXiv.org. Fumagalli, M., Sales, T. P., Favato Barcelos, P. P., Micale, G., Glaser, P.-L., Bork, D., Zaytsev, V., Calvanese, D. & Guizzardi, G.https://doi.org/10.48550/arXiv.2406.07129Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings (2024)[Dataset Types › Dataset]. Zenodo. Hemati Moghadam, I., Sleurink, M. & Zaytsev, V.https://doi.org/10.5281/zenodo.10971388Deriving modernity signatures of codebases with static analysis (2024)The Journal of systems and software, 211. Article 111973. Admiraal, C., van den Brink, W., Gerhold, M., Zaytsev, V. & Zubcu, C.https://doi.org/10.1016/j.jss.2024.111973Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study (2024)[Dataset Types › Dataset]. Zenodo. Hemati Moghadam, I., Mohammad Mehdi, A., Kamalipour, P. & Zaytsev, V.https://doi.org/10.5281/zenodo.10465264

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3102
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Additional contact information

My office is Zilverling 3102
<br>

Scan the QR code or
Download vCard