Best Paper Award and Finalist of Best Paper Award in ICCR2017 (International Conference of Cloud and Robotics 2017) for the work of Vasilis Remmas and Panagiotis Doxopoulos, presented by Konstantinos Panayiotou and Manos Tsardoulias (nomination after the 6th minute of video).
Publications
New Publication: Defining a Domain-Specific Language for Behavior Verification of Cyber–Physical Applications
A common problem in the development of Internet-of-Things (IoT) and cyber–physical system (CPS) applications is the complexity of these domains, due to their hybrid and distributed nature at multiple layers (hardware, network, communication, frameworks, etc.). Read more…


