Software Engineering & Formal Methods
-
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
C. Menghi, C. Tsigkanos, M. Askarpour, P. Pelliccione, G. Vazquez, R. Calinescu, S. Garcia
in IEEE Transactions on Software Engineering, 2023 (pdf)
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, 2021 (pdf)
in IEEE Services (invited) 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)
On the Interplay Between Cyber and Physical Spaces for Adaptive Security
C. Tsigkanos, L. Pasquale, C. Ghezzi, B. Nuseibeh
in IEEE Transactions on Dependable and Secure Computing, 2018 (pdf)
Engineering Resilient Collaborative Edge-Enabled IoT
R. Casadei, C. Tsigkanos, M. Viroli, S. Dustdar
in IEEE International Conference on Services Computing, 2019 (pdf)
Model-Driven Engineering City Spaces via Bidirectional Model Transformations
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi
in Software and Systems Modelling, 2021 (pdf)
in IEEE/ACM MODELS, 2019 (pdf)
Cloud & Edge Software Systems
-
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems
Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos and Schahram Dustdar
in ACM SIGOPS International Conference on Distributed Computing and Networking (ICDCN), 2024
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems
Christos Tsigkanos, Martin Garriga, Luciano Baresi, and Carlo Ghezzi
in IEEE Transactions on Internet Technology, 2020
Copyright noticeDataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case
Martin Garriga, Koen Aarns, Christos Tsigkanos, Damian A. Tamburri and Willem-Jan Van Den Heuvel
in IEEE Transactions on Internet Technology, 2021 (pdf)
Dependable Resource Coordination on the Edge at Runtime
Christos Tsigkanos, Ilir Murturi, Schahram Dustdar
in Proceedings of the IEEE, 2019 (pdf)
Cyber-Physical Systems
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu and Carlo Ghezzi
in Journal of Systems and Software, 2020 (pdf)
Modeling and Verification of Evolving Cyber-Physical Spaces
Christos Tsigkanos, Timo Kehrer and Carlo Ghezzi
in ACM SIGSOFT FSE, 2017 (pdf)
Architecting dynamic cyber-physical spaces
Christos Tsigkanos, Timo Kehrer and Carlo Ghezzi
in Computing, 2016 (pdf)