| UML2Alloy: A challenging model transformation K Anastasakis, B Bordbar, G Georg, I Ray Model Driven Engineering Languages and Systems: 10th International …, 2007 | 383 | 2007 |
| On challenges of model transformation from UML to Alloy K Anastasakis, B Bordbar, G Georg, I Ray Software & Systems Modeling 9, 69-86, 2010 | 263 | 2010 |
| Analysis of model transformations via alloy K Anastasakis, B Bordbar, JM Küster Proceedings of the workshop on Model-Driven Engineering, Verification and …, 2007 | 164 | 2007 |
| An aspect-oriented methodology for designing secure applications G Georg, I Ray, K Anastasakis, B Bordbar, M Toahchoodee, SH Houmb Information and Software Technology 51 (5), 846-864, 2009 | 101 | 2009 |
| From UML to Alloy and back again SMA Shah, K Anastasakis, B Bordbar Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009 | 100 | 2009 |
| UML2ALLOY: A tool for lightweight modelling of discrete event systems. B Bordbar, K Anastasakis IADIS AC, 209-216, 2005 | 87 | 2005 |
| Ensuring spatio-temporal access control for real-world applications M Toahchoodee, I Ray, K Anastasakis, G Georg, B Bordbar Proceedings of the 14th ACM symposium on Access control models and …, 2009 | 65 | 2009 |
| Verification and trade-off analysis of security properties in UML system models G Georg, K Anastasakis, B Bordbar, SH Houmb, I Ray, M Toahchoodee IEEE Transactions on Software Engineering 36 (3), 338-356, 2010 | 44 | 2010 |
| MDA and analysis of web applications B Bordbar, K Anastasakis International Conference on Trends in Enterprise Application Architecture, 44-55, 2005 | 42 | 2005 |
| NL2 Alloy: A Tool to Generate Alloy from NL Constraints. IS Bajwa, B Bordbar, MG Lee, K Anastasakis J. Digit. Inf. Manag. 10 (6), 365-372, 2012 | 20 | 2012 |
| A model driven approach for the automated analysis of UML class diagrams K Anastasakis University of Birmingham, 2009 | 15 | 2009 |
| On a chain of transformations for generating alloy from NL constraints IS Bajwa, B Bordbar, K Anastasakis, M Lee Seventh International Conference on Digital Information Management (ICDIM …, 2012 | 7 | 2012 |
| Balancing security and performance properties during system architectural design S Houmb, G Georg, D Petriu, B Bordbar, I Ray, K Anastasakis, R France Software Engineering for Secure Systems: Industrial and Research …, 2011 | 7 | 2011 |
| Using traceability for reverse instance transformations with SiTra S Shah, K Anastasakis, B Bordbar Design and Architectures for Signal and Image Processing (DASIP 2008 …, 2008 | 7 | 2008 |
| Uml2alloy reference manual K Anastasakis UML2Alloy Version: 0.52 [Online] available at http://www. cs. bham. ac. uk …, 2012 | 6 | 2012 |
| Using Alloy for the Analysis of Model Transformations: A Case Study K Anastasakis, B Bordbar Technical report, School of Computer Science, The University of Birmingham, UK, 2007 | 3 | 2007 |
| 2010 Index IEEE Transactions on Software Engineering Vol. 36 S Ali, H Aljazzar, K Anastasakis, J Antunes, E Arisholm, S Artzi, GK Baah, ... IEEE Transactions on Software Engineering 36 (6), 1, 2010 | | 2010 |
