| 2025 | FedCSIS | Multi-level Optimization-based Ensemble Machine Learning for Efficient Crop Yield Prediction in Saudi Arabia. | Raya Aldawoud, Zohra Sba |
| 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 |
| 2016 | CoDIT | Towards TCTLh | Ameni Chtourou, Zohra Sba |
| 2016 | ICCCI | On Expressiveness of TCTL | Naima Jbeli, Zohra Sba, Rahma Ben Ayed |
| 2015 | CaiSE | Model Checking Web Services Choreography. | Arbia Ben Azaiez, Zohra Sba |
| 2015 | ICCCI | Towards a System for Cloud Service Discovery and Composition Based on Ontology. | Rawand Guerfel, Zohra Sba, Rahma Ben Ayed |
| 2015 | VECoS | On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. | Zohra Sba, Kamel Barkaoui |
| 2014 | CaiSE | On Compatibility Analysis of Inter Organizational Business Processes. | Zohra Sba, Kamel Barkaoui |
| 2014 | CloudCom | On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture. | Rawand Guerfel, Zohra Sba, Rahma Ben Ayed |
| 2010 | ICSoft | Model Checking Verification of Web Services Composition. | Abdallah Missaoui, Zohra Sba, Kamel Barkaoui |