Sfoglia per Autore
Topology Aware Adaptive Security
2014-01-01 Liliana, Pasquale; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Bashar, Nuseibeh
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo; Nuseibeh, Bashar
Ariadne: topology aware adaptive security for cyber-physical systems
2015-01-01 Tsigkanos, Christos; Liliana, Pasquale; Ghezzi, Carlo; Bashar, Nuseibeh
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems
2020-01-01 Tsigkanos, C.; Garriga, M.; Baresi, L.; Ghezzi, C.
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.
Edge-based Runtime Verification for the Internet of Things
2021-01-01 Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile