Χρήστος me

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

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

Space Software Group
University of Athens, Greece

Department of Aerospace Science and Technology
University of Athens, Greece
Office hours upon request.

Christos Tsigkanos is assistant professor at the University of Athens, Department of Aerospace where he is bootstrapping the Space Software Group. He received (2017) his PhD at Politecnico di Milano (advised by Carlo Ghezzi), and also holds Habilitation (2022). 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 research interests lie in the intersection of software and (software) systems engineering - including dependable systems, applied formal methods and space software.
 Space Software Group

News (recent)

  • Sep'25: Paper on nanosatellite flight software architectures on ECSA

  • Jul'25: CUBEX, a CubeSat exemplar for teaching architecture principles to appear on ECSA Tools

  • May'25: Paper on spatio-temporal verification of UIs on IEEE Transactions on the Web

  • Apr'25: Paper on SpaceWire specification with temporal logics to appear on FormaliSE

  • Mar'25: "Engineering Dependable Ubiquitous Systems" symposium, Shonan Japan


Find me at (recent)

ACSOS Tokyo (Sep'25), GSSI L'Aquila (May'25), NII Tokyo (Mar'25), Politecnico di Milano (Jan'25), Univ. of Bern (Jan'25).

Program/Committees (current/recent)

Formalise '26, ECSA '25, Artifacts PC Chair (ACSOS'25) , Organization ETAPS '25, ESEC/FSE '25 Demos, SEAMS '25 Artifacts, ECSA '24, SEAMS '24 (PC chair, Artifacts), AREA '24,

Teaching (current)

Space Software (STAR MSc, Univ. of Athens), Operating Systems (BSc, Univ. of Athens).

Projects

  • RUNVERSPACE (PI, SNSF).

  • ERMIS Constellation In-Orbit Validation/Demonstration (Software Assurance, ESA & Greek Ministry of Digital Governance).

  • RV4THINGS (PI, Hellenic Foundation for Research & Innovation).

  • CaSSIS-Verif: Towards Verified Flight Software for Future Missions (Co-Pi, University of Bern).

  • EDENSPACE: Engineering Dependable Cyber-Physical Space (PI, Austrian Science Foundation).


Miscellanea
Vienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή, θέμα στις πανελλήνιες '19 (in greek), CZ's principles.

Recent Research (selected)

  • Nanosatellite Flight Software: A Rigorous Software Architecture Perspective

    C. Vasilakis, A. Tsagkaropoulos, A. Motsios, C. Tsigkanos, D. Reisis

    in European Conference on Software Architecture, 2025 (pdf)

  • CUBEX: A CubeSat Exemplar for Teaching Software Architecture Principles

    A. Motsios, T. Kehrer, C. Tsigkanos

    in European Conference on Software Architecture, 2025 (pdf)

  • Temporal Logics Meet Real-World Software Requirements: A Reality Check

    R. Bögli, A. Rohani, T. Studer, C. Tsigkanos, T. Kehrer

    in 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025 (pdf)

  • Automated Monitoring of Web User Interfaces

    E. Visconti, C. Tsigkanos, L. Nenzi

    in ACM Transactions on the Web, 2025 (pdf)

  • SMT-as-a-Service for Fog-Supported Cyber-Physical Systems

    S. Holzer, P. Frangoudis, C. Tsigkanos, S. Dustdar

    in International Conference on Distributed Computing and Networking, 2024 (pdf)

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

  • 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

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

  •  Google Scholar
     Dblp
Copyright notice