Wednesday 11 September 2024
EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:
- Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems, Philip Tasche, Paula Herber & Marieke Huisman, at SEFM 2024
- Formal Verification of Cyber-Physical Systems using Domain-specific Abstractions, Paula Herber, Julius Adelt & Philip Tasche, at SEFM 2024
- Review on Explainable Artificial Intelligence: Where Do We Stand? van Mourik, F.; Jutte, A.; Berendse, S.E.; Bukhsh, F.A.; Ahmed, F. Tertiary, in Mach. Learn. Knowl. Extr. 2024, 6, 1997-2017
- IterSHAP: An XAI-Based Feature Selection Method for Small High-Dimensional Datasets, Frank van Mourik, Maryam Amir Haeri, Faiza A. Bukhsh, Faizan Ahmed, at Future Technologies conference 2024, UK
- Safety and Security Dependencies for Gridshield, Soltani, Reza; Ozceylan, Baver; Lopuhaä-Zwakenberg, Milan; Kolb, Christina; Hoogsteen, Gerwin, at IEEE ISGT Europe 2024
- Greening container terminals through optimization: a systematic review on recent advances, Eduardo Lalla-Ruiz, Israel López-Plata, Christopher Expósito-Izquierdo, Yeray Barrios-Fleitas, Rosa González-Ramírez, in Current Opinion in Environmental Sustainability
- Deductive verification of SYCL in VerCors, Ellen Wittingen, Marieke Huisman and Ömer Şakar, at SEFM 2024
- VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory, Robert Rubbens, Petra van den Bos and Marieke Huisman, at iFM 2024
- Multi-Agent Reinforcement Learning for Alternating-Time Logic, Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak, at ECAI-2024
- Marcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev. Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design. In MoDELS Companion: Proceedings of the Sixth International Workshop on Modelling Language Engineering (MLE)
- Sophie Lathouwers, Yujie Liu, Vadim Zaytsev. Modelling Program Verification Tools for Software Engineers. Journal of Software and Systems Modeling (SoSyM), Special Issue on MoDELS 2022.
