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.). This complexity often leads to implementation errors, some of which result in undesired states of Read more…









