Full name Familienname, Vorname
Ghezzi, Carlo
 

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bersani, Marcello M. ; Bianculli, Domenico ; Dustdar, Schahram ; Gambi, Alessio ; Ghezzi, Carlo ; Krstić, Srđan ; Ali Babar, Muhammad ; Paik, Helen ; Chetlur, Malolan ; Bauer, Michael Towards the formalization of properties of cloud-based elastic systemsKonferenzbeitrag Inproceedings 2014
2Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Scalable multiple-view analysis of reactive systems via bidirectional model transformationsKonferenzbeitrag Inproceedings 2020
3Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Dustdar, Schahram ; Hu, Zhenjiang ; Ghezzi, Carlo POET: Privacy on the Edge with Bidirectional Data TransformationsKonferenzbeitrag Inproceedings 2019
4Bennaceur, 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
5Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo ; Kessentini, Marouane ; Yue, Tao ; Pretschner, Alexander ; Voss, Sebastian ; Burgueño, Loli Model-Driven Design of City Spaces via Bidirectional TransformationsKonferenzbeitrag Inproceedings 2019
6Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele ; Garriga, Martin ; Dustdar, Schahram ; Ghezzi, Carlo Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of ThingsKonferenzbeitrag Inproceedings 2019
7Askarpour, Mehrnoosh ; Ghezzi, Carlo ; Mandrioli, Dino ; Rossi, Matteo ; Tsigkanos, Christos ; ter Beek, Maurice H. ; Fantechi, Alessandro ; Semini, Laura Formal Methods in Designing Critical Cyber-Physical SystemsBuchbeitrag Book Contribution 2019

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