Expertise
Computer Science
- Software Language
- Software Engineer
- Compiler
- Domain-Specific Language
- Interoperability
- Programming Language Feature
- Program Verification
- Usage Statistic
Organisations
Publications
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 Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (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 2024 - 2024 10th International Conference on Computer Technology Applications (pp. 66-75) (ACM International Conference Proceeding Series). 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 - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 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 - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024). IEEE. Gerhold, M., Solovyeva, L. & Zaytsev, V.https://doi.org/10.1109/SANER60148.2024.00022Surpassing 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
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.
2022
Modelling Program Verification Tools for Software Engineers (2022)In MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (pp. 98–108). Association for Computing Machinery. Lathouwers, S. & Zaytsev, V.https://doi.org/10.1145/3550355.3552426A refined model of ill-definedness in project-based learning (2022)In Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings (pp. 115-122) (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings). Association for Computing Machinery. Rump, A. & Zaytsev, V.https://doi.org/10.1145/3550356.3556505Go with the flow: Software engineers and distractions (2022)In Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings (pp. 934-938). Association for Computing Machinery. Janssens, S. & Zaytsev, V.https://doi.org/10.1145/3550356.3559101ProVerB: Dataset of Tools and Formats for Program Verification (2022)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Lathouwers, S. A. M. & Zaytsev, V.https://doi.org/10.4121/20347950.v1Deriving Modernity Signatures for PHP Systems with Static Analysis (2022)In Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185) (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); Vol. 2022). IEEE. van den Brink, W., Gerhold, M. & Zaytsev, V.https://doi.org/10.1109/SCAM55253.2022.00027Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing (2022)In Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022 (pp. 523-532) (Proceedings IEEE International Conference on Software Maintenance and Evolution (ICSME); Vol. 2022). IEEE. Deknop, C., Fabry, J., Mens, K. & Zaytsev, V.https://doi.org/10.1109/ICSME55016.2022.00072Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022) (2022)CEUR workshop proceedings, 3250. He, X., Xia, L. Y. & Zaytsev, V.https://ceur-ws.org/Vol-3250/bxpaper1.pdf
Research profiles
Courses academic year 2024/2025
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 191211650 - Multi-Disciplinary Design Project
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800405 - Computer Science / BIT Study Tour Course
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202200166 - Operating Systems
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202400356 - Software Design
Courses academic year 2023/2024
- 191211650 - Multi-Disciplinary Design Project
- 192111332 - Design of Software Architectures
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201400225 - Software Evolution
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800405 - Computer Science / BIT Study Tour Course
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200166 - Operating Systems
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300186 - Software Systems Core
Address
University of Twente
Zilverling (building no. 11), room 3102
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3102
P.O. Box 217
7500 AE Enschede
Netherlands
Organisations
Additional contact information
My office is Zilverling 3102
<br>
Scan the QR code or
Download vCard
Download vCard