| UML2Alloy: A challenging model transformation K Anastasakis, B Bordbar, G Georg, I Ray International Conference on Model Driven Engineering Languages and Systems …, 2007 | 350 | 2007 |
| On challenges of model transformation from UML to Alloy K Anastasakis, B Bordbar, G Georg, I Ray Software & Systems Modeling 9 (1), 69, 2010 | 233 | 2010 |
| Analysis of model transformations via alloy K Anastasakis, B Bordbar, JM Küster Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering …, 2007 | 152 | 2007 |
| SBVR business rules generation from natural language specification IS Bajwa, MG Lee, B Bordbar 2011 AAAI Spring Symposium Series, 2011 | 145 | 2011 |
| SiTra: Simple transformations in java DH Akehurst, B Bordbar, MJ Evans, WGJ Howells, KD McDonald-Maier International Conference on Model Driven Engineering Languages and Systems …, 2006 | 114 | 2006 |
| 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 | 93 | 2009 |
| On querying UML data models with OCL DH Akehurst, B Bordbar International Conference on the Unified Modeling Language, 91-103, 2001 | 83 | 2001 |
| OCL constraints generation from natural language specification IS Bajwa, B Bordbar, MG Lee 2010 14th IEEE International Enterprise Distributed Object Computing …, 2010 | 82 | 2010 |
| From UML to Alloy and back again SMA Shah, K Anastasakis, B Bordbar International Conference on Model Driven Engineering Languages and Systems …, 2009 | 80 | 2009 |
| UML2ALLOY: A tool for lightweight modelling of discrete event systems. B Bordbar, K Anastasakis IADIS AC, 209-216, 2005 | 75 | 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 | 58 | 2009 |
| On-line monitoring of large Petri net models under partial observation G Jiroveanu, RK Boel, B Bordbar Discrete Event Dynamic Systems 18 (3), 323-354, 2008 | 56 | 2008 |
| On behavioural model transformation in web services B Bordbar, A Staikopoulos International Conference on Conceptual Modeling, 667-678, 2004 | 55 | 2004 |
| A DSL-based approach to software development and deployment on cloud K Sledziewski, B Bordbar, R Anane 2010 24th IEEE International Conference on Advanced Information Networking …, 2010 | 44 | 2010 |
| A model driven approach to represent sequence diagrams as free choice Petri nets MA Ameedeen, B Bordbar 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 43 | 2008 |
| MDA and analysis of web applications B Bordbar, K Anastasakis International Conference on Trends in Enterprise Application Architecture, 44-55, 2005 | 41 | 2005 |
| 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 | 40 | 2010 |
| Model transformation from OWL-S to BPEL via SiTra B Bordbar, G Howells, M Evans, A Staikopoulos European Conference on Model Driven Architecture-Foundations and …, 2007 | 39 | 2007 |
| UML and Petri nets for design and analysis of distributed systems B Bordbar, L Giacomini, DJ Holding Proceedings of the 2000. IEEE International Conference on Control …, 2000 | 39 | 2000 |
| A framework for detecting malware in cloud by identifying symptoms K Harrison, B Bordbar, STT Ali, CI Dalton, A Norman 2012 IEEE 16th International Enterprise Distributed Object Computing …, 2012 | 35 | 2012 |
Kyriakos AnastasakisUniversity of Birmingham, UKVahvistettu sähköpostiosoite verkkotunnuksessa cs.bham.ac.uk
