FMT Lab ISTI CNR (@fmt_lab) header
FMT Lab ISTI CNR (@fmt_lab) profile picture

FMT Lab ISTI CNR

@fmt_lab

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

 Pisa
fmt.isti.cnr.it/
Joined January 2023
  • Tweets72
  • Following292
  • Followers28
25Media
Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by FMT Lab ISTI CNR (@fmt_lab)Photo by 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: rdcu.be/ebLeg
28
Formal Methods in Industry | Formal Aspects of Computing dl.acm.org/doi/10.1145/36893…

Formal Methods in Industry | Formal Aspects of Computing

Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in...

dl.acm.org
28
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra15 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
256
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.
Image from FMT Lab ISTI CNR (@fmt_lab)
34
Thanks Maurice! Lets celebrate @Rock_DeNic! @IITCNR
FMT Lab ISTI CNR (@fmt_lab) profile pictureFMT Lab ISTI CNR@fmt_lab29 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 🥳
Image from FMT Lab ISTI CNR (@fmt_lab)
1
1
80
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 🥳
Image from FMT Lab ISTI CNR (@fmt_lab)
1
117
Alessandro presenting recent work involving FMT on formal methods applied in the railway domain at DisCoRail@ISoLA2024
Image from FMT Lab ISTI CNR (@fmt_lab)
20
Alessandro Fantechi (FMT/UniFi) opening DisCoRail@ISoLA'24 on behalf of his co-organisers Stefania Gnesi (FMT) and Anne Haxthausen (DTU Denmark)
Image from FMT Lab ISTI CNR (@fmt_lab)
26
Vincenzo presenting some of FMT's latest work at the "X-by-Construction Meets AI" track @ISoLA2024
Image from FMT Lab ISTI CNR (@fmt_lab)
25
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
CNR Consiglio Nazionale delle Ricerche (@CNRsocial_) profile pictureCNR Consiglio Nazionale delle Ricerche@CNRsocial_18 Oct 2024
🔝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
Image from CNR Consiglio Nazionale delle Ricerche (@CNRsocial_)
5
3
14
1,182
FMT Lab ISTI CNR retweeted
ABZ Conference (@ABZ_Conference) profile picture
ABZ Conference@ABZ_Conference26 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
Image from ABZ Conference (@ABZ_Conference)
3
3
227
FMT Lab ISTI CNR retweeted
Sallam Abualhaija (@Belle0Paix) profile picture
Sallam Abualhaija@Belle0Paix25 Jun 2024
Alessio is presenting our paper on using LLMs for generating sequence diagrams @alessferra @chetan_arora #MODRE24 #LLMs
Image from Sallam Abualhaija (@Belle0Paix)
3
8
27
650
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra25 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
Davide Basile (@davidebasile) profile picture
Davide Basile@davidebasile25 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
149
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
Image from FMT Lab ISTI CNR (@fmt_lab)
53
Diego Latella presenting the FORTE paper during the DisCoTec best paper session
Image from FMT Lab ISTI CNR (@fmt_lab)
1
2
48
@DisCoTecConf
1
40
Maurice ter Beek and Davide Basile presenting their work on team automata and contract automata in an FMT session during COORDINATION@DisCoTec 2024
Image from FMT Lab ISTI CNR (@fmt_lab)
1
1
3
112
@discotecconf
44
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

DisCoTec - the International Federated Conference on Distributed Computing Techniques

The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

discotec.org
2
47
Load more