Papers of the Month: December 2025

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Experimenting with Reaction Systems using Graph Transformation and GROOVE, by Roberto Bruni and Arend Rensink. Accepted for Natural Computing
• CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems, by Uraz Odyurt, Ömer Sayilir, Mariëlle Stoelinga, Vadim Zaytsev. Accepted for arXiv, October 2025. Source code and dataset available at Zenodo.
• An Introduction to Indirect Code Completion, by Nhat Bui, Vadim Zaytsev. Accepted as pre-proceedings of BENEVOL, November 2025.
• On the Structuring of LaTeX Projects, by Wouter ten Brinke, Bart Griepsma, Aleksandra Ignatovič, Nhat Bui, Vadim Zaytsev. Accepted as pre-proceedings of BENEVOL, November 2025.
• DSL for Programming with Delta Lenses, by Kazutaka Matsuda, Vadim Zaytsev. Accepted at the NII Shonan Meeting Report No. 231: Bidirectional Transformations — Foundations and Applications, August 2025.
• Are we there yet? Steps To Take For Adoption of AI in Manufacturing Industry, by Jeroen Linssen, Faizan Ahmed and Deepak Tunuguntla. Accepted for the fifteenth edition of the Fraunhofer magazine InnovatieNU
• Probabilistic Verification for Modular Network-on-Chip Systems, by Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty and Zhen Zhang. Accepted for VMCAI 2026.
• Open and Original Problems in Software Language Engineering (OOPSLE) Workshop Report, by Mikhail Barash, Vadim Zaytsev. Accepted for STAF 2025, December 2025.
• Compilation of Feature Models by Expert Vibing, by Vadim Zaytsev. Accepted for STAF 2025, December 2025.