UML2ALLOY: A tool for lightweight modelling of discrete event systems. - Behzad Bordbar; Kyriakos Anastasakis (IADIS AC, 2005)

MDA and Analysis of Web Applications. - Behzad Bordbar; Kyriakos Anastasakis (TEAA, 2005)

UML2Alloy: A Challenging Model Transformation. - Kyriakos Anastasakis; Behzad Bordbar; Geri Georg; Indrakshi Ray (MoDELS, 2007)

From UML to Alloy and back again. - Seyyed Madasar Ali Shah; Kyriakos Anastasakis; Behzad Bordbar (MoDeVVa@MoDELS, 2009)

Ensuring spatio-temporal access control for real-world applications. - Manachai Toahchoodee; Indrakshi Ray; Kyriakos Anastasakis; Geri Georg; Behzad Bordbar (SACMAT, 2009)

An aspect-oriented methodology for designing secure applications. - Geri Georg; Indrakshi Ray; Kyriakos Anastasakis; Behzad Bordbar; Manachai Toahchoodee; Siv Hilde Houmb (Inf. Softw. Technol., 2009)

A Model Driven Approach for the Atomated Analysis of UML Class Diagrams. - Kyriakos Anastasakis (2009)

On challenges of model transformation from UML to Alloy. - Kyriakos Anastasakis; Behzad Bordbar; Geri Georg; Indrakshi Ray (Softw. Syst. Model., 2010)

Verification and Trade-Off Analysis of Security Properties in UML System Models. - Geri Georg; Kyriakos Anastasakis; Behzad Bordbar; Siv Hilde Houmb; Indrakshi Ray; Manachai Toahchoodee (IEEE Trans. Software Eng., 2010)

On a chain of transformations for generating alloy from NL constraints. - Imran Sarwar Bajwa; Behzad Bordbar; Kyriakos Anastasakis; Mark G. Lee (ICDIM, 2012)

NL2 Alloy: A Tool to Generate Alloy from NL Constraints. - Imran Sarwar Bajwa; Behzad Bordbar; Mark G. Lee; Kyriakos Anastasakis (J. Digit. Inf. Manag., 2012)