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)
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
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
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
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra9 Apr 2024
Giovanna Broccia from @fmt_lab presents our work on security requirements modelling @WC_REFSQ with Maurice ter Week, A. Laufuente, @PaolaSpo and me
Image from alessioferrari (@alessferra)
3
13
430
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra8 Dec 2023
Nice two days with Chris, Federico, Sam and Nicola at @SERG_Ulster in Belfast! Thanks for the hospitality! See u soon!
Pervasive Computing Research Centre (@SERG_Ulster) profile picturePervasive Computing Research Centre@SERG_Ulster6 Dec 2023
Great discussions today with colleagues from CNR Pisa and University of Trento #LLM #PrivacyEnhancingTechnologies
Image from Pervasive Computing Research Centre (@SERG_Ulster)
2
7
379
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra1 Dec 2023
Join us at @ICSEconf in beautiful Lisbon, deadline Dec 7th, keynote by @lionel_c_briand!
mo2re (@mo2re_ws) profile picturemo2re@mo2re_ws1 Dec 2023
An opportunity to come to come to @ICSEconf and discuss synergies between RE and other SE disciplines! Just one week to the deadline (7th December) Submit to mo2re: mo2re.github.io with @Belle0Paix @alessferra @dfucci_ @chetan_arora @PaolaSpo
5
16
1,106
FMT Lab ISTI CNR retweeted
Formal Methods 2026 (@FMsymp) profile picture
Formal Methods 2026@FMsymp14 Nov 2023
📢📢 We invite workshop proposals for FM 2024 in Milan, Sep 9-10, 2024. Share your expertise and contribute to advancing formal methods research! #FM2024 📅 Submission Deadline: Jan 19, 2024 📬 Notification: Feb 2, 2024 Details: fm24.polimi.it/?page_id=59#c…
7
1
8
1,177
🎉We are pleased to announce that #DataMod23 will be co-located with @sefm_conf and it will take place at #Eindhoven on 6/7 November 2023! Check our website @ datamod2023.github.io for further info!
2
2
171
FMT Lab ISTI CNR retweeted
Judith Michael (@JudithMichael_) profile picture
Judith Michael@JudithMichael_4 Oct 2023
Maurice H. ter Beek shows success stories for using #FormalMethods for #Railway systems. No surprise that the German rail companies are not listed 😅
Image from Judith Michael (@JudithMichael_)
2
2
12
541
Keynote by Maurice ter Beek talking about formal methods and railways 🚞 #modelsconf23 @modelsconf – at Västerås, Sverige
Image from Stéphanie Challita (@StephanieChall1)
2
6
383
FMT Lab ISTI CNR retweeted
Ed Seidewitz (@seidewitz) profile picture
Ed Seidewitz@seidewitz4 Oct 2023
Maurice ter Beek from the Formal Methods and Tools Lab at CNR-ISTI begins his keynote at #models23 on “Models for formal methods and tools: The case of railway systems”. “This is my first time at MODELS, but I am told you like models.”
Image from Ed Seidewitz (@seidewitz)
1
3
7
543
FMT Lab ISTI CNR retweeted
alessioferrari (@alessferra) profile picture
alessioferrari@alessferra2 Oct 2023
Hey Software Enginering people! With @Belle0Paix @dfucci_ @chetan_arora @PaolaSpo we are organising a workshop at @ICSEconf in Lisbon to create synergies between Requirements Engineering and other SE fields. Check the CfP here: mo2re.github.io/ and follow us at @mo2re_ws
mo2re (@mo2re_ws) profile picturemo2re@mo2re_ws2 Oct 2023
The 1st International Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering, co-located with @ICSEconf 2024 is online! mo2re.github.io/ Our goal is to create synergies between RE and other SE fields, such as human factors, modelling, testing, etc.
10
26
1,071
FMT Lab ISTI CNR retweeted
FMICS 2023 (@FMICS_conf) profile picture
FMICS 2023@FMICS_conf22 Sep 2023
Alessandro Fantechi presenting his paper on the 4SECURail case study
Image from FMICS 2023 (@FMICS_conf)
1
6
213
FMT Lab ISTI CNR retweeted
FMICS 2023 (@FMICS_conf) profile picture
FMICS 2023@FMICS_conf22 Sep 2023
Davide Basile presenting his work on formal verification in the railway industry
Image from FMICS 2023 (@FMICS_conf)
2
2
252
FMT Lab ISTI CNR retweeted
Davide Basile (@davidebasile) profile picture
Davide Basile@davidebasile22 Sep 2023
presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at @FMICS_conf doi.org/10.1007/978-3-031-43… youtu.be/2FqSeTWvVrk
Image from Davide Basile (@davidebasile)
2
2
284
FMT Lab ISTI CNR retweeted
FMT Lab ISTI CNR (@fmt_lab) profile picture
FMT Lab ISTI CNR@fmt_lab21 Sep 2023
Replying to @FMICS_conf
@FMICS_conf day 2 Alessandro is chairing the session
Image from FMT Lab ISTI CNR (@fmt_lab)
2
1
118
Load more