Χρήστος Τσίγκανος
Christos Tsigkanos
christos dot tsigkanos at aerospace dot uoa dot gr
christos dot tsigkanos at unibe dot ch
1FCC F879 5E17 9CD8 1824 AD48 27D5 79F2 0593 E2E6
Department of Aerospace Science and Technology University of Athens, Greece
Christos Tsigkanos is assistant professor at the University of Athens, Department of Aerospace Science and Technology. He received (2017) his PhD at Politecnico di Milano (advised by Carlo Ghezzi), and also holds Habilitation (2022). He has been senior researcher at the University of Bern (with Timo Kehrer), previously Lise Meitner Fellow of the Austrian Science Foundation, and post-doctoral researcher at TU Vienna (with Schahram Dustdar). His interests lie in the intersection of software and (software) systems engineering, including aspects of dependable systems as well as applied formal methods.
News (recent)
-
Mar'23: Paper on managing data model evolution on TSC
Feb'23: NIER on metamorphic testing with LLMs to appear on SANER
Jan'23: Paper on quantitative specification patterns to appear on TSE
Dec'22: Paper on visual exploration of financial models to appear on CGF
Nov'22: Working within self-adaptive, IoT, or distributed systems? Consider submitting at the DISCOLI Workshop on DIStributed COLlective Intelligence
Oct'22: Tool on verification of user interfaces on ASE (video)
Find/Found me at (recent)
SANER Macao (Mar'23), Humboldt Berlin (Dec'22), TU Vienna (Sep'22).
Recent/Upcoming Program Committees
ESEC/FSE '23, ECSA '23, SEAMS '23, DISCOLI '23 (co-chair).
Teaching (current)
Space Software (MSc, spring, Univ. of Athens), Operating Systems (BSc, spring, Univ. of Athens), Perspectives on Dependable Software Systems (MSc, spring '22, Univ. of Bern).
Miscellanea
Vienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή, θέμα στις πανελλήνιες '19 (in greek), CZ's principles.Recent Research (selected)
-
Quantitative Temporal Logic Specification Patterns for Robotics
C. Menghi, C. Tsigkanos, M. Askarpour, P. Pelliccione, G. Vazquez, R. Calinescu, S. Garcia
in IEEE Transactions on Software Engineering, 2023 (pdf)
Edge-based Runtime Verification for the Internet of Things
C. Tsigkanos, M. M. Bersani, P. A. Frangoudis and S. Dustdar
in IEEE Transactions on Services Computing, 2022 (pdf)
in IEEE Services Journal First, 2021 (video)
in IEEE Internet Computing, 2021
Managing Data Model Evolution with Transformations
L. Beurer-Kellner, J. v. Pilgrim, C. Tsigkanos, and T. Kehrer
in IEEE Transactions on Services Computing, 2023 (pdf)
Scalable Multiple-View Analysis of Reactive Systems
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu and Carlo Ghezzi
in IEEE/ACM Automated Software Engineering, 2020 (pdf) (code)
ACM SIGSOFT Distinguished Paper Award
Copyright noticeSpecification Patterns for Robotic Missions
C. Menghi, C. Tsigkanos, C. Ghezzi, P. Pelliccione and T. Berger
in IEEE Transactions on Software Engineering, 2021 (pdf)
in IEEE/ACM ICSE tool PsALM: Specification of Dependable Robotic Missions, 2019 (video walkthrough) (pdf)
in IEEE/ACM ICSE Journal First, 2020 (video)
Patterns, datasets, reproduction kits and tool support roboticpatterns.com
Adaptive Resource Management for the Latency-Sensitive Edge
Cosmin Avasalcai, Christos Tsigkanos and Schahram Dustdar
in IEEE Transactions on Internet Technology, 2022
in IEEE Transactions on Services Computing, 2022 (pdf)
Updating Air-Gapped Service-based Software Systems
O. Shabelnyk, P. A. Frangoudis, S. Dustdar and C. Tsigkanos
in European Conference on Software Architecture, 2021 (pdf)