Topology aware adaptive security. - Liliana Pasquale; Carlo Ghezzi; Claudio Menghi; Christos Tsigkanos; Bashar Nuseibeh (SEAMS, 2014)

Engineering topology aware adaptive security: Preventing requirements violations at runtime. - Christos Tsigkanos; Liliana Pasquale; Claudio Menghi; Carlo Ghezzi; Bashar Nuseibeh (RE, 2014)

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. - Christos Tsigkanos; Liliana Pasquale; Carlo Ghezzi; Bashar Nuseibeh (ICSE (2), 2015)

Adding static and dynamic semantics to building information models. - Christos Tsigkanos; Timo Kehrer; Carlo Ghezzi; Liliana Pasquale; Bashar Nuseibeh (SEsCPS@ICSE, 2016)

On Formalizing and Identifying Patterns in Cloud Workload Specifications. - Christos Tsigkanos; Timo Kehrer (WICSA, 2016)

Architecting dynamic cyber-physical spaces. - Christos Tsigkanos; Timo Kehrer; Carlo Ghezzi (Computing, 2016)

An EMOF-Compliant Abstract Syntax for Bigraphs. - Timo Kehrer; Christos Tsigkanos; Carlo Ghezzi (GaM@ETAPS, 2016)

Topology-Aware Access Control of Smart Spaces. - Liliana Pasquale; Carlo Ghezzi; Edoardo Pasi; Christos Tsigkanos; Menouer Boubekeur; Blanca Florentino-Liaño; Tarik Hadzic; Bashar Nuseibeh (Computer, 2017)

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. - Tomás Bures; Danny Weyns; Bradley R. Schmerl; Eduardo Tovar; Eric Boden; Thomas Gabor; Ilias Gerostathopoulos; Pragya Gupta; Eunsuk Kang; Alessia Knauss; Pankesh Patel; Awais Rashid; et al. (ACM SIGSOFT Softw. Eng. Notes, 2017)

Modelling and verification of evolving cyber-physical spaces. - Christos Tsigkanos (2017)

Property specification patterns for robotic missions. - Claudio Menghi; Christos Tsigkanos; Thorsten Berger; Patrizio Pelliccione; Carlo Ghezzi (ICSE (Companion Volume), 2018)

On early statistical requirements validation of cyber-physical space systems. - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (SEsCPS@ICSE, 2018)

Modeling and Verification of Evolving Cyber-Physical Spaces. - Christos Tsigkanos; Timo Kehrer; Carlo Ghezzi (Software Engineering, 2018)

On the Interplay Between Cyber and Physical Spaces for Adaptive Security. - Christos Tsigkanos; Liliana Pasquale; Carlo Ghezzi; Bashar Nuseibeh (IEEE Trans. Dependable Secur. Comput., 2018)

Engineering Resilient Collaborative Edge-Enabled IoT. - Roberto Casadei; Christos Tsigkanos; Mirko Viroli; Schahram Dustdar (SCC, 2019)

Formal Methods in Designing Critical Cyber-Physical Systems. - Mehrnoosh Askarpour; Carlo Ghezzi; Dino Mandrioli; Matteo Rossi 001; Christos Tsigkanos (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Engineering Heterogeneous Internet of Things Applications: From Models to Code. - Thomas W. Pusztai; Christos Tsigkanos; Schahram Dustdar (CIC, 2019)

Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. - Cosmin Avasalcai; Christos Tsigkanos; Schahram Dustdar (EDGE, 2019)

Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap. - Christos Tsigkanos; Stefan Nastic; Schahram Dustdar (ICDCS, 2019)

Edge-to-Edge Resource Discovery using Metadata Replication. - Ilir Murturi; Cosmin Avasalcai; Christos Tsigkanos; Schahram Dustdar (ICFEC, 2019)

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; et al. (SEAMS@ICSE, 2019)

PsALM: specification of dependable robotic missions. - Claudio Menghi; Christos Tsigkanos; Thorsten Berger; Patrizio Pelliccione (ICSE (Companion Volume), 2019)

Inferring analyzable models from trajectories of spatially-distributed internet of things. - Christos Tsigkanos; Laura Nenzi; Michele Loreti; Martin Garriga; Schahram Dustdar; Carlo Ghezzi (SEAMS@ICSE, 2019)

How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability. - Christos Tsigkanos; Alessio Arleo; Johannes Sorger; Schahram Dustdar (IRI, 2019)

Model-Driven Design of City Spaces via Bidirectional Transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (MoDELS, 2019)

POET: Privacy on the Edge with Bidirectional Data Transformations. - Nianyu Li; Christos Tsigkanos; Zhi Jin; Schahram Dustdar; Zhenjiang Hu; Carlo Ghezzi (PerCom, 2019)

Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge. - Alessio Arleo; Johannes Sorger; Christos Tsigkanos; Chao Jia; Roger A. Leite; Ilir Murturi; Manfred Klaffenböck; Schahram Dustdar; Michael Wimmer 001; Silvia Miksch (IEEE VIS (Short Papers), 2019)

Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge. - Alessio Arleo; Christos Tsigkanos; Chao Jia; Roger A. Leite; Ilir Murturi; Manfred Klaffenboeck; Schahram Dustdar; Michael Wimmer 001; Silvia Miksch; Johannes Sorger (CoRR, 2019)

Architectural Considerations for Privacy on the Edge. - Christos Tsigkanos; Cosmin Avasalcai; Schahram Dustdar (IEEE Internet Comput., 2019)

Dependable Resource Coordination on the Edge at Runtime. - Christos Tsigkanos; Ilir Murturi; Schahram Dustdar (Proc. IEEE, 2019)

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (ASE, 2020)

Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. - Christos Tsigkanos; Martin Garriga; Luciano Baresi; Carlo Ghezzi (CoRR, 2020)

Early validation of cyber-physical space systems via multi-concerns integration. - Nianyu Li; Christos Tsigkanos; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (J. Syst. Softw., 2020)

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. - Christos Tsigkanos; Martin Garriga; Luciano Baresi; Carlo Ghezzi (ACM Trans. Internet Techn., 2020)

Updating Service-Based Software Systems in Air-Gapped Environments. - Oleksandr Shabelnyk; Pantelis A. Frangoudis; Schahram Dustdar; Christos Tsigkanos (ECSA, 2021)

RoboMAX: Robotic Mission Adaptation eXemplars. - Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García 002; Ricardo Caldas; Tim J. von Oertzen; Manuel Wimmer; Luca Berardinelli; Matteo Rossi 001; Marcello M. Bersani; et al. (SEAMS@ICSE, 2021)

On Provisioning Procedural Geometry Workloads on Edge Architectures. - Ilir Murturi; Chao Jia; Bernhard Kerbl; Michael Wimmer 001; Schahram Dustdar; Christos Tsigkanos (WEBIST, 2021)

Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN. - Pantelis A. Frangoudis; Christos Tsigkanos; Schahram Dustdar (IEEE Internet Comput., 2021)

Model-driven engineering city spaces via bidirectional model transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (Softw. Syst. Model., 2021)

DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case. - Martin Garriga; Koen Aarns; Christos Tsigkanos; Damian A. Tamburri; Willem-Jan van den Heuvel (ACM Trans. Internet Techn., 2021)

Specification Patterns for Robotic Missions. - Claudio Menghi; Christos Tsigkanos; Patrizio Pelliccione; Carlo Ghezzi; Thorsten Berger (IEEE Trans. Software Eng., 2021)

Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. - Anh Duc Vu 001; Timo Kehrer; Christos Tsigkanos (ASE, 2022)

WebMonitor: Verification of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ASE, 2022)

Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability. - Cosmin Avasalcai; Christos Tsigkanos; Schahram Dustdar (ACM Trans. Internet Techn., 2022)

Resource Management for Latency-Sensitive IoT Applications With Satisfiability. - Cosmin Avasalcai; Christos Tsigkanos; Schahram Dustdar (IEEE Trans. Serv. Comput., 2022)

Edge-Based Runtime Verification for the Internet of Things. - Christos Tsigkanos; Marcello M. Bersani; Pantelis A. Frangoudis; Schahram Dustdar (IEEE Trans. Serv. Comput., 2022)

Slicing and Visualizing F' Topologies with F'Prism. - Jialong Li 001; Christos Tsigkanos; Toshihide Ubukata; Elisa Yumi Nakagawa; Zhenyu Mao; Nianyu Li; Kenji Tei (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. - Christos Tsigkanos; Pooja Rani 001; Sebastian Müller 007; Timo Kehrer (ICCS (1), 2023)

On Irregularity Localization for Scientific Data Analysis Workflows. - Anh Duc Vu 001; Christos Tsigkanos; Jorge-Arnulfo Quiané-Ruiz; Volker Markl; Timo Kehrer (ICCS (1), 2023)

Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? - Christos Tsigkanos; Pooja Rani 001; Sebastian Müller 007; Timo Kehrer (SANER, 2023)

A Transformational Approach to Managing Data Model Evolution of Web Services. - Luca Beurer-Kellner; Jens von Pilgrim; Christos Tsigkanos; Timo Kehrer (IEEE Trans. Serv. Comput., 2023)

Visual Exploration of Financial Data with Incremental Domain Knowledge. - Alessio Arleo; Christos Tsigkanos; Roger A. Leite; Schahram Dustdar; Silvia Miksch; Johannes Sorger (Comput. Graph. Forum, 2023)

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. - Claudio Menghi; Christos Tsigkanos; Mehrnoosh Askarpour; Patrizio Pelliccione; Gricel Vázquez; Radu Calinescu; Sergio García 002 (IEEE Trans. Software Eng., 2023)

Instrumenting Runtime Goal Monitoring for F' Flight Software. - Jialong Li 001; Christos Tsigkanos; Nianyu Li; Kenji Tei (COMPSAC, 2024)

Automated Generation of Code Contracts: Generative AI to the Rescue? - Sandra Greiner 001; Noah Bühlmann; Manuel Ohrndorf; Christos Tsigkanos; Oscar Nierstrasz; Timo Kehrer (GPCE, 2024)

SMT-as-a-Service for Fog-Supported Cyber-Physical Systems. - Stefan Holzer; Pantelis A. Frangoudis; Christos Tsigkanos; Schahram Dustdar (ICDCN, 2024)

A Systematic Literature Review on a Decade of Industrial TLA+ Practice. - Roman Bögli; Leandro Lerena; Christos Tsigkanos; Timo Kehrer (IFM, 2024)

A Systematic Literature Review on a Decade of Industrial TLA+ Practice. - Roman Bögli; Leandro Lerena; Christos Tsigkanos; Timo Kehrer (CoRR, 2024)

Source Code Repository: AI-Generated Code Contracts. - Sandra Greiner 001; Noah Bühlmann; Manuel Ohrndorf; Christos Tsigkanos; Oscar Nierstrasz; Timo Kehrer (Zenodo, 2024)

Automated Generation of Code Contracts - Generative AI to the Rescue? - Sandra Greiner 001; Noah Bühlmann; Manuel Ohrndorf; Christos Tsigkanos; Oscar Nierstrasz; Timo Kehrer (Zenodo, 2024)

Nanosatellite Flight Software: A Rigorous Software Architecture Perspective. - Christoforos Vasilakis; Alexandros Tsagkaropoulos; Angelos Motsios; Christos Tsigkanos; Dionysios I. Reisis (ECSA, 2025)

Temporal Logics Meet Real-World Software Requirements: A Reality Check. - Roman Bögli; Atefeh Rohani; Thomas Studer; Christos Tsigkanos; Timo Kehrer (FormaliSE, 2025)

Automated Monitoring of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ACM Trans. Web, 2025)