Kyriakos Anastasakis

According to our database, Kyriakos Anastasakis authored at least 11 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

On a chain of transformations for generating alloy from NL constraints.

Imran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee

Proceedings of the Seventh International Conference on Digital Information Management, 2012

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 challenges of model transformation from UML to Alloy.

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray

Softw. Syst. Model., 2010

2009

A Model Driven Approach for the Atomated Analysis of UML Class Diagrams.

Kyriakos Anastasakis

PhD thesis, 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

Ensuring spatio-temporal access control for real-world applications.

Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

From UML to Alloy and Back Again.

Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar

Proceedings of the Models in Software Engineering, 2009

2007

UML2Alloy: A Challenging Model Transformation.

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2005

MDA and Analysis of Web Applications.

Behzad Bordbar, Kyriakos Anastasakis

Proceedings of the Trends in Enterprise Application Architecture, VLDB Workshop, 2005

UML2ALLOY: A tool for lightweight modelling of discrete event systems.

Behzad Bordbar, Kyriakos Anastasakis

Proceedings of the AC 2005, 2005