Kyriakos Anastasakis
Kyriakos Anastasakis
Verified email at - Homepage
Cited by
Cited by
UML2Alloy: A challenging model transformation
K Anastasakis, B Bordbar, G Georg, I Ray
Model Driven Engineering Languages and Systems: 10th International …, 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
Analysis of model transformations via alloy
K Anastasakis, B Bordbar, JM Küster
Proceedings of the workshop on model-driven engineering, verification and …, 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
From UML to Alloy and back again
SMA Shah, K Anastasakis, B Bordbar
Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009
UML2ALLOY: A tool for lightweight modelling of discrete event systems.
B Bordbar, K Anastasakis
IADIS AC, 209-216, 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
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
MDA and analysis of web applications
B Bordbar, K Anastasakis
International Conference on Trends in Enterprise Application Architecture, 44-55, 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
A model driven approach for the automated analysis of uml class diagrams
K Anastasakis
University of Birmingham, 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
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
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
Uml2alloy reference manual
K Anastasakis
UML2Alloy Version: 0.52 [Online] available at http://www. cs. bham. ac. uk …, 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
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
The system can't perform the operation now. Try again later.
Articles 1–17