Vasileios Koutsoumpas

Towards a constraint based approach for Self-Healing Smart Grids

Vasileios Koutsoumpas, Pragya K. Gupta, P. Gupta, 2013, 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG).

A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models

Georg Hackenberg, Maximilian Irlbeck, Denis Bytschkow, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Dynamic Analysis for the Reconstruction of System Behavior Models

Kostas Kontogiannis, Peter Matthews, Vasileios Koutsoumpas, 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

Applying formal software engineering techniques to smart grids

Georg Hackenberg, Maximilian Irlbeck, Denis Bytschkow, 2012, 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids).

Towards a bottom-up development of reference architectures for smart energy systems

Georg Hackenberg, Maximilian Irlbeck, Denis Bytschkow, 2013, 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG).

A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Vasileios Koutsoumpas, 2015, FESCA.

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study

Birthe Böhm, Maximilian Junker, Maria Davidich, 2015, Software Engineering.

A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context

Vasileios Koutsoumpas, 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

SPES XT Modeling Framework

Andreas Vogelsang, Wolfgang Böhm, Marian Daun, 2016, Advanced Model-Based Engineering of Embedded Systems.