Sarah Benyagoub

According to our database, Sarah Benyagoub authored at least 11 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2021

Realisability of Control-State Choreographies.

Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020

Incremental correct-by-construction of distributed systems.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur

J. Comput. Lang., 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

Realisability of Choreographies.

Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.

Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

Incremental Construction of Realizable Choreographies.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Handling Reparation in Incremental Construction of Realizable Conversation Protocols.

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor

Proceedings of the New Trends in Model and Data Engineering, 2018

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2016

Towards correct Evolution of Conversation Protocols.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Correct-by-Construction Evolution of Realisable Conversation Protocols.

Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur

Proceedings of the Model and Data Engineering - 6th International Conference, 2016