Carlo Ghezzi

ORCID

Publication Activity (10 Years)

Years Active: 1975-2023
Publications (10 Years): 45

Top Venues

CoRR

J. Syst. Softw.

Sci. Comput. Program.

Publications

Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi
Understanding Fairness Requirements for ML-based Software. RE (2023)
Hannes Werthner, Allison Stanger, Viola Schiaffonati, Peter Knees, Lynda Hardman, Carlo Ghezzi
Digital Humanism: The Time Is Now. Computer 56 (1) (2023)
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. 47 (10) (2021)
Alberto Pispero, Marco Marcon, Carlo Ghezzi, Domenico Massironi, Elena Maria Varoni, Stefano Tubaro, Giovanni Lodi
Posture Assessment in Dentistry for Different Visual Aids Using 2D Markers. Sensors 21 (22) (2021)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20 (6) (2021)
Carlo Ghezzi
Science needs to engage with society: some lessons from COVID-19. Commun. ACM 64 (8) (2021)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR (2020)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE (2020)
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20 (2) (2020)
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR (2020)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170 (2020)
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
Perpetual Assurances for Self-Adaptive Systems. CoRR (2019)
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Specification Patterns for Robotic Missions. CoRR (2019)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS (2019)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31 (5) (2019)
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE (2019)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom (2019)
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
Software Adaptation in Wireless Sensor Networks. ACM Trans. Auton. Adapt. Syst. 12 (4) (2018)
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
Property specification patterns for robotic missions. ICSE (Companion Volume) (2018)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei
Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21). NII Shonan Meet. Rep. 2018 (2018)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering (2018)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Supporting Verification-Driven Incremental Distributed Design of Components. FASE (2018)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE (2018)
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Chen Luo, Fei He, Carlo Ghezzi
Inferring software behavioral models with MapReduce. Sci. Comput. Program. 145 (2017)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From model checking to a temporal proof for partial models: preliminary example. CoRR (2017)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From Model Checking to a Temporal Proof for Partial Models. SEFM (2017)
Carlo Ghezzi
Of software and change. J. Softw. Evol. Process. 29 (9) (2017)
Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
Topology-Aware Access Control of Smart Spaces. Computer 50 (7) (2017)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE (2017)
Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43 (4) (2017)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops (2017)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Integrating Goal Model Analysis with Iterative Design. REFSQ (2017)
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42 (1) (2016)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Dealing with Incompleteness in Automata-Based Model Checking. FM (2016)
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Modeling, refining and analyzing Incomplete Büchi Automata. CoRR (2016)
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. EWSN (2016)
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS (2016)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient large-scale trace checking using mapreduce. ICSE (2016)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
Adding static and dynamic semantics to building information models. SEsCPS@ICSE (2016)
Carlo Ghezzi
Dependability of Adaptable and Evolvable Distributed Systems. SFM (2016)
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65 (1) (2016)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Architecting dynamic cyber-physical spaces. Computing 98 (10) (2016)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient Large-scale Trace Checking Using MapReduce. CoRR (2015)
Xiangyang Jia, Carlo Ghezzi, Shi Ying
Enhancing reuse of constraint solutions to improve symbolic execution. ISSTA (2015)
Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE (2015)
Chen Luo, Fei He, Carlo Ghezzi
Inferring Software Behavioral Models with MapReduce. SETTA (2015)
Xiangyang Jia, Carlo Ghezzi, Shi Ying
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. CoRR (2015)
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) (2015)
Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov
Automatically identifying focal methods under test in unit test cases. SCAM (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97 (2015)
Mauro Caporuscio, Carlo Ghezzi
Engineering Future Internet applications: The Prime approach. J. Syst. Softw. 106 (2015)
Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli
Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. 27 (3) (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE (2015)
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. 30 (1) (2015)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102 (2015)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR (2014)
Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi
Team-level programming of drone sensor networks. SenSys (2014)
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software (2014)
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh
Topology aware adaptive security. SEAMS (2014)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19 (3) (2014)
Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh
Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE (2014)
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
Towards the formalization of properties of cloud-based elastic systems. PESOS (2014)
Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli
Mining behavior models from user-intensive web applications. ICSE (2014)
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering (2014)
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli
SelfMotion: A declarative approach for adaptive service-oriented mobile applications. J. Syst. Softw. 92 (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM (2014)
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
Context-Oriented Programming for Adaptive Wireless Sensor Network Software. DCOSS (2014)
Mohammad Ghafari, Carlo Ghezzi, Andrea Mocci, Giordano Tamburrelli
Mining unit tests for code recommendation. ICPC (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR (2014)
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
SMT-Based Checking of SOLOIST over Sparse Traces. FASE (2014)
Salvatore Distefano, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola
Dependability Assessment of Web Service Orchestrations. IEEE Trans. Reliab. 63 (3) (2014)
Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina
A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. LASER Summer School (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA (2014)
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. COMPSAC Workshops (2014)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8 (2) (2013)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
A Syntactic-Semantic Approach to Incremental Verification CoRR (2013)
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
Towards context-oriented programming in wireless sensor networks. UbiComp (Adjunct Publication) (2013)
Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
Towards Agile Verification. Perspectives on the Future of Software Engineering (2013)
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
Verification for Reliable Product Lines. CoRR (2013)
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems (2013)
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli
Managing non-functional uncertainty via model-driven adaptivity. ICSE (2013)
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
Adaptive REST applications via model inference and probabilistic model checking. IM (2013)
Chiara Sandionigi, Danilo Ardagna, Gianpaolo Cugola, Carlo Ghezzi
Optimizing Service Selection and Allocation in Situational Computing Applications. IEEE Trans. Serv. Comput. 6 (3) (2013)
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS (2013)
Luciano Baresi, Carlo Ghezzi
A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. 28 (4) (2013)
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC (2013)
Radu Calinescu, Robert B. France, Carlo Ghezzi
Editorial. Computing 95 (3) (2013)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirements verification for model refinements. RE (2013)
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3 (12) (2013)
Carlo Ghezzi, Amir Molzam Sharifloo
Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55 (3) (2013)
Luca Mottola, Kamin Whitehouse, Carlo Ghezzi
Towards spatial macroprogramming for sensing and actuating robot swarms. SenSys (2013)
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Runtime monitoring of component changes with Spy@Runtime. ICSE (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Autotuning control structures for reliability-driven dynamic binding. CDC (2012)
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS (2012)
Carlo Ghezzi, Andrea Mocci
Behavioral validation of JFSL specifications through model synthesis. ICSE (2012)

Carlo Ghezzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlo Ghezzi