| 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 | 445 | 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 | 40 | 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 | 10 | 2015 |
| Ensuring well-formed conversations between control and operational behaviors of web services S Bourne, C Szabo, QZ Sheng International Conference on Service-Oriented Computing, 507-515, 2012 | 10 | 2012 |
| Verifying transactional requirements of web service compositions using temporal logic templates S Bourne, C Szabo, QZ Sheng International Conference on Web Information Systems Engineering, 243-256, 2013 | 7 | 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 | 6 | 2017 |
| Formal verification of transactional and configurable service-oriented processes SS Bourne | 3 | 2016 |
| 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, 418-422, 2015 | 3 | 2015 |
