Thursday 12 June 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:
- Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation, by Lola Solovyeva, Eduardo Carneiro Oliveira, Shiyu Fan, Alper Tuncay, Shamil Gareev, Andrea Capiluppi. Accepted at EASE 2025
- Fuzzy Fault Trees: the Fast and the Formal, by Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Accepted at QEST+FORMATS 2025
- Verifying an Efficient Algorithm for Computing Bernoulli Numbers, by Manuel Eberl, Peter Lammich. Accepted for ITP 2025
- Time-Sensitive Importance Splitting, by Gabriel Dengler, Carlos E. Budde, Laura Carnevali and Arnd Hartmanns. Accepted for QEST-FORMATS 2025
- Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality, by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft. Accepted for QEST-FORMATS 2025
- PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface, by Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller and Verena Wolf. Accepted for QEST-FORMATS 2025
- Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks, by Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns and Fernando Raverta. Accepted in ACM Transactions on Modeling and Computer Simulation
- Fault Tree Synthesis from Knowledge Graphs, by Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga. Accepted for RAMS-Europe 2025 IEEE, 2025
- Ontology-Driven Software Development: Generating Java Code from OntoUML models, by Guus Grievink, Luís Ferreira Pires, João Moreira , Arend Rensink. Accepted for the 15th International Conference on Formal Ontology in Information Systems
- AutoSV-Annotator: Integrating Deductive and Automatic Software Verification, by Lukas Armborst, Dirk Beyer, Marieke Huisman and Marian Lingsch-Rosenfeld. Accepted for FMICS 2025
- Preserving Provability over GPU Program Optimizations with Annotation-Aware Transformations by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs. Accepted in Formal Methods in System Design
- Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling, by Miranda J.M. Wetselaar-Glas, Nander Voortman, Piet-Heijn van Mechelen, Peter Wetselaar, Rom Langerak. Accepted in Computers in Biology and Medicine, vol. 189, May 2025 (this article won the science prize from the Nederlandse Vereniging voor Tandheelkundige Slaapgeneeskunde (NVTS), see for Dutch notification: https://www.lumc.nl/actueel/2025/prijzen-subsidies-en-benoemingen-1-mei/