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

Christos
Tsigkanos

christos dot tsigkanos at unibe dot ch

1FCC F879 5E17 9CD8 1824 AD48 27D5 79F2 0593 E2E6

Institute of Computer Science, University of Bern
Schützenmattstrasse 14, 3012 Bern, Switzerland

Christos Tsigkanos is senior researcher with the University of Bern and the Software Engineering Group. He is joining the University of Athens, Department of Aerospace as assistant professor. He received (2017) his PhD at Politecnico di Milano (advised by Carlo Ghezzi). He also holds Habilitation (2022). He was Lise Meitner Fellow and previously post-doctoral researcher at TU Vienna (with Schahram Dustdar). He has co-authored over 35 conference and journal papers (Rank A🞶: 9, Rank A: 12). His research interests lie in the intersection of software and (software) systems engineering, and include aspects of dependable systems as well as applied formal methods.

News (recent)
  • Nov'22: Paper on visual exploration of financial models to appear on the Computer Graphics Forum

  • Nov'22: Working within self-adaptive, IoT, or distributed systems? Consider submitting at the DISCOLI Workshop on DIStributed COLlective Intelligence

  • Sep'22: NIER paper on irregularity localization for scientific workflows on ASE

  • Jul'22: Tool on verification of user interfaces on ASE (video)

  • Mar'22: Paper on managing data model evolution to appear on TSC

  • Feb'22: Habilitation awarded


Find/Found me at (recent)

Humboldt Berlin (Dec'22), TU Vienna (Sep'22), Humboldt Berlin (Jun'22), Univ. of Bern (Jan'22), PoliMi Milano (Dec'21).

Recent/Upcoming Program Committees (selected)

DISCOLI '23 (co-chair), SEAMS '23, ESEC/FSE '23, ICWS'22, ECSA'22 Tools, ESEC/FSE'22 Tutorials, SEAMS'22.

Teaching (current)

Perspectives on Dependable Software Systems (MSc, spring, Univ. of Bern).


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

Recent Research (selected)
  • Managing Data Model Evolution with Transformations

    L. Beurer-Kellner, J. v. Pilgrim, C. Tsigkanos, and T. Kehrer

    in IEEE Transactions on Services Computing, 2022 (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

  • 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

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

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

Copyright notice