Towards Enabling Overture as a Platform for Formal Notation IDEs. - Luís Diogo Couto; Peter Gorm Larsen; Miran Hasanagic; Georgios Kanakis; Kenneth Lausdahl; Peter W. V. Tran-Jørgensen (F-IDE, 2015)

Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company. - Andreas Demuth; Roland Kretschmer; Michael Tröls; Georgios Kanakis; Davy Maes; Alexander Egyed (Software Engineering, 2018)

Supporting a flexible grouping mechanism for collaborating engineering teams. - Georgios Kanakis; Stefan Fischer 006; Djamel Eddine Khelladi; Alexander Egyed (ICGSE, 2019)

An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing. - Georgios Kanakis; Djamel Eddine Khelladi; Stefan Fischer 006; Michael Tröls; Alexander Egyed (J. Object Technol., 2019)