Christos Tsigkanos

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 54

Top Topics

Spatially Distributed

Resource Discovery

Top Venues

IEEE Trans. Serv. Comput.

Publications

Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems. ICDCN (2024)
Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. ICCS (1) (2023)
Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? SANER (2023)
Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Trans. Serv. Comput. 16 (1) (2023)
Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei
Slicing and Visualizing F' Topologies with F'Prism. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Alessio Arleo, Christos Tsigkanos, Roger A. Leite, Schahram Dustdar, Silvia Miksch, Johannes Sorger
Visual Exploration of Financial Data with Incremental Domain Knowledge. Comput. Graph. Forum 42 (1) (2023)
Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quiané-Ruiz, Volker Markl, Timo Kehrer
On Irregularity Localization for Scientific Data Analysis Workflows. ICCS (1) (2023)
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. 49 (4) (2023)
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
Edge-Based Runtime Verification for the Internet of Things. IEEE Trans. Serv. Comput. 15 (5) (2022)
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
WebMonitor: Verification of Web User Interfaces. ASE (2022)
Anh Duc Vu, Timo Kehrer, Christos Tsigkanos
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. ASE (2022)
Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
Resource Management for Latency-Sensitive IoT Applications With Satisfiability. IEEE Trans. Serv. Comput. 15 (5) (2022)
Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability. ACM Trans. Internet Techn. 22 (1) (2022)
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. 47 (10) (2021)
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
Edge-Based Runtime Verification for the Internet of Things. SERVICES (2021)
Martin Garriga, Koen Aarns, Christos Tsigkanos, Damian A. Tamburri, Willem-Jan van den Heuvel
DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case. ACM Trans. Internet Techn. 21 (2) (2021)
Ilir Murturi, Chao Jia, Bernhard Kerbl, Michael Wimmer, Schahram Dustdar, Christos Tsigkanos
On Provisioning Procedural Geometry Workloads on Edge Architectures. WEBIST (2021)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20 (6) (2021)
Oleksandr Shabelnyk, Pantelis A. Frangoudis, Schahram Dustdar, Christos Tsigkanos
Updating Service-Based Software Systems in Air-Gapped Environments. ECSA (2021)
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE (2021)
Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar
Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN. IEEE Internet Comput. 25 (1) (2021)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR (2020)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE (2020)
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20 (2) (2020)
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR (2020)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170 (2020)
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
PsALM: specification of dependable robotic missions. ICSE (Companion Volume) (2019)
Christos Tsigkanos, Stefan Nastic, Schahram Dustdar
Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap. ICDCS (2019)
Ilir Murturi, Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
Edge-to-Edge Resource Discovery using Metadata Replication. ICFEC (2019)
Christos Tsigkanos, Ilir Murturi, Schahram Dustdar
Dependable Resource Coordination on the Edge at Runtime. Proc. IEEE 107 (8) (2019)
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Specification Patterns for Robotic Missions. CoRR (2019)
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. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS (2019)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT. SCC (2019)
Christos Tsigkanos, Alessio Arleo, Johannes Sorger, Schahram Dustdar
How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability. IRI (2019)
Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. EDGE (2019)
Alessio Arleo, Johannes Sorger, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenböck, Schahram Dustdar, Michael Wimmer, Silvia Miksch
Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge. IEEE VIS (Short Papers) (2019)
Alessio Arleo, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenboeck, Schahram Dustdar, Michael Wimmer, Silvia Miksch, Johannes Sorger
Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge. CoRR (2019)
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE (2019)
Thomas W. Pusztai, Christos Tsigkanos, Schahram Dustdar
Engineering Heterogeneous Internet of Things Applications: From Models to Code. CIC (2019)
Christos Tsigkanos, Cosmin Avasalcai, Schahram Dustdar
Architectural Considerations for Privacy on the Edge. IEEE Internet Comput. 23 (4) (2019)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom (2019)
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
Property specification patterns for robotic missions. ICSE (Companion Volume) (2018)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering (2018)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE (2018)
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
Topology-Aware Access Control of Smart Spaces. Computer 50 (7) (2017)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE (2017)
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, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 42 (2) (2017)
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS (2016)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
Adding static and dynamic semantics to building information models. SEsCPS@ICSE (2016)
Christos Tsigkanos, Timo Kehrer
On Formalizing and Identifying Patterns in Cloud Workload Specifications. WICSA (2016)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Architecting dynamic cyber-physical spaces. Computing 98 (10) (2016)
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) (2015)
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh
Topology aware adaptive security. SEAMS (2014)
Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh
Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE (2014)