Christos Tsigkanos
TitleCited byYear
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
282014
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
272014
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
222016
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
172017
Ariadne: Topology aware adaptive security for cyber-physical systems
C Tsigkanos, L Pasquale, C Ghezzi, B Nuseibeh
Proceedings of the 37th International Conference on Software Engineering …, 2015
162015
Architecting dynamic cyber-physical spaces
C Tsigkanos, T Kehrer, C Ghezzi
Computing 98 (10), 1011-1040, 2016
152016
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
142016
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
122017
Poster: Property specification patterns for robotic missions
C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
102018
PsALM: specification of dependable robotic missions
C Menghi, C Tsigkanos, T Berger, P Pelliccione
Proceedings of the 41st International Conference on Software Engineering …, 2019
42019
Poet: Privacy on the edge with bidirectional data transformations
N Li, C Tsigkanos, Z Jin, S Dustdar, Z Hu, C Ghezzi
International Conference on Pervasive Computing and Communications. IEEE Press, 2019
42019
On early statistical requirements validation of cyber-physical space systems
C Tsigkanos, N Li, Z Jin, Z Hu, C Ghezzi
Proceedings of the 4th International Workshop on Software Engineering for …, 2018
42018
Topology-aware access control of smart spaces
L Pasquale, C Ghezzi, E Pasi, C Tsigkanos, M Boubekeur, ...
Computer 50 (7), 54-63, 2017
42017
An emof-compliant abstract syntax for bigraphs
T Kehrer, C Tsigkanos, C Ghezzi
arXiv preprint arXiv:1612.01638, 2016
42016
On formalizing and identifying patterns in cloud workload specifications
C Tsigkanos, T Kehrer
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 262-267, 2016
42016
Inferring analyzable models from trajectories of spatially-distributed internet of things
C Tsigkanos, L Nenzi, M Loreti, M Garriga, S Dustdar, C Ghezzi
Proceedings of the 14th International Symposium on Software Engineering for …, 2019
32019
Specification patterns for robotic missions
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger
arXiv preprint arXiv:1901.02077, 2019
32019
A review of formalisms and analysis techniques for cyber-physical systems
L Pasquale, C Tsigkanos
Tech. Rep., 0
3
Modelling and Analysing Resilient Cyber-Physical Systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
22019
Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge
A Arleo, C Tsigkanos, C Jia, RA Leite, I Murturi, M Klaffenboeck, ...
arXiv preprint arXiv:1908.07479, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20