Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Joined January 2023
- Tweets 72
- Following 292
- Followers 28
- Likes 19
25 Photos and videos
1 Mar 2025
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
26
27 Dec 2024
Formal Methods in Industry | Formal Aspects of Computing dl.acm.org/doi/10.1145/36893…
26
FMT Lab ISTI CNR retweeted
15 Nov 2024
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/ar…
An @fmt_lab work led by Giovanna Broccia, bridging empirical sw eng. and formal methods
1
1
9
255
15 Nov 2024
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.
32
FMT Lab ISTI CNR retweeted
29 Oct 2024
Thanks Maurice! Lets celebrate @Rock_DeNic! @IITCNR
29 Oct 2024
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 🥳
1
1
78
29 Oct 2024
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 🥳
114
28 Oct 2024
Alessandro presenting recent work involving FMT on formal methods applied in the railway domain at DisCoRail@ISoLA2024
20
28 Oct 2024
Alessandro Fantechi (FMT/UniFi) opening DisCoRail@ISoLA'24 on behalf of his co-organisers Stefania Gnesi (FMT) and Anne Haxthausen (DTU Denmark)
26
27 Oct 2024
Vincenzo presenting some of FMT's latest work at the "X-by-Construction Meets AI" track @ISoLA2024
25
FMT Lab ISTI CNR retweeted
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
🔝World's Top 2% Scientist #top2p_sci
Secondo la lista pubblicata annualmente dalla @Stanford, relativa agli scienziati più citati nel proprio campo di ricerca, il #Cnr è presente con 396 ricercatori e ricercatrici
Leggi di più👇
cnr.it/it/news/13027
@top2p_sci
@MC_Carro
6
15
1,165
FMT Lab ISTI CNR retweeted
26 Jun 2024
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
3
3
227
FMT Lab ISTI CNR retweeted
25 Jun 2024
Alessio is presenting our paper on using LLMs for generating sequence diagrams @alessferra @chetan_arora #MODRE24 #LLMs
4
8
27
650
FMT Lab ISTI CNR retweeted
25 Jun 2024
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
1
1
17
359
FMT Lab ISTI CNR retweeted
25 Jun 2024
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
1
3
138
24 Jun 2024
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
53
20 Jun 2024
Diego Latella presenting the FORTE paper during the DisCoTec best paper session
1
2
48
20 Jun 2024
Maurice ter Beek and Davide Basile presenting their work on team automata and contract automata in an FMT session during COORDINATION@DisCoTec 2024
1
1
3
105
1 Jun 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
2
47