| Web services composition: A decade’s overview QZ Sheng, X Qiao, AV Vasilakos, C Szabo, S Bourne, X Xu Information Sciences 280, 218-238, 2014 | 579 | 2014 |
| Behavior modeling and automated verification of web services QZ Sheng, Z Maamar, L Yao, C Szabo, S Bourne Information Sciences 258, 416-433, 2014 | 44 | 2014 |
| Managing configurable business process as a service to satisfy client transactional requirements S Bourne, C Szabo, QZ Sheng 2015 IEEE International Conference on Services Computing, 154-161, 2015 | 11 | 2015 |
| Ensuring well-formed conversations between control and operational behaviors of web services S Bourne, C Szabo, QZ Sheng Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012 | 10 | 2012 |
| Verifying transactional requirements of web service compositions using temporal logic templates S Bourne, C Szabo, QZ Sheng Web Information Systems Engineering–WISE 2013: 14th International Conference …, 2013 | 9 | 2013 |
| Transactional behavior verification in business process as a service configuration S Bourne, C Szabo, QZ Sheng IEEE Transactions on Services Computing 12 (2), 290-303, 2017 | 8 | 2017 |
| Tl-views: a tool for temporal logic verification of transactional behavior of web service compositions S Bourne, C Szabo, QZ Sheng Service-Oriented Computing-ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA …, 2015 | 4 | 2015 |
| Formal verification of transactional and configurable service-oriented processes SS Bourne | 3 | 2016 |
