research
∙
07/13/2020
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Cyber-physical space systems are engineered systems operating within phy...
share
research
∙
04/23/2020
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things
Internet-enabled things and devices operating in the physical world are ...
research
∙
03/12/2019
Perpetual Assurances for Self-Adaptive Systems
Providing assurances for self-adaptive systems is challenging. A primary...
research
∙
01/07/2019