Role

  • Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things / C. Tsigkanos, M. Garriga, L. Baresi, C. Ghezzi / Report for CoRR - Computing Research Repository; Report No. arXiv:2004.11428, 2020; 20 pages
  • Dynamic Cyber-Physical Spaces / C. Tsigkanos / Talk: Workshop on Spatio-Temporal Reasoning for Control of Cyber-physical Systems co-located with CDC 2019, Nice, France (invited); 2019-12-10
  • Towards Dependable Internet-of-Things: Situating Control, Data and Verification close to end-devices / C. Tsigkanos / Talk: National Institute of Informatics (NII), Invitation by Prof. Zhenjiang Hu, Tokyo, Japan (invited); 2019-03-18
  • Formal Methods in Designing Critical Cyber-Physical Systems / M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, C. Tsigkanos / in: "From Software Engineering to Formal Methods and Tools, and Back", LNCS 11865; M. ter Beek, A. Fantechi, L. Semini (ed.); Springer, Cham, 2019, (invited), ISBN: 978-3-030-30984-8, 110 - 130
  • Architectural Considerations for Privacy on the Edge / C. Tsigkanos, C. Avasalcai, S. Dustdar / IEEE Internet Computing, Volume 23 (2019), Issue 4; 76 - 83
  • Dependable Resource Coordination on the Edge at Runtime (Invited paper) / C. Tsigkanos, I. Murturi, S. Dustdar / Proceedings of the IEEE (invited), Volume 107 (2019), Issue 8; 1520 - 1536
  • Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge / A. Arleo, C. Tsigkanos, J. Jia, R. Leite, I. Murturi, M. Klaffenböck, S. Dustdar, S. Miksch, M. Wimmer, J. Sorger / Talk: 2019 IEEE Visualization Conference (VIS), Vancouver, British Columbia, Canada; 2019-10-20 - 2019-10-25; in: "2019 IEEE Visualization Conference (VIS)", IEEE, (2019), ISBN: 978-1-7281-4941-7; 51 - 55
  • Engineering Heterogeneous Internet of Things Applications: From Models to Code / T. Pusztai, C. Tsigkanos, S. Dustdar / Talk: Vision Session 4 at the 5th IEEE International Conference on Collaboration and Internet Computing (CIC 2019), Los Angeles, California, USA (invited); 2019-12-12 - 2019-12-14; in: "Proceedings of the IEEE 5th International Conference on Collaboration and Internet Computing (CIC 2019)", IEEE, (2019), ISBN: 978-1-7281-6740-4; 222 - 231
  • Model-Driven Design of City Spaces via Bidirectional Transformations / E. Visconti, C. Tsigkanos, Z. Hu, C. Ghezzi / Talk: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany; 2019-09-15 - 2019-09-20; in: "Proceedings of the 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019)", M. Kessentini, T. Yue, A. Pretschner, S. Voss, L. Burgueño (ed.); IEEE, (2019), ISBN: 978-1-7281-2537-4; 45 - 55
  • POET: Privacy on the Edge with Bidirectional Data Transformations / N. Li, C. Tsigkanos, Z. Jin, S. Dustdar, Z. Hu, C. Ghezzi / Talk: IEEE International Conference on Pervasive Computing and Communications, PerCom 2019, Kyoto, Japan; 2019-03-11 - 2019-03-15; in: "IEEE International Conference on Pervasive Computing and Communications, PerCom 2019", IEEE, (2019), ISBN: 978-1-5386-9149-6; 282 - 291
  • Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap / C. Tsigkanos, S. Nastic, S. Dustdar / Talk: 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), Dallas, Texas, USA; 2019-07-07 - 2019-07-09; in: "Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019)", IEEE, (2019), ISBN: 978-1-7281-2520-6; 1754 - 1764
  • How do firms transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability / C. Tsigkanos, A. Arleo, J. Sorger, S. Dustdar / Talk: IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI 2019), Los Angeles, California, USA; 2019-07-30 - 2019-08-01; in: "Proceedings of the IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI 2019)", IEEE, (2019), ISBN: 978-1-7281-1338-8; 15 - 22
  • Engineering Resilient Collaborative Edge-enabled IoT / R. Casadei, M. Viroli, C. Tsigkanos, S. Dustdar / Talk: IEEE International Conference on Services Computing (IEEE SCC 2019) part of the 2019 IEEE World Congress on Services, Milan, Italy; 2019-07-08 - 2019-07-13; in: "Proceedings of the IEEE International Conference on Services Computing (IEEE SCC 2019) part of the 2019 IEEE World Congress on Services", E. Bertino, C. Chang, P. Chen, E. Damiani, M. Goul, K. Oyama (ed.); IEEE, (2019), ISBN: 978-1-7281-2721-7; 36 - 45
  • Decentralized Resource Auctioning for Latency-Sensitive Edge Computing / C. Avasalcai, C. Tsigkanos, S. Dustdar / Talk: IEEE 3rd International Conference on Edge Computing (IEEE EDGE 2019) part of the 2019 IEEE World Congress on Services, Milan, Italy; 2019-07-08 - 2019-07-13; in: "Proceedings of the IEEE 3rd International Conference on Edge Computing (IEEE EDGE 2019) part of the 2019 IEEE World Congress on Services", E. Bertino, C. Chang, P. Chen, E. Damiani, M. Goul, K. Oyama (ed.); IEEE, (2019), ISBN: 978-1-7281-2709-5; 72 - 76
  • PsALM: Specification of Dependable Robotic Missions / C. Menghi, C. Tsigkanos, T. Berger, P. Pelliccione / Talk: ICSE 2019 Demonstrations, Montreal, QC, Canada; 2019-05-25 - 2019-05-31; in: "2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2019", IEEE, (2019), ISBN: 978-1-7281-1764-5; 99 - 102
  • Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things / C. Tsigkanos, L. Nenzi, M. Loreti, M. Garriga, S. Dustdar, C. Ghezzi / Talk: IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019 co-located with ICSE 2019, Montreal, QC, Canada; 2019-05-25 - 2019-05-31; in: "Proceedings of the IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019", IEEE, (2019), ISBN: 978-1-7281-3368-3; 100 - 106
  • Modelling and Analysing Resilient Cyber-Physical Systems / A. Bennaceur, C. Ghezzi, K. Tei, T. Kehrer, D. Weyns, R. Calinescu, S. Dustdar, Z. Hu, S. Honiden, F. Ishikawa, Z. Jin, J. Kramer, M. Litoiu, M. Loreti, G. Moreno, H. Müller, L. Nenzi, B. Nuseibeh, L. Pasquale, W. Reisig, H. Schmidt, C. Tsigkanos, H. Zhao / Talk: IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019 co-located with ICSE 2019, Montreal, QC, Canada; 2019-05-25 - 2019-05-31; in: "Proceedings of the IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019", IEEE, (2019), ISBN: 978-1-7281-3368-3; 70 - 76
  • Edge-to-Edge Resource Discovery using Metadata Replication (Short paper) / I. Murturi, C. Avasalcai, C. Tsigkanos, S. Dustdar / Talk: IEEE 3rd International Conference on Fog and Edge Computing (ICFEC 2019), Larnaca, Cyprus; 2019-05-14 - 2019-05-17; in: "IEEE 3rd International Conference on Fog and Edge Computing (ICFEC 2019) Proceedings", IEEE, CFP19K56-ART (2019), ISBN: 978-1-7281-2365-3; 1 - 6
  • Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge / A. Arleo, C. Tsigkanos, J. Jia, R. Leite, I. Murturi, M. Klaffenböck, S. Dustdar, S. Miksch, M. Wimmer, J. Sorger / Report for CoRR - Computing Research Repository; Report No. arXiv:1908.07479, 2019; 5 pages
  • Specification Patterns for Robotic Missions / C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, T. Berger / Report for CoRR - Computing Research Repository; Report No. arXiv:1901.02077, 2019; 13 pages
  • Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet-of-Things Systems / C. Tsigkanos / Talk: 2018 NII Shonan Meeting Seminar 118: Modelling and Analysing Resilient Cyber-Physical Systems, Shonan Village Center (SVC), Japan (invited); 2018-12-17 - 2018-12-20