Publications of Yamine Aït Ameur [rss]
2020
[2] Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks (Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri), In J. Softw. Evol. Process., volume 32, 2020. [bib] [pdf] [doi]
2018
[1] Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor), In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. [bib] [pdf] [doi]
Powered by bibtexbrowser