Davide Basile @davidebasile
Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab davidebasile.github.io Pisa, Italy Joined April 2010-
Tweets61
-
Followers52
-
Following176
-
Likes39
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
0
1
3
123
0
50 days of free access to our paper "Advancing Orchestration Synthesis for Contract Automata" published in JLAMP available here authors.elsevier.com/a/1jIba_rUxegY…
Davide Basile retweeted
Maurice ter Beek and Davide Basile presenting their work on team automata and contract automata in an FMT session during COORDINATION@DisCoTec 2024
our article "Advancing Orchestration Synthesis for Contract Automata" has been published online today at doi.org/10.1016/j.jlam…
Davide Basile retweeted
I presented at the @FormaliSEconf conference our paper: "Time for Networks: Mutation Testing for Timed Automata Networks" one month ago in Lisbon. Joint work with @James_OrtizV, David Santiago Cortes, @davidebasile, Jesús Aranda Bueno, and @pyschobbens. @ICSEconf
Our article "Coherent Modal Transition Systems Refinement" has been published open-access at doi.org/10.1016/j.jlam….
Davide Basile retweeted
2. Time for Networks: Mutation Testing for Timed Automata Networks at @FormaliSEconf, joint work with David Cortes, Jesus Aranda, (@UnivalleCol), @davidebasile (@IstiCnr), James Ortiz and @pyschobbens (@UNamurCSFaculty)
Davide Basile retweeted
We are offering a post-doc position (one year, renewable) for research in the field of formal modelling and analysis of critical software systems. The position is published at isti.cnr.it/it/annunci/lav… The deadline is January 3, 2024.
Our article "A toolchain for strategy synthesis with spatial properties" has been published online in International Journal on Software Tools for Technology. Free access at rdcu.be/dp9zN
Davide Basile retweeted
We are offering two temporary positions (one year, renewable) for research in the field of formal modelling and analysis of critical software systems. If you are interested in working with us, please contact us before the end of October at the latest: [email protected]
Davide Basile retweeted
Davide Basile presenting his work on formal verification in the railway industry
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-… youtu.be/2FqSeTWvVrk
the presentation of the paper "Research Challenges in Orchestration Synthesis" by Davide Basile and Maurice H. ter Beek, presented at the 16th Interaction and Concurrency Experience (ICE 2023) satellite workshop of DisCoTec 2023 is available here youtube.com/watch?v=c1wcA9…
Attending and presenting at @DisCoTecConf
#places2023 #etaps conference dinner
attending the TiCSA workshop @ETAPSconf
attending PLACES 2023 at @ETAPSconf
Davide Basile retweeted
MDPI journals have been included in the list of predatory journals. It was about time. predatoryreports.org/news/f/list-of…
Ivieckoon @Ivieckoon897
18 Followers 857 Following
Tisithoasm @TisithoasmzsnW
130 Followers 3K Following
Ramla Bouchami @BouchamiRa2208
3 Followers 133 Following
Ying-Chu Chen @coachstevetw
353 Followers 2K Following Ying-Chu Chen, M.A. & M.S. ACSM-CEP＆CPT, CSCS*D. | Ph.D. Candidate of Physical Activity and Cognitive Neuroscience Lab @ NTNU. ☞ IG, FB, Podcast: 我是運科竹！
Gilles Perrouin @GPerrouin
571 Followers 349 Following FNRS Research Associate (Tenured, "Chercheur Qualifié"). Program co-chair Benevol 2024 (Nov 21-22) @BenevolWorkshop. Associate editor @acm_tosem
Cristina Seceleanu @cseceleanu
23 Followers 49 Following
Virginia @virginiabergen4
298 Followers 3K Following
Laura Titolo @laura_titolo
165 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Valentinus Sofa 🎗 @SofaValentinus
293 Followers 2K Following - Interested in distributed computing, cryptography, and cybersecurity - I love philosophy, science & technology, history, art, and literacy.
Saif Ur Rehman Khan @rsaifurkhan
107 Followers 419 Following Assoc. Prof. in SW Eng and director of SREG. Main research interests: SW Quality & Maintenance, V & V, and Empirical SE. Tweets about Academia and Life.
fabianvu98 @fabianvu98
14 Followers 35 Following
Andrea De Lucia @AndreaDeLucia12
122 Followers 74 Following I am a professor of Software Engineering at the University of Salerno, Italy.
Sebastiano Panichella @spanichella
2K Followers 2K Following Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: https://t.co/0Qxfm1ZC8s
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
marialuisatrivella @mrt69
200 Followers 990 Following
Cindy @Jiu4370
408 Followers 2K Following 🪴 Estee Lauder Sales Consultant, Entrepreneur 🪴 Hobbies 😘 Traveling ✈️ Golf ⛳️ Reading 📖 Shopping 🛍 Yoga 🧘🏻♀ Charity ❤️ Delicious food
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
SPLC 2025 @splcconf
777 Followers 596 Following The 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025 📅 September 1-5, 2025
Lorenzo Bettini @lorenzo_bettini
506 Followers 392 Following Professor in CS programming language implementor Linux fan Eclipse developer author of Xtext book https://t.co/iEWQxWFhiU and TDD book https://t.co/uCDlow7NjF
Alfonso Pierantonio @APierantonio
806 Followers 485 Following Father of Rachele. Full Professor in Computer Science at the Università degli Studi dell'Aquila, Italy. Views are for my own diversion.
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
FMASWorkshop @FmasWorkshop
536 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Rabe Abdalkareem @rabekareem
518 Followers 714 Following Assistant professor @Carleton_U, PhD in Software Engineering @Concordia. My research includes Empirical Software Engineering & Mining Software Repositories.
Valerio Terragni @ValerioTerragn1
487 Followers 886 Following Senior Lecturer (Assoc. Prof) in #SoftwareEngineering at @AucklandUni 🇳🇿 -- PostDoc 🇨🇭 -- PhD 🇭🇰 -- MSc and BSc 🇮🇹 #SE4AI #AI4SE #softwaretesting #LLMs
Maliheh (Mali) Izadi @MalihehIzadi
691 Followers 696 Following Assistant Prof @TUDelft, Research at the intersection of #ML, #SE. Currently addressing #LLMs4Code challenges. Director of @AISE_tudelft research lab
Walter Cazzola @w_cazzola
217 Followers 192 Following Computer science and technology enthusiast. Professor by chance. Basically a geek. Also on Mastodon as @[email protected]
Jorge A. Pérez @PerezJorgeA_
312 Followers 498 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Shaukat Ali @shukat_ali
2K Followers 2K Following Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory.
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
MDE Network @the_mde_network
684 Followers 1K Following The expert network for model-driven engineering. Join us if you are interested in making software development more productive and accessible to domain experts.
Adrian Francalanza @francalanza_adr
50 Followers 120 Following dad, computer scientist, jogger (according to my wife)
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.
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
alessioferrari @alessferra
552 Followers 667 Following
Mohammad Mousavi @smr_mousavi
511 Followers 722 Following Professor of Software Engineering at King's College London - Personal account
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
FMICS 2021 @fmics2021
33 Followers 70 Following Twitter account for the FMICS 2021 conference managed by the PC Chairs.
VaMoS 2025 (@vamoscon... @vamosconf
377 Followers 496 Following 19th International Working Conference on Variability Modelling of Software-Intensive Systems 4-6 february 2025 in Rennes.
The Pitch™ @thepitchnetwork
152 Followers 342 Following The Pitch è il networking-event per startup, a Pisa! Prossimo evento: mercole 21/05 ore 18:30, Keith Café di Pisa! | Powered by @PhDPlus, Università di Pisa
Rosario Frasca Cacci @Sarinho79
37 Followers 134 Following
Anffas onlus Sicilia @AnffasonlusSici
733 Followers 2K Following Assoc. di Famiglie persone con Disabilità Intellettive e/o Relazionali
Anffas onlus Modica @AnffasModica
773 Followers 2K Following Associazione che si occupa delle Persone con Disabilità
Giovanni @GiovanniPro81
188 Followers 1K Following
Giulio Rossetti @GiulioRossetti
1K Followers 2K Following Senior Researcher @IstiCnr (@kdd_lab) | Social Network Analysis Prof. @DI_Unipisa | #NetworkScience | #Python |
Alessio Micieli @alessiomicieli
286 Followers 71 Following se non fosse toccata a me, la parte di Alessio Micieli sarebbe toccata a qualcun altro.
Giova @giova984
15 Followers 26 Following
James Ortiz Vega @James_OrtizV
17 Followers 62 Following
CAV @confCAV
796 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Christine HASSOUN @Chassoun1
1K Followers 4K Following Dissemination @UIC of @EU_H2020 Projects #Railways #UICrail System #Bicycle #transport #Mobility. @Shift2Rail_JU #LOCATE #CARBODIN #FUNDRES. Views my own.
OpenAI @OpenAI
4.3M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202
TU Delft @tudelft
77K Followers 5K Following Delft University of Technology contributes to solving global challenges by educating socially responsible engineers and performing world-class research.
Leiden University @UniLeidenNews
22K Followers 97 Following We are no longer active on X. For the latest news, follow us on Bluesky: https://t.co/MSXEe8LgBr
Utrecht University @UniUtrecht
57K Followers 325 Following This account is no longer active. See why: https://t.co/6OoZeesnvO
TU Eindhoven @TUeindhoven
34K Followers 387 Following At Eindhoven University of Technology (TU/e) we educate students and advance knowledge in science & technology for the benefit of humanity. Follow along here 👇
Elon Musk @elonmusk
225.4M Followers 1K Following
Cristina Seceleanu @cseceleanu
23 Followers 49 Following
Laura Titolo @laura_titolo
165 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Loria @labo_Loria
2K Followers 309 Following La #recherche en #informatique et #sciencesnumériques en #Lorraine
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!
Luca Aceto @aceto_luca
182 Followers 310 Following
É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)
ABZ Conference @ABZ_Conference
70 Followers 11 Following 11th International Conference on Rigorous State-Based Methods. 10.06. - 13.06.2025 | Düsseldorf, Germany
ETAPS Conferences (no... @ETAPSconf
346 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Giulio Rossetti @GiulioRossetti
1K Followers 2K Following Senior Researcher @IstiCnr (@kdd_lab) | Social Network Analysis Prof. @DI_Unipisa | #NetworkScience | #Python |
Rosario Frasca Cacci @Sarinho79
37 Followers 134 Following
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
marialuisatrivella @mrt69
200 Followers 990 Following
Università Kore di E... @Unikore_Enna
6K Followers 27 Following Profilo ufficiale dell'Università degli Studi di Enna "Kore".
Lorenzo Bettini @lorenzo_bettini
506 Followers 392 Following Professor in CS programming language implementor Linux fan Eclipse developer author of Xtext book https://t.co/iEWQxWFhiU and TDD book https://t.co/uCDlow7NjF
Myra Cohen @myra_cohen
297 Followers 20 Following
Lola Burgueño @LolaBurgueno
657 Followers 359 Following Associate prof at @InfoUMA. Software Engineering and MDE. Testing, uncertainty, AI-enhanced systems, performance & more
STAF Conferences @STAFconferences
275 Followers 199 Following STAF 2023 - Software Technologies: Applications and Foundations
Jordi Cabot @JordiCabot
6K Followers 422 Following Head of the Software Engineering RDI Unit at LIST (Luxembourg). FNR Pearl. Building Better SW Faster. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder
ECMFA 2025 @ECMFA_Conf
320 Followers 174 Following 21st European Conference on Modelling Foundations and Applications, part of STAF 2025 (@STAFconferences), June 10-11, 2025, #ecmfa25
Alfonso Pierantonio @APierantonio
806 Followers 485 Following Father of Rachele. Full Professor in Computer Science at the Università degli Studi dell'Aquila, Italy. Views are for my own diversion.
Sahar Kokaly | سحر @saharkokaly
941 Followers 1K Following Software Safety Engineering Leader @GMcanada 🚗 | Ph.D. | P.Eng. | Adjunct Prof. @McMasterU @McScert | Mom | Tweets are my own.
Richard Paige @richpaige
2K Followers 615 Following Chair and Joseph Ip Distinguished Engineering Professor at McMaster Univ. Honorary Professor at University of York. @richpaige.bsky.social
Sébastien Mosser @petitroll
2K Followers 1K Following Laisse-moi faire c'que j'fais de mieux. J'continuerai mes conneries jusqu'à c'qu'ils m'prennent au sérieux.
SLE Conference @sleconf
786 Followers 160 Following ACM SIGPLAN International Conference on Software Language Engineering
Gemma Catolino @g_catolino
983 Followers 769 Following Assistant Professor in SE at @unisalerno - @SeSa_Lab 👩🏫 | | Love Traveling ✈️ | | Puppy Lovers 🐶🐱 | | @coldplay and reggaeton addicted 🎶 | |
Gema Rodriguez-Perez @Gerope90
718 Followers 474 Following Assistant Professor @UBC-Okanagan. Researcher on Software Engineering. Continuously learning. Runner & Bathroom singer.
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
RE 2025 @ieee_re
1K Followers 146 Following The 33rd IEEE International Requirements Engineering Conference, 1-5 September 2025 - Valencia, Spain - #RE25
Igor Steinmacher @igorsteinmacher
2K Followers 1K Following FLG, AZ. Assist Professor@NAU; Open Source;; D&I; husband; father of 2; beer lover; Chargers fan; Brazilian. He/him. My posts = my opinion. Diplomista
Valentina Lenarduzzi @vale_lenarduzzi
1K Followers 636 Following Associate Professor (tenure track) @UniOulu @m3sOulu #software quality, maintenance, #technicaldebt #empiricalsoftwareengineering
@[email protected]... @ProfPaulRalph
2K Followers 857 Following Computer science professor @DalhousieU / @dalfcs. #SoftwareEngineering, #design, #ResearchMethods, #education, #academia.
Arie van Deursen @avandeursen
4K Followers 710 Following Professor in Software Engineering at TU Delft. Opinions are my own. He/him. Mastodon: https://t.co/nvGT1DkusE
davidcshepherd @davidcshepherd
3K Followers 2K Following Associate Prof @LSU, co-EiC of @JSSoftware. Taking Research (https://t.co/tt6R0cFYTp) into Practice (https://t.co/FOXNLfsBZZ).
Maurício Aniche @mauricioaniche
12K Followers 4K Following Staff Engineer @ Uber, ex-Adyen, Former Assist Prof in SE @serg_delft, Author of https://t.co/WUAKj72qHb, 2021 CS Teacher of the Year
Walid Maalej @maalejw
1K Followers 211 Following curious guy, designer + engineer, software prof., public speaker, tech transfer and startups, world citizen. Of course my own opinion 🤓 Retweet ≠ endorsement
Lionel Briand @lionel_c_briand
4K Followers 224 Following Professor, IEEE and ACM Fellow, fellow of the Royal Society of Canada, CRC Tier 1 at U. of Ottawa, Canada. Director, Lero centre for software research, Ireland.
Kelly Blincoe @KellyBlincoe
1K Followers 239 Following Associate Professor of Software Engineering at the University of Auckland's Human Aspects of Software Engineering Lab (she/her) @[email protected]
Fabio Palomba @fabiopalomba3
1K Followers 743 Following Associate Professor of SE, AI, SE4AI - Software Engineering (SeSa) Lab, University of Salerno, Italy.Trends for United States
25,4 B posts
17,3 B posts
5.535 posts
4.388 posts
19,4 B posts
17,4 B posts
52,1 B posts
120 B posts
8.549 posts
10,4 B posts
10,6 B posts
1.297 posts
22 B posts
12,9 B posts
5.254 posts
2.739 posts
You might like
Anamaria-Roberta Hart...
@anamariarp17
167 Followers
Giovanni Rosa, PhD
@giovannipink
220 Followers
Claudio
@menghi_claudio
220 Followers
Luca Aceto
@aceto_luca
182 Followers
Imane Cherfa
@CherfaImane
114 Followers
Djamel Khelladi
@dekhelladi
174 Followers