Number of items at this level: 5.
Benyagoub, Sarah
and Aït-Ameur, Yamine
and Ouederni, Meriem
and Mashkoor, Atif
Handling Reparation in Incremental Construction of Realizable Conversation Protocols.
(2018)
In: 8th International Conference On Model and Data Engineering (MEDI 2018), 24 October 2018 - 26 October 2018 (Marrakech, Morocco).
Benyagoub, Sarah
and Ouederni, Meriem
and Aït-Ameur, Yamine
and Mashkoor, Atif
Incremental Construction of Realizable Choreographies.
(2018)
In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).
Benyagoub, Sarah and Ouederni, Meriem
and Aït-Ameur, Yamine
Towards correct Evolution of Conversation Protocols.
(2016)
In: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 6 October 2016 - 7 October 2016 (Tunis, Tunisia).
Benyagoub, Sarah and Ouederni, Meriem
and Singh, Neeraj Kumar
and Aït-Ameur, Yamine
Correct-by-Construction Evolution of Realisable Conversation Protocols.
(2016)
In: MEDI 2016 - Model and Data Engineering - 6th International Conference, 21 September 2016 - 23 September 2016 (Almería, Spain).
Benyagoub, Sarah and Ouederni, Meriem
and Singh, Neeraj Kumar
and Aït-Ameur, Yamine
Correct-by-Construction Evolution of Realisable Conversation Protocols.
(2016)
In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).
This list was generated on Thu Feb 25 14:58:22 2021 CET.