Applying formal software engineering techniques to smart grids G Hackenberg, M Irlbeck, V Koutsoumpas, D Bytschkow Proceedings of the First International Workshop on Software Engineering …, 2012 | 34 | 2012 |
Towards a bottom-up development of reference architectures for smart energy systems M Irlbeck, D Bytschkow, G Hackenberg, V Koutsoumpas Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd …, 2013 | 21 | 2013 |
Towards a constraint based approach for Self-Healing Smart Grids V Koutsoumpas, PK Gupta Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd …, 2013 | 11 | 2013 |
SPES XT modeling framework W Böhm, M Daun, V Koutsoumpas, A Vogelsang, T Weyer Advanced Model-Based Engineering of Embedded Systems, 29-42, 2016 | 9 | 2016 |
A Model-based Approach for the Specification of a Virtual Power Plant Operating in Open Context V Koutsoumpas Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 2015 IEEE …, 2015 | 9 | 2015 |
A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models G Hackenberg, M Irlbeck, V Koutsoumpas, D Bytschkow Computer Software and Applications Conference Workshops (COMPSACW), 2014 …, 2014 | 8 | 2014 |
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study A Campetelli, M Junker, B Böhm, M Davidich, V Koutsoumpas, X Zhu, ... | 5* | |
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems V Koutsoumpas arXiv preprint arXiv:1503.04917, 2015 | 4 | 2015 |
Die E-Energy Referenzarchitektur M Irlbeck, V Koutsoumpas | 1 | 2015 |
Entwicklung eines Analyseframeworks zur Unterstützung der Verteilnetzbetreiber im Projekt ESOSEG M Kramer, D Bytschkow, D Ascher, V Koutsoumpas, A Jambagi, M Irlbeck, ... VDE-Kongress 2016-Internet der Dinge, 2016 | | 2016 |
Dynamic Analysis for the Reconstruction of System Behavior Models. V Koutsoumpas, K Kontogiannis, P Matthews, GA Athens COMPSAC Workshops, 273-280, 2010 | | 2010 |