Vasileios Koutsoumpas

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

COMPSAC Workshops

Publications

Vasileios Koutsoumpas
A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context. SEsCPS@ICSE (2015)
Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. Software Engineering (Workshops) (2015)
Vasileios Koutsoumpas
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems. FESCA (2015)
Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow
A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models. COMPSAC Workshops (2014)
Maximilian Irlbeck, Denis Bytschkow, Georg Hackenberg, Vasileios Koutsoumpas
Towards a bottom-up development of reference architectures for smart energy systems. SE4SG@ICSE (2013)
Vasileios Koutsoumpas, Pragya Kirti Gupta
Towards a constraint based approach for Self-Healing Smart Grids. SE4SG@ICSE (2013)
Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow
Applying formal software engineering techniques to smart grids. SE4SG@ICSE (2012)
Vasileios Koutsoumpas, Kostas Kontogiannis, Peter Matthews
Dynamic Analysis for the Reconstruction of System Behavior Models. COMPSAC Workshops (2010)