| 2022 | CRiSIS | Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. | Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2022 | TASE | Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2019 | ENASE | A Model-based Approach for the Modeling and the Verification of Railway Signaling System. | Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | FM | Towards a Method for the Decomposition by Refinement in Event-B. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2019 | FMICS | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | ICSoft | Event-B Decomposition Analysis for Systems Behavior Modeling. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2018 | MEDI | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2018 | WorldCIST | On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$. | Naima Jbeli, Zohra Sba, Rahma Ben Ayed |
| 2017 | ICSOC | Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. | Rawand Guerfel, Zohra Sba, Rahma Ben Ayed |
| 2017 | IWCMC | An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNs. | Fatma Gara, Leila Ben Saad, Rahma Ben Ayed |
| 2016 | ICCCI | On Expressiveness of TCTL | Naima Jbeli, Zohra Sba, Rahma Ben Ayed |
| 2016 | IWCMC | An adaptive timer for RPL to handle mobility in wireless sensor networks. | Fatma Gara, Leila Ben Saad, Elyes Ben Hamida, Bernard Tourancheau, Rahma Ben Ayed |
| 2015 | COMPSAC | Dynamic Data Replication-Driven Model in Data Grids. | Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed |
| 2015 | ICCCI | Towards a System for Cloud Service Discovery and Composition Based on Ontology. | Rawand Guerfel, Zohra Sba, Rahma Ben Ayed |
| 2015 | IWCMC | RPL protocol adapted for healthcare and medical applications. | Fatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau |
| 2014 | CloudCom | On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture. | Rawand Guerfel, Zohra Sba, Rahma Ben Ayed |
| 2008 | CRiSIS | Verification of Workflow processes under multilevel security considerations. | Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur |
| 2007 | MSWIM | Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. | Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui |
| 1998 | LOPSTR | Mathematical Foundations for Program Transformations. | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |