EEMCS-CS-FMT
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
    • Software Engineer
    • Compiler
    • Domain-Specific Language
    • Interoperability
    • Programming Language Feature
    • Program Verification
    • Usage Statistic

Organisations

Publications

Jump to: 2024 | 2023 | 2022 | 2021

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.

Courses academic year 2023/2024

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