FMT Lab ISTI CNR @fmt_lab
Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy fmt.isti.cnr.it Pisa Joined January 2023-
Tweets72
-
Followers28
-
Following296
-
Likes19
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
0
0
0
22
0
Formal Methods in Industry | Formal Aspects of Computing dl.acm.org/doi/10.1145/36…
FMT Lab ISTI CNR retweeted
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.
FMT Lab ISTI CNR retweeted
Thanks Maurice! Lets celebrate @Rock_DeNic! @IITCNR
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
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
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
FMT Lab ISTI CNR retweeted
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
FMT Lab ISTI CNR retweeted
Alessio is presenting our paper on using LLMs for generating sequence diagrams @alessferra @chetan_arora #MODRE24 #LLMs
FMT Lab ISTI CNR retweeted
FMT Lab ISTI CNR retweeted
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
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
Arpit Sharma @Arpit_Sharma_CS
110 Followers 147 Following Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Institute of Informat... @Cnr_Isti
369 Followers 372 Following #Cnr_Isti Institute of Information Science and Technologies "Alessandro Faedo" is the largest @CNRsocial_ institute for Computer Science | Follow us on LinkedIn
Sabeer Saeed @sabeerawa05
1K Followers 5K Following @sabeerawa05 [email protected] MSC in @software_engineering_technology
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
MRHMisu @MRHMisu
183 Followers 2K Following PhD Candidate @UCIrvine | Student Researcher @GoogleDeepMind |ex-Research Intern @MSFTResearch | Commonwealth Scholar @commschols
Wesley K. G. Assunç�... @wesleyklewerton
2K Followers 2K Following Assoc Prof at @cscncsu. PhD in Computer Science. My interests are Software Modernization, Variability Management, Software Quality, MDE, and SBSE.
Amir @Amir_Mashmool
789 Followers 2K Following Doctoral Researcher in SE | Uni of Bremen | interested in Software Engineering, Program Comprehension, Empirical Software Engineering and related topics.
Vibe Scholar🇨🇦�... @vibe_professor
328 Followers 1K Following Noob Prof @ Mila; CRC Tier 2. RE pumper🌛. Slim and beautiful; max troll. advocate for 7% population growth rate.
ASKAR AITUOV @Aseke_Ai
716 Followers 3K Following Developer Relations Coordinator | Central Asia & Mongolia |@startupwiseguys B18 alumni |
Tobias Heß @h3ssto
83 Followers 133 Following he/him | 0x1e Freelance software dev Prev: Research on BDDs and https://t.co/bGdBYRXkAx
DataMod - From Data t... @Data2ModelsBack
51 Followers 44 Following 11th International Symposium #FromDataToModelsAndBack | combined applications of #ComputationalModelling & #DataDrivenTechniques | workshop @sefm2023
Roland Preiss @RlndSantis
97 Followers 906 Following Fueled by curiosity. My goal is to educate, empower, and uplift others, encouraging a journey of continuous growth. Author of https://t.co/EPPHQVhL5J.
Ed Seidewitz @seidewitz
854 Followers 321 Following Modeler, systems architect, coder, UML geek, SysML v2 co-lead. Amateur (but serious) theoretical physicist. (For the latter, see @seidewitz_phys.)
Laura Titolo @laura_titolo
166 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
GoPdf.io @GoPdfio
2K Followers 4K Following Transforming how you handle PDFs! https://t.co/XRP1zM8JO5 offers a user-friendly platform for editing, converting, compressing, protecting PDFs and more.
CODECS @HORIZONCODECS
328 Followers 238 Following Maximising the CO-benefits of agricultural Digitalisation through conducive digital ECoSystems. #HorizonEU project to support digitalisation of EU farmers.
Michele Sevegnani @michele_seve
217 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Ingenium Research Gro... @ingenium_rg
11K Followers 11K Following International research group (at @uclm_es) focused on #ArtificialIntelligence #Maintenance #RenewableEnergy #Management #UAV #AUV.
Fausto Pedro Garcia M... @faustospain
13K Followers 12K Following Full Professor at @ingenium_rg @uclm_es @Spain,SM at @IEEEorg #ArtificialIntelligence #AI #DataScience #Analytics #RenewableEnergy #Maintenance #Management #IoT
Claudio @menghi_claudio
220 Followers 271 Following
Marco Perez Hernandez @marcophrd
176 Followers 870 Following Sr Lecturer at @UWEBristol @UWE_CSCT. Previously RA @IfMCambridge. #DistributedAI #MultiagentSystems #CollectiveIntelligence #IoT #NetworkScience.
Anastasia Mavridou @anmavrid
373 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
Mahsa Varshosaz @MahsaVarshosaz
91 Followers 163 Following Assistant professor at @ITUkbh, PhD in computer science and engineering, Interested in software testing, verification and repair
Daniel Strüber @danstrueb
405 Followers 358 Following Find me on elsewhere: https://t.co/PEwlw7S1Bo [email protected]
Davide Basile @davidebasile
52 Followers 176 Following Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab
Siena Free @SienaFree
8K Followers 8K Following Il primo quotidiano online di Siena e provincia - [email protected] whatsapp: https://t.co/5YXcDfqMxJ telegram: https://t.co/y7lP5YqOtG
marialuisatrivella @mrt69
200 Followers 990 Following
alessioferrari @alessferra
552 Followers 667 Following
Michele @MickGirolami
53 Followers 186 Following
Paolo Barsocchi @PBarsocchi
47 Followers 67 Following
Suguman Bansal @sugumanbansal
836 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
ABZ Conference @ABZ_Conference
70 Followers 11 Following 11th International Conference on Rigorous State-Based Methods. 10.06. - 13.06.2025 | Düsseldorf, Germany
Jorge A. Pérez @PerezJorgeA_
312 Followers 498 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Danny Bøgsted Poulse... @dannybpoulsen
24 Followers 67 Following PhD in Computer Science. Interested in automated verification. Inline skater and taekwondo practitioner.
Gwen Salaün @gwensalaun
423 Followers 376 Following Professor of Computer Science, @UGrenobleAlpes, France
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
José Proença @simpple
129 Followers 102 Following Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.
Michele Sevegnani @michele_seve
217 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Roland Preiss @RlndSantis
97 Followers 906 Following Fueled by curiosity. My goal is to educate, empower, and uplift others, encouraging a journey of continuous growth. Author of https://t.co/EPPHQVhL5J.
DataMod - From Data t... @Data2ModelsBack
51 Followers 44 Following 11th International Symposium #FromDataToModelsAndBack | combined applications of #ComputationalModelling & #DataDrivenTechniques | workshop @sefm2023
Ed Seidewitz @seidewitz
854 Followers 321 Following Modeler, systems architect, coder, UML geek, SysML v2 co-lead. Amateur (but serious) theoretical physicist. (For the latter, see @seidewitz_phys.)
Carlo Vaghi @Carlovaghi71
149 Followers 90 Following Nato il 14 luglio 1971, Bollatese da quel giorno...
Peter Gjøl Jensen @petergjoel
155 Followers 517 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
Department of Compute... @CompSciAAU
610 Followers 213 Following Stay updated with news from the Department of Computer Science at Aalborg University (@aalborg_uni).
Cristina Seceleanu @cseceleanu
23 Followers 49 Following
Laura Titolo @laura_titolo
166 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
EU Rural Pact @EURuralPact
1K Followers 259 Following The Rural Pact is an EU framework for cooperation among authorities & stakeholders on rural matters. Posts ≠ EC views Follow us on Bluesky: @eururalpact
CODECS @HORIZONCODECS
328 Followers 238 Following Maximising the CO-benefits of agricultural Digitalisation through conducive digital ECoSystems. #HorizonEU project to support digitalisation of EU farmers.
Paola Spoletini @PaolaSpo
227 Followers 363 Following
DESIRA_H2020 @DesiraH2020
1K Followers 573 Following This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 818194.
Ingenium Research Gro... @ingenium_rg
11K Followers 11K Following International research group (at @uclm_es) focused on #ArtificialIntelligence #Maintenance #RenewableEnergy #Management #UAV #AUV.
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
Fausto Pedro Garcia M... @faustospain
13K Followers 12K Following Full Professor at @ingenium_rg @uclm_es @Spain,SM at @IEEEorg #ArtificialIntelligence #AI #DataScience #Analytics #RenewableEnergy #Maintenance #Management #IoT
Crossref (inactive Ja... @CrossrefOrg
23K Followers 1 Following We’re a community-governed #openinfrastructure that exists to make #research easier to find & reuse. Find us elsewhere 👉 https://t.co/U9AXkfJXrg
DORA @DORAssessment
14K Followers 145 Following San Francisco Declaration On Research Assessment (DORA). Putting science into research assessment. Initiated by @ASCBiology. Reformscape launches January 2024!
Open Access Tracking ... @oatp
18K Followers 523 Following Crowdsourced alerts & news feeds about #openaccess. See https://t.co/vTgOrATs4q for info on how it works & how to help. Founded & managed by @petersuber. ISSN 2578-7020.
ORCID Organization @ORCID_Org
54K Followers 338 Following Connecting Research and Researchers. Connect with us ⬇️
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
HPC Lab @ ISTI-CNR @HPCLab
219 Followers 236 Following High Performance Computing Lab @ ISTI-CNR, Pisa, Italy.
[email protected] @DI_Unipisa
444 Followers 49 Following Account ufficiale del Dipartimento di Informatica dell'Università di Pisa. Official account for Computer Science department @Unipisa
KDD Lab Pisa @kdd_lab
747 Followers 150 Following The Knowledge Discovery and Data Mining Laboratory is a joint research initiative by ISTI Institute of CNR and the @DI_Unipisa of @Unipisa
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
Istituto di Informati... @IITCNR
377 Followers 148 Following @CNRsocial_ institute focused on research on the Internet at large: networks, security, data science & AI. Part of @CNR_DIITET
Eda Marchetti @edamarchetti
13 Followers 26 Following
Said Daoudagh @SaidDaoudagh
78 Followers 319 Following Research Associate @ ISTI-@CNRsocial_. Working on solutions for #GDPR #Compliance considering Access Control Technologies. #cybersecurity #DanceMovementTherapy
Roberto Scopigno @RobertoScopigno
5 Followers 6 Following
Nicole Wein @WeinNicole
920 Followers 90 Following Assistant professor at University of Michigan. Theoretical computer science. she/her
TCS+ @TCS_plus
3K Followers 32 Following An online seminar series in theoretical computer science. Carbon-free dissemination of ideas across the globe.
Arpit Sharma @Arpit_Sharma_CS
110 Followers 147 Following Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
DIMACS @DIMACSCenter
1K Followers 157 Following DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science at Rutgers, facilitates research, education, and outreach programs in CS and Math
Simons Institute for ... @SimonsInstitute
9K Followers 312 Following The world's leading venue for collaborative research in theoretical computer science. Follow us at https://t.co/KvcuGI7WM0.
TCS blog aggregator @cstheory
6K Followers 9 Following Posts from the Theory of Computing Blog Aggregator maintained by @nimaanari, @abhatt2, and @thegautamkamath.
ACM SIGACT @sigact
2K Followers 4 Following Special Interest Group on Algorithms and Computation Theory
Schloss Dagstuhl @dagstuhl
3K Followers 20 Following hosts CS research seminars · publishes open-access conference proceedings LIPIcs · operates literature database DBLP · non-profitTrends for United States
190 B posts
51,5 B posts
61,3 B posts
64,2 B posts
177 B posts
215 B posts
69,7 B posts
40,1 B posts
7.518 posts
54,9 B posts
5.093 posts
5.163 posts
6.638 posts
4.938 posts
5.548 posts
130 B posts
36,9 B posts
3.579 posts
2.580 posts
3.612 posts
You might like
SCICO
@SCICO_journal
253 Followers
Dr. Paige Rodeghero (...
@PaigeRodeghero
746 Followers
Sallam Abualhaija
@Belle0Paix
150 Followers
Mohammad Hossein Khos...
@Mh_khoshechin
264 Followers
Luca Aceto
@aceto_luca
182 Followers
Aitor Arrieta
@aitorarrieta
642 Followers
Gary Hu
@rdsspq_eax
169 Followers
Charles Southerland
@proidiot
478 Followers