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
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 advised by prof. Carlo Ghezzi. My research interests lie in the intersection of software engineering and contemporary distributed systems, and include dependable self-adaptive systems, requirements engineering and formal verification.
Mar'21: Robotic mission exemplars to appear on SEAMS '21. If interested, see also previous specification patterns on TSE, and their online repository
Jan'21: Serving as chair of the ACM Student Research Competition at MODELS '21. Excellent students, please consider applying to showcase your research!
Sept'20: How can we scale up verification 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 on (later) analysis. Paper on ASE
Find/Found me at
TU Eindhoven (online talk, Apr' 21), Univ. of Tübingen (online talk, Feb' 21), PoliMi Milano (online talk, Nov' 20), ASE (online talk, Sept' 20),
SnT Luxembourg (May' 20), PoliMi Milano (Feb' 20), Humboldt Berlin (Feb' 20) .
Recent Service (selected)
Property-driven projections and synchronizations of bigraphical reactive systems supporting multiple-view analyses, by Nianyu Li; ASE20.
Models from trajectories of spatially-distributed IoT; SEAMS19.
Correct and well-behaved bidirectional transformations for privacy; PERCOM19; by Nianyu Li.
MiscellaneaVienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή, θέμα στις πανελλήνιες '19 (in greek).
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, 2020 (pdf)
Specification Patterns for Robotic Missions
Claudio Menghi, Christos Tsigkanos, Carlo Ghezzi, Patrizio Pelliccione and Thorsten Berger
in IEEE Transactions on Software Engineering, 2020 (pdf)
in IEEE/ACM ICSE Journal First video summary, 2020
Patterns, datasets, reproduction kits and tool support roboticpatterns.com
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
Model-Driven Engineering City Spaces via Bidirectional Model Transformations
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi
in Software and Systems Modelling, 2021 (pdf)
in IEEE/ACM MODELS, 2019 (pdf)
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)
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 (pdf)
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
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer and Carlo Ghezzi
in ACM SIGSOFT FSE, 2017 (pdf)