Christos Tsigkanos
Christos Tsigkanos
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
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
512016
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
442017
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
412017
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
382014
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
362014
Architecting dynamic cyber-physical spaces
C Tsigkanos, T Kehrer, C Ghezzi
Computing 98 (10), 1011-1040, 2016
342016
Specification patterns for robotic missions
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger
IEEE Transactions on Software Engineering, 2019
302019
Adding static and dynamic semantics to building information models
C Tsigkanos, T Kehrer, C Ghezzi, L Pasquale, B Nuseibeh
2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart …, 2016
232016
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
232015
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
162019
Psalm: specification of dependable robotic missions
C Menghi, C Tsigkanos, T Berger, P Pelliccione
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
152019
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
142019
Poet: Privacy on the edge with bidirectional data transformations
N Li, C Tsigkanos, Z Jin, S Dustdar, Z Hu, C Ghezzi
2019 IEEE International Conference on Pervasive Computing and Communications …, 2019
142019
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
142018
Engineering resilient collaborative edge-enabled IoT
R Casadei, C Tsigkanos, M Viroli, S Dustdar
2019 IEEE International Conference on Services Computing (SCC), 36-45, 2019
132019
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
122019
On early statistical requirements validation of cyber-physical space systems
C Tsigkanos, N Li, Z Jin, Z Hu, C Ghezzi
2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart …, 2018
122018
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
112019
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
112019
Architectural considerations for privacy on the edge
C Tsigkanos, C Avasalcai, S Dustdar
IEEE Internet Computing 23 (4), 76-83, 2019
82019
The system can't perform the operation now. Try again later.
Articles 1–20