Kyriakos Anastasakis

12 papers A 1C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2012 J jnl
NL2 Alloy: A Tool to Generate Alloy from NL Constraints.
J. Digit. Inf. Manag.
Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee, Kyriakos Anastasakis
2012 — conf
On a chain of transformations for generating alloy from NL constraints.
ICDIM
Imran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee
2010 J jnl
On challenges of model transformation from UML to Alloy.
Softw. Syst. Model.
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
2010 J jnl
Verification and Trade-Off Analysis of Security Properties in UML System Models.
IEEE Trans. Software Eng.
Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee
2009 — —
A Model Driven Approach for the Atomated Analysis of UML Class Diagrams.
Kyriakos Anastasakis
2009 J jnl
An aspect-oriented methodology for designing secure applications.
Inf. Softw. Technol.
Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb
2009 C conf
Ensuring spatio-temporal access control for real-world applications.
SACMAT
Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar
2009 — conf
From UML to Alloy and Back Again.
MoDELS (Workshops)
Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar
2009 — conf
From UML to Alloy and back again.
MoDeVVa@MoDELS
Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar
2007 A conf
UML2Alloy: A Challenging Model Transformation.
MoDELS
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
2005 — conf
MDA and Analysis of Web Applications.
TEAA
Behzad Bordbar, Kyriakos Anastasakis
2005 C conf
UML2ALLOY: A tool for lightweight modelling of discrete event systems.
IADIS AC
Behzad Bordbar, Kyriakos Anastasakis