DSG - TU Wien

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


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 (chair 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

ICSE Montreal (May' 19), Vienna Young Scientists Symposium (Jun' 19), DIGHUM19 Vienna (Apr' 19), NII Tokyo (Mar '19), PERCOM Kyoto (Mar' 19), Resilient CPS Shonan (Dec '18).

Recent Service

Trans. on Software Engineering & Methodology (TOSEM), Trans. on the Web (TWEB), Microservices19, SEAMS19, SEsCPS@ICSE19, DFSD@EWSN18, SEsCPS18.

Active Research Collaborations

prof. Carlo Ghezzi (Politecnico di Milano, Italy), prof. Zhenjiang Hu (National Institute of Informatics, Japan), dr. Claudio Menghi (University of Luxembourg, Luxembourg), prof. Schahram Dustdar (TU Wien, Austria), prof. Zhi Jin (Peking University, China), prof. Timo Kehrer (Humboldt Universität Berlin, Germany), dr. Marcello Bersani (Politecnico di Milano, Italy), dr. Alessio Arleo (TU Wien, Austria), dr. Laura Nenzi (University of Trieste, Italy), prof. Michele Loreti (University of Camerino, Italy)


Recent Research (selected)
  • Dependable Resource Coordination on the Edge at Runtime

    Christos Tsigkanos, Ilir Murturi and Schahram Dustdar

    in Proceedings of the IEEE, 2019.

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

  • Model-Driven Design of City Spaces via Bidirectional Transformations

    Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi

    in IEEE/ACM MODELS, 2019.

  • Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap

    Christos Tsigkanos, Stefan Nastic and Schahram Dustdar

    in IEEE ICDCS, 2019.

  • How do firms transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability

    Christos Tsigkanos, Alessio Arleo, Johannes Sorger and Schahram Dustdar

    in IEEE IRI, 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

    (IEEE/ACM ICSE tool) PsALM: Specification of Dependable Robotic Missions, 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)

Vienna Manifesto on Digital Humanism και (ελληνική μετάφραση)