| SBVR2Alloy: an SBVR to alloy compiler NA Manaf, A Antoniades, S Moschoyiannis 2017 IEEE 10th Conference on Service-Oriented Computing and Applications …, 2017 | 12 | 2017 |
| Service choreography, sbvr, and time NA Manaf, S Moschoyiannis, P Krause arXiv preprint arXiv:1512.07685, 2015 | 12 | 2015 |
| Trace-based verification of rule-based service choreographies S Moschoyiannis, L Maglaras, NA Manaf 2018 IEEE 11th Conference on Service-Oriented Computing and Applications …, 2018 | 6 | 2018 |
| Generating choreographies from SBVR models NA Manaf, S Moschoyiannis AIP Conference Proceedings 2184 (1), 2019 | 4 | 2019 |
| Deontic rule of rule-based service choreographies NNZ Abidin, NA Manaf, S Moschoyiannis, NA Jamaludin 2021 2nd International Conference on Computing and Data Science (CDS), 510-515, 2021 | 3 | 2021 |
| Correctness of automatically generated choreography specifications NA Manaf, NNZ Abidin, NA Jamaludin International Joint Conference on Rules and Reasoning, 18-32, 2021 | 1 | 2021 |
| Generating verifiable service choreographies from SBVR models. NA Manaf University of Surrey, 2018 | 1 | 2018 |
