Rim Saddem-Yagoubi

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

Collaborative distances:

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

2025

Transformation of DES Formalisms with the Assistance of Generative AI.

Celina Lemmouchi, Rim Saddem-Yagoubi

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

Rail Requirements Tracking and Architectural Verification.

Aroua Ben Daya, Rim Saddem-Yagoubi, Mohamed Taha Bennani

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

Extending DOLCE With Temporal Dimensions for Quality Ontology in The Context of Business Process Management.

Zohra Alyani, Rim Saddem-Yagoubi, Mohamed Turki, Karima Dhouib, Faïez Gargouri, Claudia Frydman

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 29th International Conference KES-2025, 2025

Formal Modeling and Verification of Advanced Railway Route Management with Moving Blocks.

Araaf Recta, Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel

Proceedings of the 2025 9th International Conference on System Reliability and Safety (ICSRS), 2025

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