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
50 days of free access to our paper "Advancing Orchestration Synthesis for Contract Automata" published in JLAMP available here https://t.co/0TgVcPXviM
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
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.
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
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]
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
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
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