Davide Basile

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

[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 https://t.co/wknM9uib5h

[Davide Basile @davidebasile]

50 days of free access to our paper "Advancing Orchestration Synthesis for Contract Automata" published in JLAMP available here https://t.co/0TgVcPXviM

[FMT Lab ISTI CNR @fmt_lab]

Maurice ter Beek and Davide Basile presenting their work on team automata and contract automata in an FMT session during COORDINATION@DisCoTec 2024

[Davide Basile @davidebasile]

our article "Advancing Orchestration Synthesis for Contract Automata" has been published online today at https://t.co/Tq7mI5VyQS

[Gilles Perrouin @GPerrouin]

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

[Davide Basile @davidebasile]

Our article "Coherent Modal Transition Systems Refinement" has been published open-access at https://t.co/FDBzXZ8NJf.

[Gilles Perrouin @GPerrouin]

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)

[FMT Lab ISTI CNR @fmt_lab]

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
https://t.co/bKev7WZU5e
The deadline is January 3, 2024.

[Davide Basile @davidebasile]

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 https://t.co/Ww971hgDmq

[Davide Basile @davidebasile]

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

[FMT Lab ISTI CNR @fmt_lab]

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]

[FMICS 2023 @FMICS_conf]

Davide Basile presenting his work on formal verification in the railway industry

[Davide Basile @davidebasile]

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

https://t.co/QdDZC7nOj1

https://t.co/KsMdXyqADN

[Davide Basile @davidebasile]

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 https://t.co/Z8nuNKe1QM

[Davide Basile @davidebasile]

Attending and presenting at @DisCoTecConf

[Davide Basile @davidebasile]

#places2023 #etaps conference dinner

[Davide Basile @davidebasile]

attending the TiCSA workshop @ETAPSconf

[Davide Basile @davidebasile]

attending PLACES 2023 at @ETAPSconf

[Gianluca Sbardella @g_sbardella]

MDPI journals have been included in the list of predatory journals. It was about time. https://t.co/sIJ78bPtbB

[Davide Basile @davidebasile]

@FMsymp @fmt_lab

[Davide Basile @davidebasile]

Presenting the paper "A Runtime Environment for Contract Automata" at the 25th International Symposium on Formal Methods.
Paper available at https://t.co/zzdA7CX2Rk
Extended presentation available at https://t.co/nmcqk8Mesi