Davide Basile

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

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…

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…

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….

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)

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

@didiomario ciao Mario, c'è anche la chitarra che suonavi con gli omega zonne? 🤣

A wall of memories, a wall of music, a wall that reminds me to be always grateful for every moment and person that music brought in my life. And yes, it makes it easier to just pick one up and play a little more :-) :-)

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: maurice.terbeek@isti.cnr.it

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

MDPI journals have been included in the list of predatory journals. It was about time. predatoryreports.org/news/f/list-of…

@FMsymp @fmt_lab

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-… Extended presentation available at youtu.be/zXqym3y5d7c