Author: Sarah Benyagoub

Refereed Journal Papers and Articles

2020
[1]	Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor and Ahmed Medeghri: Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks, in J. Softw. Evol. Process., volume 32, 2020. [pdf] [doi]

Refereed Conference Papers

2018
[1]	Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur and Atif Mashkoor: Incremental Construction of Realizable Choreographies, in Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. [pdf] [doi]