FMT Lab ISTI CNR

Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy

[FMT Lab ISTI CNR @fmt_lab]

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: https://t.co/t7y6rx3BNR

[FMT Lab ISTI CNR @fmt_lab]

Formal Methods in Industry | Formal Aspects of Computing https://t.co/WrAGanBEiO

[alessioferrari @alessferra]

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

[FMT Lab ISTI CNR @fmt_lab]

The Role of Formal Methods in Computer Science Education (https://t.co/YaUwlfits2) argues that Formal Methods must be a core knowledge area in ACM/IEEE/AAAI Computer Science Curricula (https://t.co/2afTuZzttY). Not doing so in CS2023 is unjustified, as it was for AI in CS2013.

[Marinella Petrocchi @m_arinell_a]

Thanks Maurice! Lets celebrate @Rock_DeNic! @IITCNR

[FMT Lab ISTI CNR @fmt_lab]

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 🥳

[FMT Lab ISTI CNR @fmt_lab]

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

[FMT Lab ISTI CNR @fmt_lab]

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

[FMT Lab ISTI CNR @fmt_lab]

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

[Institute of Information Science and Technologies @Cnr_Isti]

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

[ABZ Conference @ABZ_Conference]

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

[Sallam Abualhaija @Belle0Paix]

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

[alessioferrari @alessferra]

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

[Davide Basile @davidebasile]

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 https://t.co/wknM9uib5h

[FMT Lab ISTI CNR @fmt_lab]

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

[FMT Lab ISTI CNR @fmt_lab]

@DisCoTecConf

[FMT Lab ISTI CNR @fmt_lab]

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

[FMT Lab ISTI CNR @fmt_lab]

@discotecconf

[FMT Lab ISTI CNR @fmt_lab]

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

[FMT Lab ISTI CNR @fmt_lab]

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: https://t.co/BwV0cVSkVc