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)

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. - Rim Saddem-Yagoubi; Pascal Poizat; Sara Houhou (FM, 2021)

ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. - Rim Saddem-Yagoubi; Julie Beugin; Mohamed Ghazel (VECoS, 2024)