Rim Saddem-Yagoubi

According to our database, Rim Saddem-Yagoubi authored at least 3 papers between 2020 and 2024.

Collaborative distances:

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

2024

ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario.

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

2021

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Model-checking precision agriculture logistics: the case of the differential harvest.

Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani

Discret. Event Dyn. Syst., 2020