Vasileios Koutsoumpas
According to our database1,
Vasileios Koutsoumpas
authored at least 9 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
4
1
3
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
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.
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.
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.
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.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013
Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013
2012
Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, 2012
2010
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010