Christos Tsigkanos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
16
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | LTL in the Wild: A Decade of Specifying Edge/IoT System Behaviors. | Angeliki Pantiora, Roman Bgli, Timo Kehrer, Christos Tsigkanos |
| 2026 | ICSE | Developers' Blind Spot: Designing Systems to Enable Stakeholders' Understanding of Ethical Qualities. | Gianluca De Ninno, Martina De Sanctis, Paola Inverardi, Romina Spalazzese, Christos Tsigkanos |
| 2025 | ECSA | sfCUBEX: A CubeSat Exemplar for Teaching Software Architecture Principles. | Angelos Motsios, Timo Kehrer, Christos Tsigkanos |
| 2025 | ECSA | Nanosatellite Flight Software: A Rigorous Software Architecture Perspective. | Christoforos Vasilakis, Alexandros Tsagkaropoulos, Angelos Motsios, Christos Tsigkanos, Dionysios I. Reisis |
| 2024 | COMPSAC | Instrumenting Runtime Goal Monitoring for F' Flight Software. | Jialong Li, Christos Tsigkanos, Nianyu Li, Kenji Tei |
| 2024 | GPCE | Automated Generation of Code Contracts: Generative AI to the Rescue? | Sandra Greiner, Noah Bhlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer |
| 2024 | ICDCN | SMT-as-a-Service for Fog-Supported Cyber-Physical Systems. | Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar |
| 2024 | IFM | A Systematic Literature Review on a Decade of Industrial TLA | Roman Bgli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer |
| 2023 | ECSA | Slicing and Visualizing F' Topologies with F'Prism. | Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei |
| 2023 | ICCS | Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. | Christos Tsigkanos, Pooja Rani, Sebastian Mller, Timo Kehrer |
| 2023 | ICCS | On Irregularity Localization for Scientific Data Analysis Workflows. | Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quian-Ruiz, Volker Markl, Timo Kehrer |
| 2021 | ECSA | Updating Service-Based Software Systems in Air-Gapped Environments. | Oleksandr Shabelnyk, Pantelis A. Frangoudis, Schahram Dustdar, Christos Tsigkanos |
| 2021 | WEBIST | On Provisioning Procedural Geometry Workloads on Edge Architectures. | Ilir Murturi, Chao Jia, Bernhard Kerbl, Michael Wimmer, Schahram Dustdar, Christos Tsigkanos |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2021 | SERVICES | Edge-Based Runtime Verification for the Internet of Things. | Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar |
| 2019 | ICDCS | Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap. | Christos Tsigkanos, Stefan Nastic, Schahram Dustdar |
| 2019 | ICFEC | Edge-to-Edge Resource Discovery using Metadata Replication. | Ilir Murturi, Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar |
| 2019 | IRI | How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability. | Christos Tsigkanos, Alessio Arleo, Johannes Sorger, Schahram Dustdar |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | PsALM: specification of dependable robotic missions. | Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione |
| 2019 | ICSE | Inferring analyzable models from trajectories of spatially-distributed internet of things. | Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi |
| 2019 | MODELS | Model-Driven Design of City Spaces via Bidirectional Transformations. | Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi |
| 2019 | PERCOM | POET: Privacy on the Edge with Bidirectional Data Transformations. | Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi |
| 2018 | ICSE | Property specification patterns for robotic missions. | Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi |
| 2018 | ICSE | On early statistical requirements validation of cyber-physical space systems. | Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
| 2016 | ICSE | Adding static and dynamic semantics to building information models. | Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh |
| 2015 | ICSE | Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. | Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh |
| 2014 | ICSE | Topology aware adaptive security. | Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh |
| 2014 | RE | Engineering topology aware adaptive security: Preventing requirements violations at runtime. | Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh |