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)

• Sept'24: Paper on automated code contracts generation with Generative AI on ACM SIGPLAN GPCE

• Jul'24: Paper on goal monitoring for F' flight software on IEEE COMPSAC Osaka

• Feb'24: Paper on SMT-as-a-Service for Fog systems on ICDCN

  Find/Found me at (recent)

  Univ. of Bern (Nov'23, Mar'24), ICCS Prague (Jul'23), HiPEAC Brussels (May'23), SANER Macao (talk, Mar'23).

  Program Committees (current)

  ECSA '24, SEAMS '24 (PC chair, Artifacts), AREA '24, ESEC/FSE '23, ECSA '23, SEAMS '23, DISCOLI '23 (co-chair).

  Teaching (current)

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

  Projects

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

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

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

    • 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 gate io

    • 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

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

    •  Google Scholar  Dblp