Name Card

Full name Familienname, Vorname
Ghezzi, Carlo
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Menghi, Claudio ; Tsigkanos, Christos ; Pelliccione, Patrizio ; Ghezzi, Carlo ; Berger, Thorsten Specification Patterns for Robotic MissionsArtikel Article 2021
2Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo Model-driven engineering city spaces via bidirectional model transformationsArtikel Article 2021
3Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early validation of cyber-physical space systems via multi-concerns integrationArtikel Article 2020
4Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Scalable multiple-view analysis of reactive systems via bidirectional model transformationsKonferenzbeitrag Inproceedings 2020
5Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things SystemsArtikel Article 2020
6Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-ThingsPreprint Preprint2020
7Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early Validation of Cyber-Physical Space Systems via Multi-Concerns IntegrationPreprint Preprint2020
8Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Dustdar, Schahram ; Hu, Zhenjiang ; Ghezzi, Carlo POET: Privacy on the Edge with Bidirectional Data TransformationsKonferenzbeitrag Inproceedings 2019
9Bennaceur, 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 SystemsKonferenzbeitrag Inproceedings 2019
10Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele ; Garriga, Martin ; Dustdar, Schahram ; Ghezzi, Carlo Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of ThingsKonferenzbeitrag Inproceedings 2019
11Askarpour, Mehrnoosh ; Ghezzi, Carlo ; Mandrioli, Dino ; Rossi, Matteo ; Tsigkanos, Christos Formal Methods in Designing Critical Cyber-Physical SystemsBuchbeitrag Book Contribution 2019
12Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo Model-Driven Design of City Spaces via Bidirectional TransformationsKonferenzbeitrag Inproceedings 2019
13Menghi, Claudio ; Tsigkanos, Christos ; Pelliccione, Patrizio ; Ghezzi, Carlo ; Berger, Thorsten Specification Patterns for Robotic MissionsPreprint Preprint2019
14Bersani, Marcello M. ; Bianculli, Domenico ; Dustdar, Schahram ; Gambi, Alessio ; Ghezzi, Carlo ; Krstić, Srđan Towards the formalization of properties of cloud-based elastic systemsKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Werthner, Hannes ; Prem, Erich ; Lee, Edward A. ; Ghezzi, Carlo Perspectives on Digital HumanismBuch Book 2022
2Knees, Peter Scaling Up Broken Systems? Considerations from the Area of Music StreamingBuchbeitrag Book Contribution 2022
3Neidhardt, Julia ; Werthner, Hannes ; Woltran, Stefan It Is Simple, It Is Complicated. Perspectives on Digital Humanism.Buchbeitrag Book Contribution 2022
4Froihofer Lorenz - 2007 - Middleware support for adaptive dependability through...pdf.jpgFroihofer, Lorenz Middleware support for adaptive dependability through explicit runtime integrity constraintsThesis Hochschulschrift 2007