25 citations · 56 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 3 cited
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin +2
Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. Th…
cs.DC2020★ 5 cited
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things
Christos Tsigkanos, Martin Garriga, Luciano Baresi +1
Internet-enabled things and devices operating in the physical world are increasingly integrated in modern distributed systems, supporting functionalities that require assurances th…