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

• Safety and Security Risk Mitigation in Satellite Missions Using Attack-Fault-Defense Tree, by Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. Accepted for the ESREL&SRA-E 2025 Conference
• 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 E.F. Voortman, Piet-Heijn van Mechelen, Peter Wetselaar, Rom Langerak. Accepted for Computers in Biology and Medicine, Volume 189, May 2025.