TSIGKANOS, CHRISTOS
TSIGKANOS, CHRISTOS
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Ariadne: topology aware adaptive security for cyber-physical systems
2015-01-01 Tsigkanos, Christos; Liliana, Pasquale; Ghezzi, Carlo; Bashar, Nuseibeh
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems
2020-01-01 Tsigkanos, C.; Garriga, M.; Baresi, L.; Ghezzi, C.
Edge-based Runtime Verification for the Internet of Things
2022-01-01 Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo; Nuseibeh, Bashar
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
2023-01-01 Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vázquez, Gricel; Calinescu, Radu; García, Sergio
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
Specification Patterns for Robotic Missions
2021-01-01 Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Patrizio; Ghezzi, Carlo; Berger, Thorsten
Topology Aware Adaptive Security
2014-01-01 Liliana, Pasquale; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Bashar, Nuseibeh