List of written works and publications (latest first)

A 167. Sophie Lathouwers, Yujie Liu, Vadim Zaytsev.

Extract, Model, Refine: Improved Modelling of Program Verification Tools through Data Enrichment,
Special Issue in the Journal of Software and Systems Modeling on MoDELS 2022 (SoSyM), 2024. In print.

[BibTeX] [PDF]

166. Marcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev.

Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design.
In MoDELS Companion: Proceedings of the Sixth International Workshop on Modelling Language Engineering (MLE), 2024. In print.

[BibTeX] [PDF] [Talk]

165. Mairieli Wessel, Georgiana Caltais, Vadim Zaytsev.

Preface.
In Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev, editors, STAF Workshop Proceedings (STAF-WS), CEUR Workshop Proceedings 3727, pages i–vi, CEUR-WS.org, 2024.

[BibTeX] [CEUR]

164. Vadim Zaytsev.

From the Programme Director: Before Joining Academia,
I/O Vivat, volume 39, number 2, pages 14–15, Jelle Maas, Ruben Groot Roessink, editors, I.C.T.S.V. Inter-Actief, July 2024. ISSN 1389-0468.

[BibTeX] [PDF]

163. Iman Hemati Moghadam, Matthias Sleurink, Vadim Zaytsev.

Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings.
In Proceedings of the International Conference on Computer Technology Applications (ICCTA), pages 66–75, ACM, 2024.

[BibTeX] [PDF] [DOI] [Dataset]

A 162. Chris Admiraal, Wouter van den Brink, Marcus Gerhold, Vadim Zaytsev, Christian Zubcu.

Deriving Modernity Signatures of Codebases with Static Analysis,
Special Issue in the Journal of Systems and Software: Open Science in Software Engineering Research (JSS), volume 211, May 2024. ISSN 0164-1212.

[BibTeX] [DOI]

A 161. Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev.

Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs.
In Valentina Lenarduzzi, Davide Taibi, Xiaozhou Li, Fabiano Pecorelli, editors, Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering, Tools Demo Track (SANER), pages 835–839, 2024.

[BibTeX] [PDF] [DOI] [Scholar]

A 160. Iman Hemati Moghadam, Mohammad Mehdi Afkhami, Parsa Kamalipour, Vadim Zaytsev.

Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study.
In Valentina Lenarduzzi, Davide Taibi, Shane McIntosh, Romain Robbes, editors, Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering, ERA Track (SANER), pages 267–271, 2024.

[BibTeX] [PDF] [DOI] [Scholar]

A 159. Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev.

The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning.
In Valentina Lenarduzzi, Davide Taibi, Guilherme Horta Travassos, Sira Vegas, editors, Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering, Reproducibility Studies and Negative Results (SANER RENE), pages 137–146, 2024.

[BibTeX] [PDF] [DOI] [Scholar]

158. Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev.

Leveraging Deep Learning for Python Version Identification.
In Fernanda Madeiral, Ayushi Rastogi, editors, Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop (BENEVOL), CEUR Workshop Proceedings 3567, pages 33–40, CEUR-WS.org, 2023. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar]

B 157. Mart van Assen, Aimé Ntagengerwa, Ömer Sayilir, Vadim Zaytsev.

Crossover: Towards Compiler-Enabled COBOL-C Interoperability.
In Coen De Roover, Bernhard Rumpe, Amir Shaikhha, editors, Proceedings of the 22nd International Conference on Generative Programming: Concepts and Experience (GPCE), pages 72–85, 2023.

[BibTeX] [PDF] [DOI] [Code] [Scholar]

156. Daniël Floor, Rinse van Hees, Vadim Zaytsev.

Code Comprehension in a Multi-Paradigm Environment.
In Andrea De Lucia, Dario Di Nucci, Valeria Pontillo, Gilberto Recupito, editors, Post-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), CEUR Workshop Proceedings 3483, pages 1–18, CEUR-WS.org, 2023. ISSN 1613-0073.

[BibTeX] [CEUR]

155. Rutger Witmans, Vadim Zaytsev.

Perfecting Nothingness by Refactoring Whitespace.
In Andrea De Lucia, Dario Di Nucci, Valeria Pontillo, Gilberto Recupito, editors, Post-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), CEUR Workshop Proceedings 3483, pages 19–30, CEUR-WS.org, 2023. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Talk]

154. Rutger Witmans, Vadim Zaytsev.

Improving Nothingness. Refactoring Whitespace.
In Pre-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), 2023.

[BibTeX] [PDF] [Talk]

153. Vadim Zaytsev.

Programme Director TCS: Perfectly Balanced, as All Things Should Be,
I/O Vivat, volume 38, number 2, pages 36, Jelle Maas, Ruben Groot Roessink, editors, I.C.T.S.V. Inter-Actief, March 2023. ISSN 1389-0468.

[BibTeX] [Online] [PDF]

152. Vadim Zaytsev.

Responsible Language Design.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering (MODELSWARD), 2023.

[BibTeX] [DBLP] [Abstract] [Talk]

151. Vadim Zaytsev.

Programme Director TCS: Greetings, Humans!,
I/O Vivat, volume 38, number 1, pages 23, Emma Sloot, Niels de Groot, editors, I.C.T.S.V. Inter-Actief, February 2023. ISSN 1389-0468.

[BibTeX] [PDF]

150. Sophie Lathouwers, Vadim Zaytsev.

ProVerB: Dataset of Tools and Formats for Program Verification.
2022.

[BibTeX] [DOI] [Project] [RIS] [Paper]

149. Arthur Rump, Vadim Zaytsev.

A Refined Model of Ill-definedness in Project-Based Learning.
In Thomas Kühn, Vasco Sousa, Olivier Barais, Peter J. Clarke, editors, MoDELS’22 Companion Proceedings: Educators Symposium of the 25th International Conference on Model Driven Engineering Languages and Systems (EduSymp), pages 115–122, 2022.

[BibTeX] [PDF] [DOI] [Scholar] [Talk]

148. Sabine Janssens, Vadim Zaytsev.

Go with the Flow: Software Engineers and Distractions.
In Thomas Kühn, Vasco Sousa, Silvia Abrahão, Timothy C. Lethbridge, Emmanuel Renaux, Bran Selić, editors, MoDELS’22 Companion Proceedings: Sixth International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo), pages 934–938, 2022.

[BibTeX] [PDF] [DOI] [Scholar]

C 147. Wouter van den Brink, Marcus Gerhold, Vadim Zaytsev.

Deriving Modernity Signatures for PHP Systems with Static Analysis.
In Mariano Ceccato, Banani Roy, Mohammad Ghafari, editors, Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation (New Ideas and Emerging Results Track) (SCAM), pages 181–185, 2022.

[BibTeX] [PDF] [DOI] [Scholar] [Talk]

146. Vadim Zaytsev.

Speak Well or Be Still: Solving Conversational AI with Weighted Attribute Grammars.
In Catherine Dubois, Julien Cohen, editors, STAF 2022 Workshop Proceedings: Second International Workshop on MDE for Smart IoT Systems (MeSS), CEUR Workshop Proceedings 3250, pages 72–74, CEUR-WS.org, 2022.

[BibTeX] [PDF] [CEUR] [Scholar] [Talk]

145. Xiao He, Li-yao Xia, Vadim Zaytsev.

Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022).
In Catherine Dubois, Julien Cohen, editors, STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX), CEUR Workshop Proceedings 3250, pages 3–8, CEUR-WS.org, 2022.

[BibTeX] [PDF] [CEUR] [Scholar]

144. Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev.

Visualising CFG Differences Through Trace Equivalence.
In Tom Mens, Eleni Constantinou, Mairieli Wessel, editors, 21st Belgium-Netherlands Software Evolution Workshop (BENEVOL), 2022.

[BibTeX] [PDF] [Online] [Scholar]

A 143. Sophie Lathouwers, Vadim Zaytsev.

Modelling Program Verification Tools for Software Engineers.
In Eugene Syriani, Houari Sahraoui, Nelly Bencomo, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pages 98–108, ACM, 2022.

[BibTeX] [PDF] [DOI] [Project] [RIS] [Artefact] [Scholar]

A 142. Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev.

Generating Customised Control-Flow Graphs for Legacy Languages with Semi-Parsing.
In Rainer Koschke, George Papadopoulos, Andrea Capiluppi, Shi Han, editors, Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), 2022. Best Artefact Award.

[BibTeX] [PDF] [DOI] [Handle] [Artefact] [Scholar]

B 141. Aamir Farooq, Vadim Zaytsev.

There Is More Than One Way to Zen Your Python.
In Eelco Visser, Dimitris Kolovos, Emma Söderberg, editors, Proceedings of the 14th International Conference on Software Language Engineering (SLE), pages 68–82, ACM, 2021.

[BibTeX] [PDF] [DOI] [Project] [RIS] [Graphs] [Artefact] [Talk] [Talk]

B 140. Céline Deknop, Kim Mens, Alexandre Bergel, Johan Fabry, Vadim Zaytsev.

A Scalable Log Differencing Visualisation Applied to COBOL Refactoring.
In Alexandru Telea, Leonel Merino, Juan Pablo Sandoval Alcocer, editors, Proceedings of the Ninth Working Conference on Software Visualization (VISSOFT), pages 1–11, IEEE, 2021.

[BibTeX] [PDF] [DOI] [RIS]

B 139. Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev.

What is the Future of Modelling?
IEEE Software Insights (IEEE Software), volume 38, issue 2, pages 119–127, IEEE, 2021.

[BibTeX] [DOI] [IEEEXplore] [RIS] [Scholar]

138. Kim Mens, Siegfried Nijssen, Hoang Son Pham, Johan Fabry, Vadim Zaytsev.

Pattern Mining for Systematic Code Changes.
In 19th Belgium-Netherlands Software Evolution Workshop (BENEVOL), 2020. Presentation abstract.

[BibTeX] [PDF] [Slides]

B 137. Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev.

Improving Software Modernisation Process by Differencing Migration Logs.
In Maurizio Morisio, Marco Torchiano, Andreas Jedlitschka, editors, Proceedings of the 21st International Conference on Product-Focused Software Process Improvement (PROFES), pages 270–286, Springer, 2020. ISBN 978-3-030-64147-4.

[BibTeX] [PDF] [DOI] [Handle] [RIS]

B 136. Vadim Zaytsev.

Software Language Engineers' Worst Nightmare.
In Ralf Lämmel, Laurence Tratt, Juan De Lara, editors, Proceedings of the 13th International Conference on Software Language Engineering (SLE), pages 72–85, ACM, 2020. ISBN 9781450381765.

[BibTeX] [PDF] [DOI] [RIS] [YouTube] [Abstract] [Award]

135. Federico Tomassetti, Vadim Zaytsev.

Reflections on the Lack of Adoption of Domain Specific Languages.
In Loli Burgueño, Lars Michael Kristensen, editors, STAF Workshop Proceedings (STAF), CEUR Workshop Proceedings 2707, pages 85–94, CEUR-WS.org, 2020.

[BibTeX] [CEUR] [RIS]

134. Vadim Zaytsev, Anya Helene Bagge.

OOPSLE 2020: Open and Original Problems in Software Language Engineering.
In Loli Burgueño, Lars Michael Kristensen, editors, STAF Workshop Proceedings (STAF), CEUR Workshop Proceedings 2707, pages 47–51, CEUR-WS.org, 2020.

[BibTeX] [CEUR] [RIS]

133. Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev.

Advanced Differencing of Legacy Code and Migration Logs.
In Ana Oprescu, Eleni Constantinou, editors, Pre-proceedings of the 13th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), 2020.

[BibTeX] [Online] [RIS]

B 132. Vadim Zaytsev.

Modelling of Language Syntax and Semantics: The Case of the Assembler Compiler,
Proceedings of the 16th European Conference on Modelling Foundations and Applications in the Journal of Object Technology (ECMFA@JOT), volume 19, issue 2, July 2020.

[BibTeX] [PDF] [YouTube] [DOI] [Online] [Scholar]

131. Aynel Gül, Vadim Zaytsev.

Mutative Fuzzing for an Assembler Compiler.
In Dario Di Nucci, Coen De Roover, editors, Post-proceedings of the 18th Belgium-Netherlands Software Evolution Workshop (BENEVOL), CEUR Workshop Proceedings 2605, pages 18–24, CEUR-WS.org, 2020.

[BibTeX] [PDF] [CEUR]

130. Vadim Zaytsev.

Blind Men and a Room Full of Elephants.
In Dario Di Nucci, Coen De Roover, editors, Post-proceedings of the 18th Belgium-Netherlands Software Evolution Workshop (BENEVOL), CEUR Workshop Proceedings 2605, pages 5–6, CEUR-WS.org, 2020.

[BibTeX] [PDF] [CEUR]

129. Dario Di Nucci, Hoang Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, Vadim Zaytsev.

A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns.
In Anne Etien, editor, Post-proceedings of the 12th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), CEUR Workshop Proceedings 2510, pages 38–44, CEUR-WS.org, 2019. ISSN 1613-0073.

[BibTeX] [CEUR] [Handle] [Scholar]

128. Vadim Zaytsev.

Event-Based Parsing.
In Tetsuo Kamina, Hidehiko Masuhara, editors, Proceedings of the Sixth Workshop on Reactive and Event-based Languages and Systems (REBLS), 2019.

[BibTeX] [PDF] [DOI] [Scholar] [Talk]

B 127. Hoang Son Pham, Siegfried Nijssen, Kim Mens, Dario Di Nucci, Tim Molderez, Coen De Roover, Johan Fabry, Vadim Zaytsev.

Mining Patterns in Source Code using Tree Mining Algorithms.
In Petra Kralj Novak, Tomislav Šmuc, Sašo Džeroski, editors, Proceedings of the 22nd International Conference on Discovery Science (DS), Springer, 2019. ISBN 978-3-030-33778-0.

[BibTeX] [DOI] [Scholar]

126. Dario Di Nucci, Hoang Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, Vadim Zaytsev.

A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns.
In Pre-proceedings of the 12th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), 2019.

[BibTeX] [VUB]

125. Holger Giese, Gabor Karsai, Vadim Zaytsev.

WG4: Multiple Interacting Bidirectional Transformations.
In Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev, editors, Report from Dagstuhl Seminar 18491 on Multidirectional Transformations and Synchronisations (MX Dagstuhl), pages 10–11, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2019.

[BibTeX] [PDF]

124. Vadim Zaytsev.

Multidirectionality in Compiler Testing.
In Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev, editors, Report from Dagstuhl Seminar 18491 on Multidirectional Transformations and Synchronisations (MX Dagstuhl), pages 42–43, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2019.

[BibTeX] [PDF]

123. Vadim Zaytsev.

Ecosystem Health as a Reason for Migration: The Mainframe Case.
In Second International Workshop on Software Health, Industrial Track (SoHeal), 2019.

[BibTeX] [PDF]

122. Vadim Zaytsev, Johan Fabry.

Fourth Generation Languages are Technical Debt.
In International Conference on Technical Debt, Tools Track (TD-TD), 2019. Extended Abstract.

[BibTeX] [PDF]

121. Vadim Zaytsev.

Modern Construction of Industrial Strength Compilers,
Computer Science Summer in Russia (CSSR), 2019. Lecture course.

[Abstract] [PDF]

120. Johan Fabry, Vadim Zaytsev, Kim Mens, Siegfried Nijssen, Hoang Son Pham, Coen De Roover, Dario Di Nucci, Tim Molderez.

A Language-Parametric Toolchain for Mining Idiomatic Code Patterns.
Demo in ‹Programming› 2019 Demos Track, 2019.

[BibTeX] [Online]

A 119. Leszek Włodarski, Boris Pereira, Ivan Povazan, Johan Fabry, Vadim Zaytsev.

Quality First! A Large Scale Modernisation Report.
In Xinyu Wang, Zhenyu Chen, Jinjun Hu, editors, Proceedings of the 26th IEEE International Conference on Software Analysis, Evolution and Reengineering — Industry Track (SANER IT), pages 569–573, 2019.

[BibTeX] [PDF] [DOI] [IEEEXplore]

B 118. Vadim Zaytsev.

An Industrial Case Study in Compiler Testing.
In David J. Pearce, Tanja Mayerhofer, Friedrich Steimann, editors, Proceedings of the 11th International Conference on Software Language Engineering (SLE), pages 97–102, ACM, 2018. ISBN 978-1-4503-6029-6/18/11.

[BibTeX] [PDF] [DOI] [ACM] [Talk]

117. Vadim Zaytsev.

Open Challenges in Incremental Coverage of Legacy Software Languages.
In Luke Church, Richard P. Gabriel, Robert Hirschfeld, Hidehiko Masuhara, editors, Post-proceedings of the Third Edition of the Programming Experience Workshop (PX/17.2), pages 1–6, 2017.

[BibTeX] [PDF] [DOI] [ACM]

116. Vadim Zaytsev.

Objectifying a Metaprogramming Language.
In Proceedings of the -2th Workshop on New Object-Oriented Languages (NOOL), 2017.

[BibTeX] [PDF] [Scholar] [Talk]

115. Vadim Zaytsev.

Parsing @ IDE.
In Pre-proceedings of the Fifth Annual Workshop on Parsing Programming Languages (Parsing@SLE), 2017.

[BibTeX] [PDF] [Talk]

114. Sabine Janssens, Ulrik Pagh Schultz, Vadim Zaytsev.

Can Some Programming Languages Be Considered Harmful?
In Sarah E. Chasins, Gustavo Soares, Joshua Sunshine, editors, Proceedings of the Eighth Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2017.

[BibTeX] [PDF] [Scholar] [Talk]

113. Vadim Zaytsev.

Incremental Coverage of Legacy Software Languages.
In Luke Church, Richard P. Gabriel, Robert Hirschfeld, Hidehiko Masuhara, editors, Pre-proceedings of the Third Edition of the Programming Experience Workshop (PX/17.2), pages 1–3, 2017.

[BibTeX] [PDF] [Talk]

112. Vadim Zaytsev.

Megamodelling with NGA Multimodels.
In Christoph Bockisch, Michael L. Van De Vanter, editors, Proceedings of the Second International Workshop on Comprehension of Complex Systems (CoCoS), pages 1–6, ACM, 2017. ISBN 978-1-4503-5521-6.

[BibTeX] [PDF] [DOI] [ACM] [Scholar] [Talk]

B 111. Vadim Zaytsev.

Parser Generation by Example for Legacy Pattern Languages.
In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th International Conference on Generative Programming: Concepts and Experience (GPCE), pages 212–218, ACM, 2017. ISBN 978-1-4503-5524-7.

[BibTeX] [PDF] [DOI] [ACM] [Scholar] [Talk]

B 110. Mats Stijlaart, Vadim Zaytsev.

Towards a Taxonomy of Grammar Smells.
In Benoît Combemale, Marjan Mernik, Bernhard Rumpe, editors, Proceedings of the 10th International Conference on Software Language Engineering (SLE), pages 43–54, ACM, 2017. ISBN 978-1-4503-5525-4.

[BibTeX] [PDF] [DOI] [ACM] [Scholar] [Talk] [Talk]

A 109. Vadim Zaytsev.

Language Design with Intent.
In Don Batory, Jeff Gray, Vinay Kulkarni, editors, Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pages 45–52, IEEE, 2017.

[BibTeX] [Project] [PDF] [DOI] [IEEEXplore] [Supplement] [Scholar] [Talk] [Talk] [Talk]

108. Anya Helene Bagge, Kristoffer Haugsbakk, Vadim Zaytsev.

Towards Reasonable Ownership.
In International Workshop on Aliasing, Capabilities and Ownership (IWACO), 2017.

[BibTeX] [PDF] [Scholar] [Magnolia] [Rust] [ATS]

107. Vadim Zaytsev.

BibSLEIGH: Bibliography of Software (Language) Engineering in Generated Hypertext.
In Anya Helene Bagge, Tom Mens, Haidar Osman, editors, Post-proceedings of the Eighth Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2015), CEUR Workshop Proceedings 1820, pages 54–64, CEUR-WS.org, 2017. ISSN 1613-0073.

[BibTeX] [PDF] [Scholar] [CEUR]

106. Haidar Osman, Davide Di Ruscio, Vadim Zaytsev, Mircea Filip Lungu, Anya Helene Bagge.

SATToSE 2015: The Post-proceedings Editorial.
In Anya Helene Bagge, Tom Mens, Haidar Osman, editors, Post-proceedings of the Eighth Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2015), CEUR Workshop Proceedings 1820, pages 1–4, CEUR-WS.org, 2017. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR]

A 105. Nicole Vavrová, Vadim Zaytsev.

Does Python Smell Like Java?
The Art, Science and Engineering of Programming (‹Programming›), volume 1, issue 2, pages 11-1–11-29, Cristina Videira Lopes, editor, April 2017.

[BibTeX] [PDF] [DOI] [arXiv] [Scholar] [YouTube]

104. Vadim Zaytsev.

On the Need of Compilepretation for Legacy Languages.
In Laurence Tratt, Adam Welc, Stefan Marr, editors, Workshop on Modern Language Runtimes, Ecosystems, and Virtual Machines (MoreVMs 2017), 2017.

[BibTeX] [PDF] [YouTube]

103. Nico de Groot, Vadim Zaytsev.

CSS Corpus for Reproducible Analysis.
In Mircea Filip Lungu, Anya Helene Bagge, Haidar Osman, editors, Post-proceedings of the Ninth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), CEUR Workshop Proceedings 1791, pages 47–56, CEUR, 2017. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar]

102. Haidar Osman, Davide Di Ruscio, Vadim Zaytsev, Mircea Filip Lungu, Anya Helene Bagge.

SATToSE 2016: The Post-proceedings Editorial.
In Mircea Filip Lungu, Anya Helene Bagge, Haidar Osman, editors, Post-proceedings of the Ninth Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2016), CEUR Workshop Proceedings 1791, pages 1–4, CEUR-WS.org, 2017. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR]

101. Vadim Zaytsev, Ekkart Kindler.

Adequate Synchronization of Models after Performing Concurrent Changes.
In Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong, editors, NII Shonan Meeting Report No. 2016-13: Bidirectional Transformations (BX Shonan), pages 12–13, National Institute of Informatics, 2016. ISSN 2186-7437.

[BibTeX] [Online]

100. Vadim Zaytsev.

Evolution of Metaprograms: XSLT as a Metaprogramming Language.
In Proceedings of the Workshop on Meta-Programming Techniques and Reflection (META), ACM Digital Library, 2016. To appear.

[BibTeX]

99. Vadim Zaytsev.

The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions.
In Fourth Workshop on Domain-Specific Language Design and Implementation (DSLDI), 2016.

[BibTeX] [Abstract] [PDF] [Scholar]

B 98. Boryana Goncharenko, Vadim Zaytsev.

Language Design and Implementation for the Domain of Coding Conventions.
In Tijs van der Storm, Emilie Balland, Dániel Varró, editors, Proceedings of the Ninth International Conference on Software Language Engineering (SLE), pages 90–104, 2016. ISBN 978-1-4503-4447-0.

[BibTeX] [PDF] [DOI] [ACM] [Scholar] [Code] [Code] [Supplement]

B 97. Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev.

Tool Demo: Raincode Assembler Compiler.
In Tijs van der Storm, Emilie Balland, Dániel Varró, editors, Proceedings of the Ninth International Conference on Software Language Engineering (SLE), pages 221–225, 2016.

[BibTeX] [PDF] [DOI] [Scholar] [Product]

A 96. Leonard Punt, Sjoerd Visscher, Vadim Zaytsev.

Experimental Data for the A?B*A Pattern in CSS: Inputs and Outputs.
In Proceedings of the 32nd International Conference on Software Maintenance and Evolution (ICSME), page 616, 2016. Best Artefact Award.

[BibTeX] [PDF] [DOI] [Scholar] [Award] [Twitter]

A 95. Leonard Punt, Sjoerd Visscher, Vadim Zaytsev.

A Tool for Detecting and Refactoring the A?B*A Pattern in CSS.
In Proceedings of the 32nd International Conference on Software Maintenance and Evolution (ICSME), page 613, 2016.

[BibTeX] [PDF] [DOI] [Scholar] [Twitter]

A 94. Leonard Punt, Sjoerd Visscher, Vadim Zaytsev.

The A?B*A Pattern: Undoing Style in CSS and Refactoring Opportunities it Presents.
In Proceedings of the 32nd International Conference on Software Maintenance and Evolution (ICSME), pages 67–77, 2016.

[BibTeX] [PDF] [DOI] [Scholar]

93. Vadim Zaytsev.

Two-Faced Data.
In Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin, editors, Post-proceedings of the First International Workshop on Patterns in Model Engineering (PAME 2015), CEUR Workshop Proceedings 1657, pages 16–26, CEUR-WS.org, 2016. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR]

92. Gorjan Jovanovski, Vadim Zaytsev.

Critical CSS Rules — Decreasing Time to First Render by Inlining CSS Rules for Over-the-Fold Elements.
In Pre-proceedings of the Ninth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE), 2016.

[BibTeX] [PDF] [Online] [Scholar] [Code]

91. Vadim Zaytsev.

Cotransforming Grammars with Shared Packed Parse Forests,
Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 73 (Graph Computation Models — Selected Revised Papers), Detlef Plump, editor, EASST, April 2016. ISSN 1863-2122.

[BibTeX] [PDF] [DOI] [Online] [Scholar]

A 90. Juriaan Kennedy van Dam, Vadim Zaytsev.

Software Language Identification with Natural Language Classifiers.
In Katsuro Inoue, Yasutaka Kamei, Michele Lanza, Norihiro Yoshida, editors, Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering: the Early Research Achievements track (SANER ERA), pages 624–628, IEEE, 2016.

[BibTeX] [PDF] [DOI] [IEEEXplore] [Scholar] [Talk]

89. Jetse Koopmans, Daan van den Berg, Vadim Zaytsev.

Similarity, Data Compression and a Dead Composer,
Student Undergraduate Research E-journal! (SURE!), volume 1, number 1, TUDelft, 2015. ISSN 2468-0443.

[BibTeX] [Online]

88. Jetse Koopmans, Daan van den Berg, Vadim Zaytsev.

Similarity, Data Compression and a Dead Composer.
In Hans van Himbergen, Alkeline van Lenning, José W. Otte, editors, Proceedings of the Sixth Student Research Conference (SRC), pages 37–40, ScienceWorks, 2015.

[BibTeX]

87. Vadim Zaytsev.

Taxonomy of Flexible Linguistic Commitments.
In Davide Di Ruscio, Juan De Lara, Alfonso Pierantonio, editors, Workshop on Flexible Model-Driven Engineering (FlexMDE), CEUR Workshop Proceedings 1470, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [Code] [CEUR] [Scholar] [Talk] [Talk]

86. Vadim Zaytsev.

Flipped Top-Down is Systematic Bottom-Up.
In Arnon Sturm, Tony Clark, editors, Proceedings of the MoDELS Educators Symposium (EduSymp'15), CEUR Workshop Proceedings 1555, pages 17–28, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [Scholar] [Talk]

85. Vadim Zaytsev.

Multi-Language Modelling with Second Order Intensions.
In Colin Atkinson, Georg Grossmann, Thomas Kühne, Juan De Lara, editors, Proceedings of the Second International Workshop on Multi-Level Modelling (MULTI), CEUR Workshop Proceedings 1505, pages 33–42, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [Online] [CEUR] [Scholar] [Talk]

84. Vadim Zaytsev.

Using Dependence Graphs for Slicing Functional Programs.
In Pre-proceedings of the 27th Symposium on Implementation and Application of Functional Languages (IFL), 2015.

[BibTeX] [Abstract] [Scholar] [Talk]

83. Vadim Zaytsev.

Two-Faced Data.
In Eugene Syriani, Richard F. Paige, Steffen Zschaler, Hüseyin Ergin, editors, First International Workshop on Patterns in Model Engineering (PAME), 2015.

[BibTeX] [PDF] [Talk]

82. Vadim Zaytsev.

Coupled Transformations of Shared Packed Parse Forests.
In Detlef Plump, editor, Proceedings of the Sixth International Workshop on Graph Computation Models (GCM), CEUR Workshop Proceedings 1403, pages 2–17, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar] [Talk]

81. Vadim Zaytsev.

Evolution of Metaprograms, or How to Transform XSLT to Rascal.
In Anya Helene Bagge, editor, Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015), pages 27–30, July 2015.

[BibTeX] [PDF] [Online] [Programme] [Scholar] [Talk]

80. Vadim Zaytsev.

BibSLEIGH: Bibliography of Software Language Engineering in Generated Hypertext.
In Anya Helene Bagge, editor, Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015), pages 59–62, July 2015.

[BibTeX] [Project] [PDF] [Online] [Programme] [Talk]

79. Vadim Zaytsev.

BibSLEIGH.
2015.

[BibTeX] [Online] [Talk] [Talk]

78. Anya Helene Bagge, Vadim Zaytsev.

Open and Original Problems in Software Language Engineering 2015 Workshop Report,
SIGSOFT Software Engineering Notes, volume 40, issue 3, pages 32-37, ACM, May 2015.

[BibTeX] [PDF] [DOI] [ACM] [Scholar]

77. Zinovy Diskin, Rick Salay, Bernhard Schätz, Vadim Zaytsev.

MMMDE: Workshop on Mathematical Models for Model-Driven Engineering,
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015.

[PDF] [Details] [Website]

76. Davide Di Ruscio, Vadim Zaytsev.

SATToSE 2014: The Post-proceedings Editorial.
In Davide Di Ruscio, Vadim Zaytsev, editors, Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014), CEUR Workshop Proceedings 1354, pages 1–5, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR]

75. Dave Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frédéric Boulanger, Jeff Gray.

The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education.
In Birgit Demuth, Dave Stikkolorum, editors, Proceedings of the MoDELS Educators Symposium (EduSymp'14), CEUR Workshop Proceedings 1346, pages 75–86, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar]

74. Anya Helene Bagge, Vadim Zaytsev.

Languages, Models and Megamodels: A Tutorial.
In Davide Di Ruscio, Vadim Zaytsev, editors, Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014), CEUR Workshop Proceedings 1354, pages 132–143, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar]

73. Ammar Hamid, Vadim Zaytsev.

Detecting Refactorable Clones by Slicing Program Dependence Graphs.
In Davide Di Ruscio, Vadim Zaytsev, editors, Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014), CEUR Workshop Proceedings 1354, pages 37–48, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar] [Talk]

72. Vadim Zaytsev.

Model-based Student Admission.
In Birgit Demuth, Dave Stikkolorum, editors, Proceedings of the MoDELS Educators Symposium (EduSymp'14), CEUR Workshop Proceedings 1346, pages 63–72, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [Scholar]

71. Anya Helene Bagge, Ralf Lämmel, Vadim Zaytsev.

Reflections on Courses for Software Language Engineering.
In Birgit Demuth, Dave Stikkolorum, editors, Proceedings of the MoDELS Educators Symposium (EduSymp'14), CEUR Workshop Proceedings 1346, pages 54–63, CEUR-WS.org, 2015. ISSN 1613-0073.

[BibTeX] [PDF] [Abstract] [CEUR] [Scholar] [Twitter] [Twitter] [Twitter]

A 70. Vadim Zaytsev.

Grammar Zoo: A Corpus of Experimental Grammarware,
Fifth Special issue on Experimental Software and Toolkits of Science of Computer Programming (SCP EST5), volume 98, pages 28–51, February 2015.

[BibTeX] [PDF] [DOI] [Scholar] [Talk]

69. Anya Helene Bagge, Vadim Zaytsev.

Open and Original Problems in Software Language Engineering.
22nd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2015) Workshop Proposal, October 2014.

[BibTeX] [PDF]

68. Vadim Zaytsev.

Grammar Maturity Model.
In Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit, editors, Post-proceedings of the Ninth Workshop on Models and Evolution (ME'14), CEUR Workshop Proceedings 1331, pages 42–51, CEUR-WS.org, February 2015. ISSN 1613-0073.

[BibTeX] [CEUR] [Scholar]

67. Vadim Zaytsev.

Grammar Maturity Model.
In Alfonso Pierantonio, Dalila Tamzalit, Bernhard Schätz, editors, Pre-proceedings of the Ninth Workshop on Models and Evolution (ME 2014), pages 42–51, August 2014.

[BibTeX] [PDF] [Online] [Talk]

66. Vadim Zaytsev.

Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel.
In Benoît Combemale, Julien DeAntoni, Robert B. France, editors, Second International Workshop on Globalization of Modeling Languages (GEMOC'14), CEUR Workshop Proceedings 1236, pages 69–77, CEUR-WS.org, September 2014. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [ReMoDD] [Scholar] [Talk] [Talk]

65. Vadim Zaytsev, Anya Helene Bagge.

Modelling Parsing and Unparsing.
In Second Workshop on Parsing at SLE 2014, August 2014. Extended Abstract. Accepted for presentation.

[BibTeX] [PDF] [Scholar] [Talk]

A 64. Vadim Zaytsev, Anya Helene Bagge.

Parsing in a Broad Sense.
In Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran, editors, Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), LNCS 8767, pages 50–67, Springer, October 2014.

[BibTeX] [PDF] [DOI] [Abstract] [Scholar] [Talk] [Talk]

63. Dick van Albada, Roy Bakker, Inge Bethke, Robert Belleman, Daan van den Berg, Magiel Bruntink, Hans L. Dekkers, Roeland Douma, Toto van Inge, José Lagerberg, Andy Pimentel, Simon Polstra, Raphael Poss, Ana-Lucia Varbanescu, Arnoud Visser, Vadim Zaytsev.

Whitepaper: Project-based Curricula.
Universiteit van Amsterdam (UvA), Faculteit der Natuurwetenschappen, Wiskunde en Informatica (FNWI), Instituut voor Informatica (IvI) External Report, October 2014. 2 pages.

[BibTeX] [Handle]

B 62. Vadim Zaytsev.

Negotiated Grammar Evolution,
Special issue on Extreme Modeling of The Journal of Object Technology (JOT), volume 13, number 3, pages 1:1–22, AITO, July 2014.

[BibTeX] [PDF] [DOI] [Scholar]

61. Jan van Eijck, Vadim Zaytsev.

Flipped Graduate Classroom in a Haskell-based Software Testing Course.
In Pre-proceedings of the Third International Workshop on Trends in Functional Programming in Education (TFPIE 2014), May 2014. Extended Abstract.

[BibTeX] [PDF] [Online] [Scholar] [Talk]

60. Vadim Zaytsev.

Case Studies in Bidirectionalisation.
In Pre-proceedings of the 15th International Symposium on Trends in Functional Programming (TFP 2014), pages 51–58, May 2014. Extended Abstract.

[BibTeX] [PDF] [Online] [Scholar] [Talk]

59. Paul Klint, Jurgen Vinju, Tijs van der Storm, Vadim Zaytsev.

GrammarLab: Foundations for a Grammar Laboratory.
NWO Final Scientific Report, March 2014. 10 pages.

[BibTeX] [GrammarLab]

58. Vadim Zaytsev.

Software Language Engineering by Intentional Rewriting,
Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 65 (Software Quality and Maintainability), EASST, March 2014. ISSN 1863-2122.

[BibTeX] [PDF] [DOI] [Online] [Scholar] [Talk]

57. Anya Helene Bagge, Vadim Zaytsev.

International Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2014).
In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, Proceedings of the Software Evolution Week (IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering), Workshop Descriptions (CSMR-WCRE 2014), page 478, IEEE, February 2014.

[BibTeX] [PDF] [DOI] [IEEEXplore] [Abstract] [Abstract] [Scholar]

A 56. Vadim Zaytsev.

Formal Foundations for Semi-parsing.
In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, Proceedings of the Software Evolution Week (IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering), Early Research Achievements Track (CSMR-WCRE 2014 ERA), pages 313–317, IEEE, February 2014.

[BibTeX] [PDF] [DOI] [IEEEXplore] [Scholar] [Talk] [Talk]

55. Vadim Zaytsev.

Pending Evolution of Grammars.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Second Workshop on Extreme Modeling (XM 2013), CEUR Workshop Proceedings 1089, pages 28–35, CEUR-WS.org, October 2013. ISSN 1613-0073.

[BibTeX] [PDF] [CEUR] [HAL] [Scholar]

54. Ralf Lämmel, Vadim Zaytsev.

Language Support for Megamodel Renarration.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Second Workshop on Extreme Modeling (XM 2013), CEUR Workshop Proceedings 1089, pages 36–45, CEUR-WS.org, October 2013. ISSN 1613-0073.

[BibTeX] [Abstract] [PDF] [CEUR] [HAL] [Scholar]

53. Vadim Zaytsev.

Pending Evolution of Grammars.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Proceedings of the Second Extreme Modeling Workshop (XM 2013), pages 28–35, Università degli Studi dell’Aquila, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, L’Aquila, Italy, September 2013.

[BibTeX] [PDF] [Online] [CWI] [Programme] [Talk]

52. Ralf Lämmel, Vadim Zaytsev.

Language Support for Megamodel Renarration.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Proceedings of the Second Extreme Modeling Workshop (XM 2013), pages 36–45, Università degli Studi dell’Aquila, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, L’Aquila, Italy, September 2013.

[BibTeX] [Abstract] [PDF] [Online] [CWI] [Programme] [Talk]

51. Vadim Zaytsev.

Modelling Robustness with Conjunctive Grammars.
In Davide Di Ruscio, editor, Sixth Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2013), July 2013.

[BibTeX] [PDF] [Online] [Programme]

B 50. Vadim Zaytsev.

Micropatterns in Grammars.
In Martin Erwig, Richard F. Paige, Eric Van Wyk, editors, Proceedings of the Sixth International Conference on Software Language Engineering (SLE 2013), LNCS 8225, pages 117–136, Springer, October 2013.

[BibTeX] [PDF] [CWI] [DOI] [HAL] [Talk]

49. Vadim Zaytsev.

Guided Grammar Convergence.
In Poster proceedings of the Sixth International Conference on Software Language Engineering (SLE 2013), October 2013. In print.

[BibTeX] [PDF] [Talk] [Talk] [Talk] [Talk]

48. Anya Helene Bagge, Vadim Zaytsev.

Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2013).
In Ralf Lämmel, Rocco Oliveto, Romain Robbes, editors, Proceedings of the 20th Working Conference on Reverse Engineering (WCRE 2013), pages 493–494, IEEE, October 2013.

[BibTeX] [PDF] [DOI] [IEEEXplore] [Scholar]

47. Vadim Zaytsev.

The Grammar Hammer of 2012,
Computing Research Repository (CoRR), volume 1212.4446, pages 1–32, ACM, December 2012.

[BibTeX] [PDF] [arXiv] [CWI] [Scholar] [SLPS]

46. Vadim Zaytsev.

Negotiated Grammar Transformation.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Extreme Modeling Workshop (XM 2012), ACM Digital Library, November 2012.

[BibTeX] [PDF] [DOI] [Scholar] [Talk]

45. Vadim Zaytsev.

Renarrating Linguistic Architecture: A Case Study.
In Cécile Hardebolle, Eugene Syriani, Jonathan Sprinkle, Tamás Mészáros, editors, Post-proceedings of the Sixth International Workshop on Multi-Paradigm Modeling (MPM 2012), page 61-66, ACM Digital Library, November 2012. ISBN 978-1-4503-1805-1.

[BibTeX] [PDF] [DOI] [Scholar]

44. Vadim Zaytsev.

Negotiated Grammar Transformation.
In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Extreme Modeling Workshop (XM 2012), Dipartimento di Informatica, Università degli Studi dell’Aquila, October 2012.

[BibTeX] [PDF] [Online] [CWI] [HAL] [Programme] [Talk] [Talk]

43. Vadim Zaytsev.

Renarrating Linguistic Architecture: A Case Study.
In Cécile Hardebolle, Eugene Syriani, Jonathan Sprinkle, Tamás Mészáros, editors, Sixth International Workshop on Multi-Paradigm Modeling (MPM 2012), Automatizálási és Alkalmazott Informatikai Tanszék, Budapesti Műszaki és Gazdaságtudományi Egyetem, October 2012.

[BibTeX] [PDF] [Online] [CWI] [HAL] [Programme] [Talk] [Talk]

42. Paul Klint, Davy Landman, Mark Hills, Jurgen Vinju, Anastasia Izmaylova, Tijs van der Storm, Atze van der Ploeg, Bert Lisser, Ali Afroozeh, Anya Helene Bagge, Vadim Zaytsev, Ashim Shahi.

Rascal 0.6.x.
2013.

[BibTeX] [Online] [CWI] [CWI] [CWI]

41. Vadim Zaytsev.

Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided,
Computing Research Repository (CoRR), volume 1207.6541, pages 1–44, ACM, July 2012.

[BibTeX] [PDF] [arXiv] [CWI] [DOI] [HAL] [Scholar] [Twitter] [4sq] [SLPS] [Talk] [Talk]

B 40. Vadim Zaytsev.

Notation-Parametric Grammar Recovery.
In Anthony Sloane, Suzana Andova, editors, Post-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), ACM Digital Library, June 2012.

[BibTeX] [PDF] [CWI] [DOI] [Scholar] [Talk] [Talk] [Talk]

39. Vadim Zaytsev.

Language Evolution, Metasyntactically,
Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 49 (Bidirectional Transformations), EASST, 2012. ISSN 1863-2122.

[BibTeX] [PDF] [DOI] [Online] [CWI] [HAL] [Scholar] [SLPS] [Talk]

38. Jeroen van den Bos, Davy Landman, Karin Blankers, Paul Klint, Atze van der Ploeg, Tijs van der Storm, Jurgen Vinju, Vadim Zaytsev.

LEGO Turing Machine.
June 2012.

[BibTeX] [Online] [Video] [Code]

37. Vadim Zaytsev.

Notation-Parametric Grammar Recovery.
In Anthony Sloane, Suzana Andova, editors, Pre-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), pages 105–118, Institute of Cybernetics at Tallinn University of Technology, March 2012.

[BibTeX] [PDF] [CWI] [DOI] [HAL]

B 36. Vadim Zaytsev.

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions.
In Sascha Ossowski, Paola Lecca, editors, Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC/PL 2012), pages 1910–1915, ACM, March 2012. ISBN 978-1-4503-0857-1.

[BibTeX] [PDF] [CWI] [DOI] [Handle] [HAL] [Scholar] [Twitter] [Talk] [Talk]

35. Vadim Zaytsev.

Language Evolution, Metasyntactically.
In Frank Hermann, Janis Voigtländer, editors, Pre-proceedings of the First International Workshop on Bidirectional Transformation (BX 2012), Institute of Cybernetics at Tallinn University of Technology, March 2012.

[BibTeX] [PDF] [CWI] [DOI] [Twitter] [HAL]

34. Jurgen Vinju, Paul Klint, Tijs van der Storm, Bas Basten, Jeroen van den Bos, Mark Hills, Arnold Lankamp, Atze van der Ploeg, Davy Landman, Vadim Zaytsev, Anastasia Izmaylova, Anya Helene Bagge, Bert Lisser.

Rascal 0.4.
2011.

[BibTeX] [Online] [CWI] [Scholar]

33. Vadim Zaytsev.

Wikimedia Conference Netherlands 2011.
Wikimedia Foundation Netherlands Post-conference Evaluation Report, 2011. 18 pages. In Dutch.

[BibTeX] [PDF] [Online]

B 32. Bernd Fischer, Ralf Lämmel, Vadim Zaytsev.

Comparison of Context-free Grammars Based on Parsing Generated Test Data.
In Uwe Aßmann, Anthony Sloane, editors, Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), LNCS 6940, pages 324–343, Springer, 2012.

[BibTeX] [Abstract] [PDF] [CWI] [DOI] [Data] [HAL] [Scholar] [SLPS] [Rascal] [Twitter] [Talk]

31. Wikiversity (Spider).

The Future of Wikiversity.
Contributed in 2011. In English and Russian.

[BibTeX] [English] [Russian]

30. Vadim Zaytsev.

MediaWiki Grammar Recovery,
Computing Research Repository (CoRR), volume 1107.4661, pages 1–47, ACM, July 2011.

[BibTeX] [PDF] [arXiv] [CWI] [researchr] [Scholar] [SLPS]

29. Wikimania (Spider).

Wiki Migration.
Contributed in 2011. Presentation abstract.

[BibTeX] [Abstract] [Reviews] [Schedule] [Rascal]

28. Bernd Fischer, Ralf Lämmel, Vadim Zaytsev.

Comparison of Context-free Grammars Based on Parsing Generated Test Data.
In Uwe Aßmann, João Saraiva, Anthony Sloane, editors, Pre-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), pages 323–342, Centro de Ciências e Tecnologias de Computação, July 2011.

[BibTeX] [Abstract] [PDF] [CWI] [Data] [SLPS] [Rascal] [Talk] [Talk] [Talk]

C 27. Ralf Lämmel, Vadim Zaytsev.

Recovering Grammar Relationships for the Java Language Specification,
Software Quality Journal (SQJ), volume 19, number 2 (Section on Source Code Analysis and Manipulation), pages 333–378, Springer, March 2011. ISSN 0963-9314.

[BibTeX] [Abstract] [PDF] [CWI] [DOI] [ACM] [IEEEXplore] [Scholar] [SLPS] [Talk] [Talk] [Talk] [Talk]

26. Vadim Zaytsev.

Language Convergence Infrastructure.
In João Miguel Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Post-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), LNCS 6491, pages 481–497, Springer, January 2011.

[BibTeX] [PDF] [CWI] [DOI] [ACM] [researchr] [Scholar] [SLPS] [Talk] [Talk]

B 25. Vadim Zaytsev, Ralf Lämmel.

A Unified Format for Language Documents.
In Brian A. Malloy, Steffen Staab, Mark G. J. van den Brand, editors, Post-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), LNCS 6563, pages 206–225, Springer, January 2011.

[BibTeX] [Abstract] [PDF] [CWI] [DOI] [ACM] [Scholar] [researchr] [SS⇒LDF] [SLPS]

24. Vadim Zaytsev.

Recovery, Convergence and Documentation of Languages.
PhD thesis, Vrije Universiteit, October 2010.

[BibTeX] [PDF] [Handle] [researchr] [Scholar] [Acknowledgers] [Twitter] [Facebook]

23. Vadim Zaytsev, Ralf Lämmel.

A Unified Format for Language Documents.
In Paul M. E. De Bra, Jack J. van Wijk, editors, Pre-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), Computer Science Reports 10–12, Technische Universiteit Eindhoven, October 2010.

[BibTeX] [Abstract] [PDF] [researchr] [SS⇒LDF] [SLPS] [Talk]

22. Ralf Lämmel, Vadim Zaytsev.

Recovering Grammar Relationships for the Java Language Specification,
Computing Research Repository (CoRR), volume 1008.4188, pages 1–46, ACM, August 2010.

[BibTeX] [Abstract] [PDF] [arXiv] [researchr] [SLPS]

21. Ralf Lämmel, Vadim Zaytsev.

Reverse Engineering Grammar Relationships,
Softwaretechnik-Trends, volume 30, number 2 (Bericht und Beiträge des gemeinsamen Workshops Software-Reengineering und Design for Future), Fachgruppe Software-Reengineering (FG SRE), May 2010. ISSN 0720-8928. Extended abstract, 2 pages.

[BibTeX] [PDF] [STT] [Scholar] [SLPS] [Talk]

C 20. Ralf Lämmel, Vadim Zaytsev.

Recovering Grammar Relationships for the Java Language Specification.
In Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pages 178–186, IEEE, September 2009.

[BibTeX] [Abstract] [PDF] [DOI] [ACM] [Award] [researchr] [Academic] [Scholar] [SLPS] [Talk] [Talk]

19. Vadim Zaytsev.

XBGF Reference Manual: BGF Transformation Operator Suite.
Universität Koblenz-Landau, August 2009.

[BibTeX] [Online] [Talk] [Talk] [Talk]

18. Vadim Zaytsev.

Language Convergence Infrastructure.
In Pre-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), pages 399–400, Springer, July 2009. Extended abstract.

[BibTeX] [PDF] [researchr] [SLPS]

17. Chris Verhoef, Vadim Zaytsev.

Language-Parametric Program Restructuring.
NWO Final Scientific Report, 2009. 3 pages.

[LPPR]

B 16. Ralf Lämmel, Vadim Zaytsev.

An Introduction to Grammar Convergence.
In Michael Leuschel, Heike Wehrheim, editors, Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009), LNCS 5423, pages 246–260, Springer, February 2009.

[BibTeX] [Abstract] [PDF] [DOI] [ACM] [researchr] [Academic] [Scholar] [SLPS] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk]

15. Liudmila Zaytseva, Vadim Zaytsev.

Methods and Tools for Predicting Working Modes of Railroad Power-supply Systems.
In Proceedings of the IET International Conference on Railway Condition Monitoring (RCM 2006), pages 63–66, IET, November 2006.

[BibTeX] [PDF] [DOI]

14. Steven Klusener, Vadim Zaytsev.

Language Standardization Needs Grammarware.
ISO/IEC JTC1/SC22 Document N3977, 2005.

[BibTeX] [PDF] [OpenStd] [researchr] [Academic] [Scholar] [SC22]

13. Wikipedia (Spider, Ornil, Antikon, Dionys, AntonioK, Amart).

Leadbelly.
Contributed in 2005. In Russian. Wikipedia's featured article August 24–31, 2005; stripped of the ex-featured status on January 31, 2009.

[PDF] [Online] [Proof] [Nomination] [Denomination]

12. Vadim Zaytsev.

Correct C♯ Grammar too Sharp for ISO.
In Participants Workshop, Part II of the Pre-proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), pages 154–155, Technical Report, TR-CCTC/DI-36, Universidade do Minho, July 2005. Extended abstract.

[BibTeX] [PDF] [researchr] [Scholar] [Grammar] [LPPR]

11. Vadim Zaytsev.

Combinatorial Test Set Generation: Concepts, Implementation, Case Study.
Master’s thesis, Universiteit Twente, June 2004.

[BibTeX] [PDF] [researchr] [Scholar]

10. Alexander Agranovsky, Vadim Zaytsev, Boris Telesnin, Roman Hady.

Program Verification using Models,
Open Systems, volume 12, number 1–2, pages 45–47, December 2003. In Russian.

[BibTeX] [PDF] [Online]

9. Vadim Zaytsev.

Modelling and Model Checking of Distributed Systems.
Master’s thesis, Rostov State University, June 2003. In Russian.

[BibTeX] [PDF] [researchr]

8. Lioudmila Zaitseva, Vadim Zaitsev.

Computer Estimation of the EM Influence of Railroad AC Traction Networks.
In Volume 2 of the Proceedings of the Fifth International Symposium on Electromagnetic Compatibility (EMC Europe 2002), pages 1031–1034, IEEE, September 2002.

[BibTeX]

7. Vadim Zaytsev.

Python Lecture Notes.
2002. In Russian.

[BibTeX] [PDF] [PDFs per Lecture] [Old Site]

6. Vadim Zaytsev.

Python Programming Language E-Learning Complex.
Bachelor’s thesis, Rostov State University, June 2002. In Russian.

[BibTeX] [PDF]

5. Vadim Zaytsev, Alexander Litvinenko.

Python as the First Language to Teach.
In Proceedings of the Training and Methodological Conference on Modern IT in Teaching, pages 61–65, Rostov State University, 2002. In Russian.

[BibTeX] [PDF] [Talk]

4. Liudmila Zaitceva, Vadim Zaytsev.

Software for New Railroads Power-supply System Working Modes Research.
In Proceedings of the Scientific Theoretical Conference for Professors and Teachers, the “Automated power-supply systems” section, Part 2 (Transport 2001), pages 141–143, Rostov State Transport University, April 2001. In Russian.

[BibTeX]

3. Ben A. M. Schouten.

Vadim Zaitsev [also credited as “Vadim Botchev” on page 7 of the thesis], FracFeat demonstration interface, http://desk.nl/fracfeat (not online anymore) in: B. A. M. Schouten. Giving Eyes to ICT! or How does a Computer Recognize a Cow?
PhD thesis, Universiteit van Amsterdam, March 2001.

[Handle] [Press Release] [Annual Report]

2. Liudmila Zaitceva, Vadim Zaytsev.

Multiconductor AC Systems Electrical Fields Research.
In Proceedings of the Second International Conference on Transport Systems Safety, Samara State Transport University, 2000. In Russian.

[BibTeX]

1. Lioudmila Zaitseva, Alexandr Botchev, Vadim Zaitsev.

Electromagnetic Compatibility of a Railroad Power-supply Traction Network and a High-voltage Line.
In Proceedings of the Fourth International European Symposium on Electromagnetic Compatibility (EMC Europe 2000), IEEE, September 2000.

[BibTeX]

[Back] Page generated on 26/09/2024. All material on this website is created by Vadim Zaytsev unless stated otherwise.