Correct-by-Construction Evolution of Realisable Conversation Protocols. - Sarah Benyagoub; Meriem Ouederni; Neeraj Kumar Singh 001; Yamine Aït Ameur (MEDI, 2016)

Towards correct Evolution of Conversation Protocols. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur (VECoS, 2016)

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (ICECCS, 2018)

Handling Reparation in Incremental Construction of Realizable Conversation Protocols. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (MEDI Workshops, 2018)

Incremental Construction of Realizable Choreographies. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur; Atif Mashkoor (NFM, 2018)

Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. - Sarah Benyagoub; Yamine Aït Ameur; Klaus-Dieter Schewe (ABZ, 2020)

Realisability of Choreographies. - Klaus-Dieter Schewe; Yamine Aït Ameur; Sarah Benyagoub (FoIKS, 2020)

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 (J. Softw. Evol. Process., 2020)

Incremental correct-by-construction of distributed systems. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur (J. Comput. Lang., 2020)

Realisability of Control-State Choreographies. - Klaus-Dieter Schewe; Yamine Aït Ameur; Sarah Benyagoub (MEDI, 2021)

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. - Alexandra Halchin; Adja Ndeye Sylla; Sarah Benyagoub; Abderrahmane Feliachi; Yoann Fonteneau; Sven Leger (RSSRail, 2023)