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: 2025 | 2024 | 2023

2025

CPSLint: 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.18651The Impact ofĀ Generative Artificial Intelligence Tools inĀ Project-Based Learning (2025)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 (E-pub ahead of print/First online). van Dijk, T. & Zaytsev, V.https://doi.org/10.1007/978-3-032-01377-4_3Mining Frequent Structures in Conceptual Models (2025)[Working paper › Preprint]. Springer (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.10988998Extract, model, refine: improved modelling of program verification tools through data enrichment (2025)Software and systems modeling, 24(4), 1293-1313 (E-pub ahead of print/First online). Lathouwers, S., Liu, Y. & Zaytsev, V.https://doi.org/10.1007/s10270-024-01232-7

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.10465264Improving JSON Schema Inference by Incorporating User Inputs (2024)CEUR workshop proceedings, 3941, 146-159. Broekhuis, S. B. & Zaytsev, V.

2023

Crossover: Towards Compiler-Enabled COBOL-C Interoperability (2023)In GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 72-85). ACM Press. Assen, M. v., Ntagengerwa, M. A., Sayilir, Ö. & Zaytsev, V.https://doi.org/10.1145/3624007.3624055Code Comprehension in a Multi-Paradigm Environment: Background and Experimental Setup (2023)In Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution, University of Salerno, Computer Science Department - Fisciano (Salerno, Italy), June 12 to 14, 2023 (pp. 1-18) (CEUR Workshop Proceedings; Vol. 3483). CEUR. Floor, D., Hees, R. v. & Zaytsev, V.https://dblp.org/rec/conf/sattose/FloorHZ23Perfecting Nothingness by Refactoring Whitespace (2023)In SATToSEā€™23: Post-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution, June 2023, Fisciano, Italy (pp. 19-30) (CEUR Workshop Proceedings; Vol. 3483). CEUR. Witmans, R. & Zaytsev, V.https://ceur-ws.org/Vol-3483/Leveraging deep learning for Python version identification (2023)CEUR workshop proceedings, 3567, 33-40. Gerhold, M., Solovyeva, L. & Zaytsev, V.

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