Kyriakos Anastasakis
Kyriakos Anastasakis
Verified email at cs.bham.ac.uk - Homepage
Title
Cited by
Cited by
Year
UML2Alloy: A challenging model transformation
K Anastasakis, B Bordbar, G Georg, I Ray
International Conference on Model Driven Engineering Languages and Systems …, 2007
3662007
On challenges of model transformation from UML to Alloy
K Anastasakis, B Bordbar, G Georg, I Ray
Software & Systems Modeling 9 (1), 69-86, 2010
2392010
Analysis of model transformations via alloy
K Anastasakis, B Bordbar, JM Küster
Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering …, 2007
1642007
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
932009
From UML to Alloy and back again
SMA Shah, K Anastasakis, B Bordbar
International Conference on Model Driven Engineering Languages and Systems …, 2009
852009
UML2ALLOY: A tool for lightweight modelling of discrete event systems.
B Bordbar, K Anastasakis
IADIS AC, 209-216, 2005
792005
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
592009
MDA and analysis of web applications
B Bordbar, K Anastasakis
International Conference on Trends in Enterprise Application Architecture, 44-55, 2005
432005
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
402010
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
192012
A model driven approach for the automated analysis of UML class diagrams
K Anastasakis
University of Birmingham, 2009
152009
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
72012
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
62011
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
62008
UML2Alloy Reference Manual
K Anastasakis
UML2Alloy Version: 0.52 [Online] available at http://www. cs. bham. ac. uk …, 2012
52012
Using Alloy for the Analysis of Model Transformations: A Case Study
K Anastasakis, B Bordbar
School of Computer Science, The University of Birmingham, UK, 2007
32007
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
The system can't perform the operation now. Try again later.
Articles 1–17