| Towards a system for cloud service discovery and composition based on ontology R Guerfel, Z Sbaï, RB Ayed Computational Collective Intelligence, 34-43, 2015 | 9 | 2015 |
| CTL model checking of web services composition based on open workflow nets modeling Z Sbaï, R Guerfel International Journal of Service Science, Management, Engineering, and …, 2016 | 8 | 2016 |
| On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology R Guerfel, Z Sbaï, RB Ayed International Journal of Service Science, Management, Engineering, and …, 2017 | 6 | 2017 |
| Modeling and formal verification framework of web services composition R Guerfel, Z Sbaï, K Barkaoui Int. Conf. Control Eng. Inf. Technol.(CEIT 2013) 2, 140-145, 2013 | 6 | 2013 |
| On service composition in cloud computing: a survey and an ongoing architecture R Guerfel, Z Sbai, RB Ayed 2014 IEEE 6th International Conference on Cloud Computing Technology and …, 2014 | 4 | 2014 |
| D&A4WSC as a Design and Analysis Framework of Web Services Composition. R Guerfel, Z Sbaï PNSE@ Petri Nets, 337-338, 2014 | 4 | 2014 |
| Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing R Guerfel, Z Sbaï, RB Ayed International Conference on Service-Oriented Computing, 80-92, 2017 | 2 | 2017 |
