Sarah Benyagoub
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MEDI | Realisability of Control-State Choreographies. | Klaus-Dieter Schewe, Yamine At Ameur, Sarah Benyagoub |
| 2018 | ICECCS | Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | MEDI | Handling Reparation in Incremental Construction of Realizable Conversation Protocols. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2016 | MEDI | Correct-by-Construction Evolution of Realisable Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine At Ameur |
| 2016 | VECoS | Towards correct Evolution of Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Yamine At Ameur |