Publications

Shah S, Welch J, Davies J and Gibbons J, Software Project Management for Combined Software and Data Engineering in Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools, Springer, 2017 (DOI) (preprint)

J. Davies, J. Gibbons, A. Milward, D. Milward, S. M. Shah, M. Solanki, J. Welch. Domain Specific Modelling for Clinical Research. Domain Specific Modelling, 2015.

K. Barmpis, S. M. Shah, and D. S. Kolovos. Towards Incremental Updates in Large-Scale Model Indexes. Modelling Foundations and Applications 2015. Springer International Publishing, 2015.

S. M. Shah, R. Wei, D. Kolovos, K. Barmpis, L. Rose and R. Paige. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. Proc. ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014).

S. M. Shah, C. Brewster, `Sierra: Cooperative Request-Response for Resource Management in Emergencies via Semantic Web Technology,' in Proceedings of Social Media and Linked Data for Emergency Response (SMILE), part of 10th Extended Semantic Web Conference (ESWC), Montpellier, France. 2013.

S. M. Shah. `Model Transformation Dependability Evaluation by the Automated Creation of Model Generators,' Ph.D. Thesis. The University of Birmingham, U.K. 2012.

S. M. Shah, K. Anastasakis, and B. Bordbar, `From UML to Alloy and Back Again,' in Proceedings of Model-Driven Engineering, Verification and Validation, part of 12th MoDELS International Conference on Model Driven Engineering Languages and Systems, 2009. Awarded Best Paper Prize. Google Scholar.

S. M. Shah, K. Anastasakis, and B. Bordbar, `Using Traceability for Reverse Instance Transformations with SiTra,' in Design and Architectures for Signal and Image Processing (DASIP). Special Session on Formal Models, Transformations and Architectures for Reliable Embedded System Design., Bruxelles, Belgium, 2008.