Tuesday 7 October 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:
- Fault tree reliability analysis via squarefree polynomials: mathematical and experimental analysis, by Milan Lopuhaä-Zwakenberg. Accepted in Springer Nature Computer Science.
- A unified compositional view of attack tree metrics, by Benedikt Peterseim & Milan Lopuhaä-Zwakenberg. Accepted in Computer Security Foundations 2026.
- The Impact of Generative Artificial Intelligence Tools in Project-Based Learning, by Tom van Dijk & Vadim Zaytsev. Accepted for the International Conference on Bridging the Gap between AI and Reality
- A comparative study about the performance of multi-language tools in computation offloading scenarios, by Filipe de Matos, Paulo Rego, Fernando Trinta, Fernando Castor. Accepted for The Journal of Supercomputing
