Sarah Benyagoub

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Event Detection

Incremental Clustering

Conversational Agent

Distributed Systems

Top Venues

J. Comput. Lang.

Publications

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