Expertise
Computer Science
- Software Language
- Software Engineer
- Compiler
- Domain-Specific Language
- Interoperability
- Programming Language Feature
- Program Verification
- Usage Statistic
Organisations
Publications
Jump to: 2024 | 2023 | 2022 | 2021
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.14222432Requirements 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)[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.pdfSpeak Well or Be Still: Solving Conversational AI with Weighted Attribute Grammars (Poster) (2022)CEUR workshop proceedings, 3250. Zaytsev, V.https://ceur-ws.org/Vol-3250/messpaper5.pdf
2021
A Scalable Log Differencing Visualisation Applied to COBOL Refactoring (2021)In 2021 Working Conference on Software Visualization (VISSOFT) (pp. 1-11). IEEE. Deknop, C., Mens, K., Bergel, A., Fabry, J. & Zaytsev, V.https://doi.org/10.1109/VISSOFT52517.2021.00010There Is More Than One Way to Zen Your Python (2021)In SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (pp. 68-82). Farooq, A. & Zaytsev, V.https://doi.org/10.1145/3486608.3486909What is the Future of Modeling? (2021)IEEE software, 38(2), 119-127. Article 9354405. Bucchiarone, A., Ciccozzi, F., Lambers, L., Pierantonio, A., Tichy, M., Tisi, M., Wortmann, A. & Zaytsev, V.https://doi.org/10.1109/MS.2020.3041522
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 Software Technology
- 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