DSG - TU Wien

Χρήστος Τσίγκανος


christos dot tsigkanos at tuwien dot ac dot at

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 systems are characterized by heterogeneity, are distributed in space 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 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.

  • Aug'20: How can we scale up model checking of complex reactive systems? Different model projections corresponding to requirements may be derived (and synchronized) on the specification level automatically, achieving cone-of-influence reduction. Paper accepted on ASE20!

  • Jul'20: Paper on validation of cyber-physical systems with statistical model checking to appear on Journal of Systems and Software

  • Jan'20: Paper on spatial model checking on the cloud on behalf of IoT devices to appear on TOIT

  • Jan'20: Our paper on robotic specification patterns on TSE, with an online repository and tool support

  • Dec'19: Amazon AWS research grant for cloud/IoT

  • Dec'19: Lise Meitner fellowship from the Austrian Science Foundation

  • Oct'19: Newspaper article (in greek) co-authored with Diomidis Spinellis about "Digital Humanism" selected for the greek national university-entry exams (in greek)

Find me at

SnT Luxembourg (May' 20) , PoliMi Milano (Feb' 20), Humboldt Berlin (Feb' 20), CDC (invited talk at STRCC) Nice (Dec' 19), AUEB Athens (talk, Sept' 19), ICSE Montreal (May' 19), NII Tokyo (invited talk, Mar '19).

Recent Service (selected)

SEAMS21, AREA20, Trans. on Software Engineering & Methodology (TOSEM), Trans. on the Web (TWEB), SEAMS20, Software and Systems Modeling (SoSyM), Journal of Systems and Software (JSS), Future Gen. of Computing Systems (FGCS), Trans. on Services Computing (TSC).



Advanced Internet Computing (MSc, winter), Distributed Computing Seminars (MSc, spring).

Recent Research (selected)
  • Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations

    Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, and Carlo Ghezzi

    in IEEE/ACM Automated Software Engineering (to appear), 2020.

  • Specification Patterns for Robotic Missions

    Claudio Menghi, Christos Tsigkanos, Carlo Ghezzi, Patrizio Pelliccione and Thorsten Berger

    in IEEE Transactions on Software Engineering, 2020. (pdf)

    (patterns, datasets and tool support) roboticpatterns.com

    (IEEE/ACM ICSE tool) PsALM: Specification of Dependable Robotic Missions, 2019. (pdf)

    (IEEE/ACM ICSE Journal First) video summary, 2020.

  • 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.

  • Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

    Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, and Carlo Ghezzi

    in Journal of Systems and Software, 2020.

  • Dependable Resource Coordination on the Edge at Runtime

    Christos Tsigkanos, Ilir Murturi and Schahram Dustdar

    in Proceedings of the IEEE, 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. (pdf) (video summary)

  • 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)

Vienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή (in greek).