FMT Lab ISTI CNR

Maurice just published an expert voice on formal methods and tools applied to railway systems, reporting and acknowledging the FMT lab's many achievements in this domain: rdcu.be/ebLeg

Formal Methods in Industry | Formal Aspects of Computing dl.acm.org/doi/10.1145/36…

Our @ISTJrnal paper "Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication" has been published open access: sciencedirect.com/science/articl… An @fmt_lab work led by Giovanna Broccia, bridging empirical sw eng. and formal methods

The Role of Formal Methods in Computer Science Education (doi.org/10.1145/3702231) argues that Formal Methods must be a core knowledge area in ACM/IEEE/AAAI Computer Science Curricula (csed.acm.org). Not doing so in CS2023 is unjustified, as it was for AI in CS2013.

Thanks Maurice! Lets celebrate @Rock_DeNic! @IITCNR

Marinella (CNR-IIT) presenting work with Gabriele (UniLU) and FMT members Alessandro, Stefania and Maurice at the REoCAS colloquium@ISoLA2024 celebrating Rocco De Nicola 70th birthday 🥳

Alessandro presenting recent work involving FMT on formal methods applied in the railway domain at DisCoRail@ISoLA2024

Alessandro Fantechi (FMT/UniFi) opening DisCoRail@ISoLA'24 on behalf of his co-organisers Stefania Gnesi (FMT) and Anne Haxthausen (DTU Denmark)

Vincenzo presenting some of FMT's latest work at the "X-by-Construction Meets AI" track @ISoLA2024

In the rankings of the top 2% of scientists in the world, 16 people are from #Cnr_Isti🙌🎉 G Amato @PBarsocchi A Bertolino @ALoopingIcon @aesuli A Ferrari, E E Kuruoglu @lucpappalard C Pardini @fabiopaterno @GiulioRossetti F Sebastiani, U Straccia, M Ter Beek, L Anselmo, S Gnesi

Maurice ter Beek is our first keynote speaker. He is giving a talk about "Formal Methods and Tools applied in the railway domain" at #ABZ2024 #ABZ #FormalMethods #Conference #Railway #Industry #Bergamo #Keynote #Tool

Alessio is presenting our paper on using LLMs for generating sequence diagrams @alessferra @chetan_arora #MODRE24 #LLMs

Today we will present three works during the workshop day at @ieee_re. The first one is in a few minutes at the @AIRE_WS: "Identifying Maintenance Needs with Machine Learning: a Case Study in Railways" (and we do not use LLMs!) in collaboration with @Trenord_Press and @fmt_lab

the presentation of the paper "Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal" by Davide Basile, presented at COORDINATION 2024, is available here youtu.be/yaD6NIFkHDU

Diego Latella received the FORTE best paper award at DisCoTec 2024 on behalf of his co-authors, including FMT colleagues Vincenzo Ciancia and Mieke Massink @DisCoTecConf

Diego Latella presenting the FORTE paper during the DisCoTec best paper session

Maurice ter Beek and Davide Basile presenting their work on team automata and contract automata in an FMT session during COORDINATION@DisCoTec 2024

Three FMT presentations at DisCoTec 2024, among which a FORTE paper in the Best Paper session and two COORDINATION papers in a session filled entirely by FMT: discotec.org/2024/programme