Vasileios Koutsoumpas

According to our database, Vasileios Koutsoumpas authored at least 9 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

SPES XT Modeling Framework.

Wolfgang Böhm, Marian Daun, Vasileios Koutsoumpas, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

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

Vasileios Koutsoumpas

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 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

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

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

Vasileios Koutsoumpas

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

2014

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

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Towards a constraint based approach for Self-Healing Smart Grids.

Vasileios Koutsoumpas, Pragya Kirti Gupta

Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013

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

Maximilian Irlbeck, Denis Bytschkow, Georg Hackenberg, Vasileios Koutsoumpas

Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013

2012

Applying formal software engineering techniques to smart grids.

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow

Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, 2012

2010

Dynamic Analysis for the Reconstruction of System Behavior Models.

Vasileios Koutsoumpas, Kostas Kontogiannis, Peter Matthews

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010