Zilverling

dr.ir. V. Zaytsev (Vadim)

OLD / UHD
EEMCS-CS-FMT
Zilverling 3102
v.zaytsev@utwente.nl
+31534893289
Visitekaartje
Werkdagen
even
oneven
M
T
W
T
F
op de campus
thuiswerkdag
afwezig

altijd aan het werken; als fancy apps niet werken, stuur een doodgewone email

Expertises

  • Computer Science

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

Organisaties

Publicaties

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

Onderzoeksprofielen

Vakken collegejaar 2026/2027

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 2025/2026

Vakken collegejaar 2024/2025

Scan de QR-code of
Download vCard