Concepedia

Kyriakos Anastasakis

KA

9

Publications

677

Citations

9

H-Index

2005

Active since

Affiliations

University of Birmingham(Current)

Colorado State University

The Edgbaston Hospital

Kyriakos Anastasakis is an author at University of Birmingham specializing in engineering, software design, and software engineering.

Top concepts

EngineeringSoftware DesignComputer ScienceSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsComputer-aided DesignProgram AnalysisIndustrial Engineering

Publications per year

2005–2012

9

Publications

9

UML2Alloy: a challenging model transformation

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg et al. · Model Driven Engineering Languages and Systems · 2007 · 219 citations

Engineering, Industrial Engineering, Numerical Simulation +6

On challenges of model transformation from UML to Alloy

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg et al. · Software & Systems Modeling · 2008 · 189 citations

Engineering, Industrial Engineering, Computer-aided Design +4

An aspect-oriented methodology for designing secure applications

Geri Georg, Indrakshi Ray, Kyriakos Anastasakis et al. · Information and Software Technology · 2008 · 77 citations

Hardware Security, Security Modelling, Software Security +11

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

Behzad Bordbar, Kyriakos Anastasakis · IADIS AC · 2005 · 57 citations

Event-driven Architecture, Engineering, Industrial Engineering +25

From UML to Alloy and back again

Seyyed Shah, Kyriakos Anastasakis, Behzad Bordbar · 2009 · 41 citations

Engineering, Industrial Engineering, Software Engineering +23

Rows per page

1–5 of 9