| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Menghi, Claudio ; Tsigkanos, Christos ; Pelliccione, Patrizio ; Ghezzi, Carlo ; Berger, Thorsten | Specification Patterns for Robotic Missions | Artikel Article | 2021 |
| 2 | | Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo | Model-driven engineering city spaces via bidirectional model transformations | Artikel Article | 2021 |
| 3 | | Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo | Early validation of cyber-physical space systems via multi-concerns integration | Artikel Article | 2020 |
| 4 | | Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo | Scalable multiple-view analysis of reactive systems via bidirectional model transformations | Konferenzbeitrag Inproceedings | 2020 |
| 5 | | Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo | Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems | Artikel Article | 2020 |
| 6 | | Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo | Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things | Preprint Preprint | 2020 |
| 7 | | Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo | Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration | Preprint Preprint | 2020 |
| 8 | | Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Dustdar, Schahram ; Hu, Zhenjiang ; Ghezzi, Carlo | POET: Privacy on the Edge with Bidirectional Data Transformations | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji ; Kehrer, Timo ; Weyns, Danny ; Calinescu, Radu ; Dustdar, Schahram ; Hu, Zhenjiang ; Honiden, Shinichi ; Ishikawa, Fuyuki ; Jin, Zhi ; Kramer, Jeffrey ; Litoiu, Marin ; Loreti, Michele ; Moreno, Gabriel A. ; Müller, Hausi A. ; Nenzi, Laura ; Nuseibeh, Bashar ; Pasquale, Liliana ; Reisig, Wolfgang ; Schmidt, Heinz ; Tsigkanos, Christos ; Zhao, Haiyan | Modelling and Analysing Resilient Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2019 |
| 10 | | Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele ; Garriga, Martin ; Dustdar, Schahram ; Ghezzi, Carlo | Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things | Konferenzbeitrag Inproceedings | 2019 |
| 11 | | Askarpour, Mehrnoosh ; Ghezzi, Carlo ; Mandrioli, Dino ; Rossi, Matteo ; Tsigkanos, Christos | Formal Methods in Designing Critical Cyber-Physical Systems | Buchbeitrag Book Contribution | 2019 |
| 12 | | Menghi, Claudio ; Tsigkanos, Christos ; Pelliccione, Patrizio ; Ghezzi, Carlo ; Berger, Thorsten | Specification Patterns for Robotic Missions | Preprint Preprint | 2019 |
| 13 | | Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo | Model-Driven Design of City Spaces via Bidirectional Transformations | Konferenzbeitrag Inproceedings | 2019 |
| 14 | | Bersani, Marcello M. ; Bianculli, Domenico ; Dustdar, Schahram ; Gambi, Alessio ; Ghezzi, Carlo ; Krstić, Srđan | Towards the formalization of properties of cloud-based elastic systems | Konferenzbeitrag Inproceedings | 2014 |