Papers of the Month: August 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:

• Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata, by Laura Brandan Briones, Marcus Gerhold, Petra van den Bos, Marielle Stoelinga. Accepted at ICTSS 2025.
• Concurrency Under Control: Systematic Analysis of SDN Race Hazards, by Georgiana Caltais, Andrei Covaci and Hossein Hojjat. Accepted at iFM 2025.
• DTMC Model Checking by Path Abstraction Revisited, by Arnd Hartmanns and Robert Modderman. Accepted at the 19th International Conference on Reachability Problems (RP’25).
• Experimenting with Reaction Systems using Graph Transformation and GROOVE, by Roberto Bruni, Arend Rensink. Accepted in the journal Natural Computing.
• Emotion-Aware Assessment of Team Development in Educational Contexts: a Generative AI Chatbot Based on Tuckman's Model, by Yeray Barrios-Fleitas, Gabriel Lasconi, Carina Soledad González González, and Arend Rensink. Accepted at IEEE Digital Education and MOOCS conference (DEMOcon25).
• When Should We Meet? Automating Team Creation for Synchronous Projects in MOOCs, by Yeray Barrios-Fleitas and Eduardo Lalla-Ruiz. Accepted at IEEE Digital Education and MOOCS conference (DEMOcon25).
• Deductive Verification of Cooperative RTOS Applications, by Philip Tasche, Paula Herber, Marieke Huisman. Accepted at EMSOFT and in ACM TECS journal.