Dynamic Analysis for the Reconstruction of System Behavior Models. - Vasileios Koutsoumpas; Kostas Kontogiannis; Peter Matthews (COMPSAC Workshops, 2010)

Applying formal software engineering techniques to smart grids. - Georg Hackenberg; Maximilian Irlbeck; Vasileios Koutsoumpas; Denis Bytschkow (SE4SG@ICSE, 2012)

Towards a bottom-up development of reference architectures for smart energy systems. - Maximilian Irlbeck; Denis Bytschkow; Georg Hackenberg; Vasileios Koutsoumpas (SE4SG@ICSE, 2013)

Towards a constraint based approach for Self-Healing Smart Grids. - Vasileios Koutsoumpas; Pragya Kirti Gupta (SE4SG@ICSE, 2013)

A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models. - Georg Hackenberg; Maximilian Irlbeck; Vasileios Koutsoumpas; Denis Bytschkow (COMPSAC Workshops, 2014)

A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context. - Vasileios Koutsoumpas (SEsCPS@ICSE, 2015)

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. - Alarico Campetelli; Maximilian Junker; Birthe Böhm; Maria Davidich; Vasileios Koutsoumpas; Xiuna Zhu; Jan Christoph Wehrstedt (Software Engineering (Workshops), 2015)

A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems. - Vasileios Koutsoumpas (FESCA, 2015)

SPES XT Modeling Framework. - Wolfgang Böhm 002; Marian Daun; Vasileios Koutsoumpas; Andreas Vogelsang; Thorsten Weyer (Advanced Model-Based Engineering of Embedded Systems, 2016)