| Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering 47 (10), 2208-2224, 2019 | 102 | 2019 |
| On the interplay between cyber and physical spaces for adaptive security C Tsigkanos, L Pasquale, C Ghezzi, B Nuseibeh IEEE Transactions on Dependable and Secure Computing 15 (3), 466-480, 2016 | 85 | 2016 |
| Software engineering for smart cyber-physical systems: Challenges and promising solutions T Bures, D Weyns, B Schmer, E Tovar, E Boden, T Gabor, ... ACM SIGSOFT Software Engineering Notes 42 (2), 19-24, 2017 | 69 | 2017 |
| Modeling and verification of evolving cyber-physical spaces C Tsigkanos, T Kehrer, C Ghezzi Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 67 | 2017 |
| Decentralized resource auctioning for latency-sensitive edge computing C Avasalcai, C Tsigkanos, S Dustdar 2019 IEEE international conference on edge computing (EDGE), 72-76, 2019 | 51 | 2019 |
| Architecting dynamic cyber-physical spaces C Tsigkanos, T Kehrer, C Ghezzi Computing 98, 1011-1040, 2016 | 48 | 2016 |
| Topology aware adaptive security L Pasquale, C Ghezzi, C Menghi, C Tsigkanos, B Nuseibeh Proceedings of the 9th international symposium on software engineering for …, 2014 | 46 | 2014 |
| Modelling and analysing resilient cyber-physical systems A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ... 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 40 | 2019 |
| Engineering topology aware adaptive security: Preventing requirements violations at runtime C Tsigkanos, L Pasquale, C Menghi, C Ghezzi, B Nuseibeh 2014 IEEE 22nd International Requirements Engineering Conference (RE), 203-212, 2014 | 39 | 2014 |
| The Vienna manifesto on digital humanism H Werthner Digital transformation and ethics, 338-357, 2020 | 36 | 2020 |
| Ariadne: Topology aware adaptive security for cyber-physical systems C Tsigkanos, L Pasquale, C Ghezzi, B Nuseibeh 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 36 | 2015 |
| Robomax: Robotic mission adaptation exemplars M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ... 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 31 | 2021 |
| Towards resilient Internet of Things: Vision, challenges, and research roadmap C Tsigkanos, S Nastic, S Dustdar 2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019 | 29 | 2019 |
| PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 29 | 2019 |
| Edge-to-edge resource discovery using metadata replication I Murturi, C Avasalcai, C Tsigkanos, S Dustdar 2019 IEEE 3rd International Conference on Fog and Edge Computing (ICFEC), 1-6, 2019 | 29 | 2019 |
| Early validation of cyber–physical space systems via multi-concerns integration N Li, C Tsigkanos, Z Jin, Z Hu, C Ghezzi Journal of Systems and Software 170, 110742, 2020 | 28 | 2020 |
| Adding static and dynamic semantics to building information models C Tsigkanos, T Kehrer, C Ghezzi, L Pasquale, B Nuseibeh Proceedings of the 2nd International Workshop on Software Engineering for …, 2016 | 28 | 2016 |
| Resource management for latency-sensitive IoT applications with satisfiability C Avasalcai, C Tsigkanos, S Dustdar IEEE Transactions on Services Computing 15 (5), 2982-2993, 2021 | 26 | 2021 |
| Inferring analyzable models from trajectories of spatially-distributed internet of things C Tsigkanos, L Nenzi, M Loreti, M Garriga, S Dustdar, C Ghezzi 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 22 | 2019 |
| Property specification patterns for robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi Proceedings of the 40th International Conference on Software Engineering …, 2018 | 21 | 2018 |
Carlo GhezziEmeritus Professor, Politecnico di Milano在 polimi.it 的电子邮件经过验证
