Christos Tsigkanos

68 papers A* 4A 5B 6C 3Misc 2Journal 24Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated Monitoring of Web User Interfaces. ACM Trans. Web Ennio Visconti, Christos Tsigkanos, Laura Nenzi
2025	B	`conf`	Nanosatellite Flight Software: A Rigorous Software Architecture Perspective. ECSA Christoforos Vasilakis, Alexandros Tsagkaropoulos, Angelos Motsios, Christos Tsigkanos, Dionysios I. Reisis
2025	—	`conf`	Reducing Onboard Power Consumption in CubeSats via Adaptive Telemetry and Monitoring. ACSOS-C Christoforos Vasilakis, Alexandros Tsagkaropoulos, Angelos Motsios, Panagiotis Karathanasis, Christos Tsigkanos, Dionysios I. Reisis
2025	—	`conf`	Temporal Logics Meet Real-World Software Requirements: A Reality Check. FormaliSE Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer
2025	—	`conf`	Towards Verification of Autonomous Machine Learning Systems On-Board Spacecraft. ACSOS-C Evgenios Tsigkanos, Giannis Panagiotopoulos, Alexander Klaser, Adrian Leu, Mathieu Bernou, Christos Tsigkanos
2025	—	`conf`	sfCUBEX: A CubeSat Exemplar for Teaching Software Architecture Principles. ECSA (Tracks and Workshops) Angelos Motsios, Timo Kehrer, Christos Tsigkanos
2024	B	`conf`	A Systematic Literature Review on a Decade of Industrial TLA IFM Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer
2024	J	`jnl`	A Systematic Literature Review on a Decade of Industrial TLA+ Practice. CoRR Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer
2024	B	`conf`	Automated Generation of Code Contracts: Generative AI to the Rescue? GPCE Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer
2024	B	`conf`	Instrumenting Runtime Goal Monitoring for F' Flight Software. COMPSAC Jialong Li, Christos Tsigkanos, Nianyu Li, Kenji Tei
2024	Misc	`conf`	SMT-as-a-Service for Fog-Supported Cyber-Physical Systems. ICDCN Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar
2023	J	`jnl`	A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Trans. Serv. Comput. Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
2023	A	`conf`	Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? SANER Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
2023	J	`jnl`	Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
2023	—	`conf`	On Irregularity Localization for Scientific Data Analysis Workflows. ICCS (1) Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quiané-Ruiz, Volker Markl, Timo Kehrer
2023	—	`conf`	Slicing and Visualizing F' Topologies with F'Prism. ECSA (Tracks, Workshops and Doctoral Symposium) Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei
2023	—	`conf`	Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. ICCS (1) Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
2023	J	`jnl`	Visual Exploration of Financial Data with Incremental Domain Knowledge. Comput. Graph. Forum Alessio Arleo, Christos Tsigkanos, Roger A. Leite, Schahram Dustdar, Silvia Miksch, Johannes Sorger
2022	J	`jnl`	Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability. ACM Trans. Internet Techn. Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
2022	J	`jnl`	Edge-Based Runtime Verification for the Internet of Things. IEEE Trans. Serv. Comput. Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
2022	A*	`conf`	Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. ASE Anh Duc Vu, Timo Kehrer, Christos Tsigkanos
2022	J	`jnl`	Resource Management for Latency-Sensitive IoT Applications With Satisfiability. IEEE Trans. Serv. Comput. Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
2022	A*	`conf`	WebMonitor: Verification of Web User Interfaces. ASE Ennio Visconti, Christos Tsigkanos, Laura Nenzi
2021	J	`jnl`	Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN. IEEE Internet Comput. Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar
2021	J	`jnl`	DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case. ACM Trans. Internet Techn. Martin Garriga, Koen Aarns, Christos Tsigkanos, Damian A. Tamburri, Willem-Jan van den Heuvel
2021	B	`conf`	Edge-Based Runtime Verification for the Internet of Things. SERVICES Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
2021	J	`jnl`	Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2021	C	`conf`	On Provisioning Procedural Geometry Workloads on Edge Architectures. WEBIST Ilir Murturi, Chao Jia, Bernhard Kerbl, Michael Wimmer, Schahram Dustdar, Christos Tsigkanos
2021	—	`conf`	RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 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
2021	J	`jnl`	Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
2021	B	`conf`	Updating Service-Based Software Systems in Air-Gapped Environments. ECSA Oleksandr Shabelnyk, Pantelis A. Frangoudis, Schahram Dustdar, Christos Tsigkanos
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	J	`jnl`	Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	J	`jnl`	Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	A*	`conf`	Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2019	J	`jnl`	Architectural Considerations for Privacy on the Edge. IEEE Internet Comput. Christos Tsigkanos, Cosmin Avasalcai, Schahram Dustdar
2019	—	`conf`	Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. EDGE Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
2019	J	`jnl`	Dependable Resource Coordination on the Edge at Runtime. Proc. IEEE Christos Tsigkanos, Ilir Murturi, Schahram Dustdar
2019	C	`conf`	Edge-to-Edge Resource Discovery using Metadata Replication. ICFEC Ilir Murturi, Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar
2019	—	`conf`	Engineering Heterogeneous Internet of Things Applications: From Models to Code. CIC Thomas W. Pusztai, Christos Tsigkanos, Schahram Dustdar
2019	—	`conf`	Engineering Resilient Collaborative Edge-Enabled IoT. SCC Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
2019	—	`conf`	Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
2019	Misc	`conf`	How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability. IRI Christos Tsigkanos, Alessio Arleo, Johannes Sorger, Schahram Dustdar
2019	—	`conf`	Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
2019	A	`conf`	Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 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
2019	A*	`conf`	POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
2019	—	`conf`	PsALM: specification of dependable robotic missions. ICSE (Companion Volume) Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
2019	J	`jnl`	Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge. CoRR Alessio Arleo, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenboeck, Schahram Dustdar, Michael Wimmer, Silvia Miksch, Johannes Sorger
2019	—	`conf`	Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge. IEEE VIS (Short Papers) Alessio Arleo, Johannes Sorger, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenböck, Schahram Dustdar, Michael Wimmer, Silvia Miksch
2019	J	`jnl`	Specification Patterns for Robotic Missions. CoRR Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
2019	A	`conf`	Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap. ICDCS Christos Tsigkanos, Stefan Nastic, Schahram Dustdar
2018	C	`conf`	Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2018	—	`conf`	On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2018	J	`jnl`	On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
2018	—	`conf`	Property specification patterns for robotic missions. ICSE (Companion Volume) Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
2017	—	`conf`	Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2017	—	`—`	Modelling and verification of evolving cyber-physical spaces. Christos Tsigkanos
2017	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 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
2017	J	`jnl`	Topology-Aware Access Control of Smart Spaces. Computer Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
2016	—	`conf`	Adding static and dynamic semantics to building information models. SEsCPS@ICSE Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
2016	—	`conf`	An EMOF-Compliant Abstract Syntax for Bigraphs. GaM Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
2016	J	`jnl`	Architecting dynamic cyber-physical spaces. Computing Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2016	—	`conf`	On Formalizing and Identifying Patterns in Cloud Workload Specifications. WICSA Christos Tsigkanos, Timo Kehrer
2015	—	`conf`	Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
2014	A	`conf`	Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh
2014	A	`conf`	Topology aware adaptive security. SEAMS Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh