christos dot tsigkanos at tuwien dot ac dot at
PGP pubkey fingerprint 1FCC F879 5E17 9CD8 1824 AD48 27D5 79F2 0593 E2E6
Distributed Systems Group Technische Universität Wien, Austria Argentinierstrasse 8 A-1040 Vienna, Austria
Computing and communication capabilities are increasingly being embedded into physical spaces blurring the boundary between computational and physical worlds; typically, this is the case in modern cyber-physical or internet-of-things systems. Conceptually, such composite environments can be abstracted into a topological model where computational and physical entities are connected in a graph structure, yielding a cyber-physical space. Like any other software-intensive system, such a space is highly dynamic and typically undergoes continuous change - it is evolving. This brings a manifold of challenges as dynamics may affect e.g. safety, security, or reliability requirements. Modelling space and its dynamics as well as supporting formal reasoning about various properties of an evolving space, is a crucial prerequisite for engineering dependable space-intensive systems, e.g. to assure requirements satisfaction or to trigger correct adaptation.
I am university assistant at the Distibuted Systems Group at TU Vienna headed by prof. Schahram Dustdar. Previously, I was post-doctoral researcher at Politecnico di Milano, where I received (2017) my PhD defending a thesis entitled "Modelling and Verification of Evolving Cyber-Physical Spaces". My advisor was prof. Carlo Ghezzi.
Find me at
Recent Service (conferences)
Recent Research (selected)
Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar and Carlo Ghezzi
in ACM SEAMS, 2019.
Specification Patterns for Robotic Missions
Claudio Menghi, Christos Tsigkanos, Carlo Ghezzi, Patrizio Pelliccione and Thorsten Berger
(patterns, evaluation datasets and tool support) roboticpatterns.com
(journal submission) arxiv version
POET: Privacy on the Edge with Bidirectional Data Transformations
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu and Carlo Ghezzi
in IEEE PERCOM, 2019.
PsALM: Specification of Dependable Robotic Missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, and Patrizio Pelliccione
in IEEE/ACM ICSE Tool, 2019.
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer and Carlo Ghezzi
in ACM SIGSOFT FSE, 2017.
On the Interplay Between Cyber and Physical Spaces for Adaptive Security
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi and Bashar Nuseibeh
in IEEE Transactions on Dependable and Secure Computing, TDSC 2016.
Inferring Models from Trajectories of Spatially-Distributed Internet-of-Things; SEAMS19@ICSE. (C. Tsigkanos).
Correct and well-behaved bidirectional model transformations for privacy; PERCOM19 (N. Li).
LTL/CTL specification patterns for mobile robots; ICSE19 (C. Menghi).