Kyriakos Anastasakis

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
NL2 Alloy: A Tool to Generate Alloy from NL Constraints.
J. Digit. Inf. Manag., 2012

On a chain of transformations for generating alloy from NL constraints.
Proceedings of the Seventh International Conference on Digital Information Management, 2012

2010
Verification and Trade-Off Analysis of Security Properties in UML System Models.
IEEE Trans. Software Eng., 2010

On challenges of model transformation from UML to Alloy.
Softw. Syst. Model., 2010

2009
A Model Driven Approach for the Atomated Analysis of UML Class Diagrams.
PhD thesis, 2009

An aspect-oriented methodology for designing secure applications.
Inf. Softw. Technol., 2009

Ensuring spatio-temporal access control for real-world applications.
Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

From UML to Alloy and back again.
Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

2007
UML2Alloy: A Challenging Model Transformation.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

2005
MDA and Analysis of Web Applications.
Proceedings of the Trends in Enterprise Application Architecture, VLDB Workshop, 2005

UML2ALLOY: A tool for lightweight modelling of discrete event systems.
Proceedings of the AC 2005, 2005


  Loading...