Sarah Benyagoub

12 papers B 1C 4Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.
RSSRail
Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
2021 C conf
Realisability of Control-State Choreographies.
MEDI
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2020 C conf
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.
ABZ
Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe
2020 J jnl
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks.
J. Softw. Evol. Process.
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
2020 J jnl
Incremental correct-by-construction of distributed systems.
J. Comput. Lang.
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
2020 — conf
Realisability of Choreographies.
FoIKS
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2020 J jnl
Realisability of Control-State Choreographies.
CoRR
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2018 — conf
Handling Reparation in Incremental Construction of Realizable Conversation Protocols.
MEDI Workshops
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2018 — conf
Incremental Construction of Realizable Choreographies.
NFM
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
2018 B conf
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.
ICECCS
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2016 C conf
Correct-by-Construction Evolution of Realisable Conversation Protocols.
MEDI
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
2016 C conf
Towards correct Evolution of Conversation Protocols.
VECoS
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur