Davide Basile (@davidebasile) profile picture

Davide Basile

@davidebasile

Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab

 Pisa, Italy
davidebasile.github.io
Joined April 2010
  • Tweets61
  • Following172
  • Followers50
9Media
Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)Photo by Davide Basile (@davidebasile)
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
50 days of free access to our paper "Advancing Orchestration Synthesis for Contract Automata" published in JLAMP available here authors.elsevier.com/a/1jIba…
1
85
Davide Basile retweeted
FMT Lab ISTI CNR (@fmt_lab) profile picture
FMT Lab ISTI CNR@fmt_lab20 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
Image from FMT Lab ISTI CNR (@fmt_lab)
1
1
3
112
our article "Advancing Orchestration Synthesis for Contract Automata" has been published online today at doi.org/10.1016/j.jlamp.2024…
158
Davide Basile retweeted
Gilles Perrouin (@GPerrouin) profile picture
Gilles Perrouin@GPerrouin14 May 2024
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
Image from Gilles Perrouin (@GPerrouin)
1
1
7
302
Our article "Coherent Modal Transition Systems Refinement" has been published open-access at doi.org/10.1016/j.jlamp.2024….
2
80
Davide Basile retweeted
Gilles Perrouin (@GPerrouin) profile picture
Gilles Perrouin@GPerrouin13 Jan 2024
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)
1
1
1
1
407
Davide Basile retweeted
FMT Lab ISTI CNR (@fmt_lab) profile picture
FMT Lab ISTI CNR@fmt_lab15 Dec 2023
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/lavor… The deadline is January 3, 2024.
1
1
150
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
1
65
Davide Basile retweeted
FMT Lab ISTI CNR (@fmt_lab) profile picture
FMT Lab ISTI CNR@fmt_lab26 Sep 2023
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]
1
1
2
596
Davide Basile 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
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
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=c1wcA9kB…
1
109
Attending and presenting at @DisCoTecConf
Image from Davide Basile (@davidebasile)
Image from Davide Basile (@davidebasile)
Image from Davide Basile (@davidebasile)
1
2
161
#places2023 #etaps conference dinner
Image from Davide Basile (@davidebasile)
1
168
attending the TiCSA workshop @ETAPSconf
Image from Davide Basile (@davidebasile)
1
1
155
attending PLACES 2023 at @ETAPSconf
Image from Davide Basile (@davidebasile)
1
77
MDPI journals have been included in the list of predatory journals. It was about time. predatoryreports.org/news/f/…
171
1,619
490
3,885
2,405,190
Presenting the paper "A Runtime Environment for Contract Automata" at the 25th International Symposium on Formal Methods. Paper available at doi.org/10.1007/978-3-031-27… Extended presentation available at youtu.be/zXqym3y5d7c
Image from Davide Basile (@davidebasile)
Image from Davide Basile (@davidebasile)
1
1
181
@FMsymp @fmt_lab
73
Load more