Kyriakos Anastasakis

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Venues

J. Digit. Inf. Manag.

ICDIM

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

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

Kyriakos Anastasakis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kyriakos Anastasakis