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

attending PLACES 2023 at ETAPS Conferences (now on other platforms)

attending the TiCSA workshop ETAPS Conferences (now on other platforms)

#places2023 #etaps conference dinner

Attending and presenting at DisCoTec Conference

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…

presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at FMICS 2023 doi.org/10.1007/978-3-… youtu.be/2FqSeTWvVrk

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

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]

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

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.

2. Time for Networks: Mutation Testing for Timed Automata Networks at FormaliSE, joint work with David Cortes, Jesus Aranda, (Univ. del Valle), Davide Basile (@IstiCnr), James Ortiz and Pierre Y. Schobbens (UNamur - Faculté d'Informatique)

Our article "Coherent Modal Transition Systems Refinement" has been published open-access at doi.org/10.1016/j.jlam….

I presented at the FormaliSE conference our paper: "Time for Networks: Mutation Testing for Timed Automata Networks" one month ago in Lisbon. Joint work with James Ortiz Vega, David Santiago Cortes, Davide Basile, Jesús Aranda Bueno, and Pierre Y. Schobbens. ICSE

our article "Advancing Orchestration Synthesis for Contract Automata" has been published online today at doi.org/10.1016/j.jlam…

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

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…

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