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

Scan de QR-code of
Download vCard