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, Institute of Information Systems, TU Vienna, Austria Argentinierstrasse 8, A-1040 Vienna, Austria
The problem of engineering dependable software-intensive systems will not go away – it will only become more pressing, as today’s distributed systems are characterized by heterogeneity, are spatially-distributed and are expected to satisfy functional and non-functional requirements, from safety and reliability to security and privacy. It is clear that if we are going to use ad-hoc methods, we’ll end up with ad-hoc problems. We need techniques for early validation at design time and for tackling uncertainty manifested at runtime.
I am Lise Meitner fellow at TU Vienna (EDENSPACE, Austrian Science Foundation). Previously, I was a post-doctoral researcher at the Distibuted Systems Group (SmartCT, chair prof. Schahram Dustdar) and 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. My research interests lie in the intersection of distributed systems and software engineering, and include dependable self-adaptive and cyber-physical systems, requirements engineering and formal verification.
Jan'20: Our paper on robotic specification patterns on TSE, with data and tool support
Jan'20: Paper on spatial model checking deployed on the cloud on behalf of IoT devices to appear on TOIT
Oct'19: Newspaper article (in greek) co-authored with prof. Spinellis about "Digital Humanism" selected for the greek national university-entry exams (in greek)
Find me at
CDC (talk at STRCC) Nice (Dec' 19), AUEB Athens (Sept' 19), ICSE Montreal (May' 19), Vienna Young Scientists Symposium (Jun' 19), DIGHUM19 Vienna (Apr' 19), NII Tokyo (Mar '19), PERCOM Kyoto (Mar' 19).
Recent Service (selected)
Inferring Models from Trajectories of Spatially-Distributed Internet-of-Things; SEAMS19@ICSE. (Christos Tsigkanos).
Correct and well-behaved bidirectional model transformations for privacy; PERCOM19 (Nianyu Li).
LTL/CTL specification patterns for mobile robots; ICSE19 (Claudio Menghi).
Recent Research (selected)
Specification Patterns for Robotic Missions
Claudio Menghi, Christos Tsigkanos, Carlo Ghezzi, Patrizio Pelliccione and Thorsten Berger
in IEEE Transactions on Software Engineering, 2020. (preprint)
(patterns, evaluation datasets and tool support) roboticpatterns.com
(IEEE/ACM ICSE tool) PsALM: Specification of Dependable Robotic Missions, 2019.
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet-of-Things Systems
Christos Tsigkanos, Martin Garriga, Luciano Baresi, and Carlo Ghezzi
in IEEE Transactions on Internet Technology, 2020.
Dependable Resource Coordination on the Edge at Runtime
Christos Tsigkanos, Ilir Murturi and Schahram Dustdar
in Proceedings of the IEEE, 2019. (pdf)
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.
Architectural Considerations for Privacy on the Edge
Christos Tsigkanos, Cosmin Avasalcai and Schahram Dustdar
in IEEE Internet Computing, 2019.
Model-Driven Design of City Spaces via Bidirectional Transformations
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi
in IEEE/ACM MODELS, 2019. (pdf)
Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap
Christos Tsigkanos, Stefan Nastic and Schahram Dustdar
in IEEE ICDCS, 2019.
Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge
A. Arleo, C. Tsigkanos, C. Jia, R. Leite, I. Murturi, M. Klaffenboeck, S. Dustdar, M. Wimmer, S. Miksch, J. Sorger
in In IEEE VIS, 2019.
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. (pdf)
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer and Carlo Ghezzi
in ACM SIGSOFT FSE, 2017. (pdf)
MiscellaneaVienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή (in greek).