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

• A Proposal for an Effective Fault Tree Diagram Layout, by Anh Tuan Nguen, Chris Vermaas and Marielle Stoelinga. Accepted for the ESREL&SRA-E 2025 Conference (European Safety and Reliability conference)
• Why Prognostics and Health Management and Reliability-Availability-Maintainability-Safety have not married yet (abstract), by Pierre Dersin and Marielle Stoelinga. Accepted for the ESREL&SRA-E 2025 Conference
• A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs, by Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich. Accepted at CAV 2025
• 0-1 Laws for LTL and CTL over Random Transition Systems, by Yanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. Accepted for the 31st International Symposium on Model Checking Software. SPIN 2025
• Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems, by Barbara König, Arend Rensink, Lara Stoltenow and Fabian Urrigshardt. Accepted at the International Conference on Graph Transformation
• Attack-Defense Trees with Offensive and Defensive Attributes, by Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg. Accepted for DSN 2025
• Sequential Composition of BDD Transition Systems for Model-Based Testing, by Tannaz Zameni, Petra van den Bos, Johan Foederer, and Arend Rensink. Accepted for FORTE
• Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants, by Bouali, N., Gerhold, M., Rehman, T. U. and Ahmed, F. Accepted in proceedings of the 17th International Conference on Computer Supported Education