| 2023 | RE | Understanding Fairness Requirements for ML-based Software. | Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | 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. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | Inferring analyzable models from trajectories of spatially-distributed internet of things. | Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi |
| 2019 | MODELS | Model-Driven Design of City Spaces via Bidirectional Transformations. | Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi |
| 2019 | PERCOM | POET: Privacy on the Edge with Bidirectional Data Transformations. | Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi |
| 2018 | FASE | Supporting Verification-Driven Incremental Distributed Design of Components. | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | ICSE | Property specification patterns for robotic missions. | Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi |
| 2018 | ICSE | On early statistical requirements validation of cyber-physical space systems. | Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
| 2017 | REFSQ | Integrating Goal Model Analysis with Iterative Design. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | REFSQ | COVER: Change-based Goal Verifier and Reasoner. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | SEFM | From Model Checking to a Temporal Proof for Partial Models. | Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2016 | EWSN | Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. | Mikhail Afanasov, Luca Mottola, Carlo Ghezzi |
| 2016 | FM | Dealing with Incompleteness in Automata-Based Model Checking. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2016 | ICSE | Efficient large-scale trace checking using mapreduce. | Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2016 | ICSE | Adding static and dynamic semantics to building information models. | Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh |
| 2015 | ICSE | Syntax-Driven Program Verification of Matching Logic Properties. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
| 2015 | ICSE | Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. | Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi |
| 2015 | ICSE | Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. | Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh |
| 2015 | ISSTA | Enhancing reuse of constraint solutions to improve symbolic execution. | Xiangyang Jia, Carlo Ghezzi, Shi Ying |
| 2015 | SCAM | Automatically identifying focal methods under test in unit test cases. | Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov |
| 2015 | SETTA | Inferring Software Behavioral Models with MapReduce. | Chen Luo, Fei He, Carlo Ghezzi |
| 2014 | COMPSAC | Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. | Mikhail Afanasov, Luca Mottola, Carlo Ghezzi |
| 2014 | DCOSS | Context-Oriented Programming for Adaptive Wireless Sensor Network Software. | Mikhail Afanasov, Luca Mottola, Carlo Ghezzi |
| 2014 | FASE | SMT-Based Checking of SOLOIST over Sparse Traces. | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | ICSE | Towards the formalization of properties of cloud-based elastic systems. | Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic |
| 2014 | ICSE | Mining behavior models from user-intensive web applications. | Carlo Ghezzi, Mauro Pezz, Michele Sama, Giordano Tamburrelli |
| 2014 | ICSE | Topology aware adaptive security. | Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh |
| 2014 | ISoLA | Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
| 2014 | RE | Engineering topology aware adaptive security: Preventing requirements violations at runtime. | Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh |
| 2014 | SENSYS | Team-level programming of drone sensor networks. | Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi |
| 2014 | SEFM | Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. | Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |
| 2013 | IM | Adaptive REST applications via model inference and probabilistic model checking. | Carlo Ghezzi, Mauro Pezz, Giordano Tamburrelli |
| 2013 | ICSE | Managing non-functional uncertainty via model-driven adaptivity. | Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli |
| 2013 | ICSE | Formalizing correctness criteria of dynamic updates derived from specification changes. | Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner |
| 2013 | ICSOC | Improving Interaction with Services via Probabilistic Piggybacking. | Carlo Ghezzi, Mauro Pezz, Giordano Tamburrelli |
| 2013 | RE | On requirements verification for model refinements. | Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini |
| 2013 | SENSYS | Towards spatial macroprogramming for sensing and actuating robot swarms. | Luca Mottola, Kamin Whitehouse, Carlo Ghezzi |
| 2012 | ICSE | Specification patterns from research to industry: A case study in service-based applications. | Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti |
| 2012 | ICSE | Further steps towards efficient runtime verification: handling probabilistic cost models. | Antonio Filieri, Carlo Ghezzi |
| 2012 | ICSE | Reliability-driven dynamic binding via feedback control. | Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio |
| 2012 | ICSE | Synthesizing dynamically updating controllers from changes in scenario-based specifications. | Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna |
| 2012 | ICSE | Behavioral validation of JFSL specifications through model synthesis. | Carlo Ghezzi, Andrea Mocci |
| 2012 | ICSE | Runtime monitoring of component changes with Spy@Runtime. | Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio |
| 2012 | ICSE | Writing dynamic service orchestrations with DSOL. | Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi |
| 2012 | ICSOC | Adaptive Service-Oriented Mobile Applications: A Declarative Approach. | Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli |
| 2012 | SAC | Dealing with changes in service orchestrations. | Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi |
| 2011 | CEC | Dynamic synthesis of program invariants using genetic programming. | Luigi Cardamone, Andrea Mocci, Carlo Ghezzi |
| 2011 | ECOOP | JavaCtx: seamless toolchain integration for context-oriented programming. | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
| 2011 | ICGSE | How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. | Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto |
| 2011 | ICSE | Run-time efficient probabilistic model checking. | Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli |
| 2011 | ICSE | An evaluation of the adaptation capabilities in programming languages. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2011 | ICSE | Teaching software engineering using globally distributed projects: the DOSE course. | Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni |
| 2011 | MODELS | Towards Quality Driven Exploration of Model Transformation Spaces. | Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola |
| 2011 | MODELS | Runtime Monitoring of Functional Component Changes with Behavior Models. | Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio |
| 2011 | SPLC | Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. | Carlo Ghezzi, Amir Molzam Sharifloo |
| 2010 | ECOOP | Context oriented programming in highly concurrent systems. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | ESEM | An empirical investigation into a large-scale Java open source code repository. | Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi |
| 2010 | FASE | Automatic Cross Validation of Multiple Specifications: A Case Study. | Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi |
| 2010 | ICSE | First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). | Carlo Ghezzi, Lars Grunske, Raffaela Mirandola |
| 2010 | ICSE | Programming language support to context-aware adaptation: a case-study with Erlang. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | ICSE | Anquiro: enabling efficient static verification of sensor network software. | Luca Mottola, Thiemo Voigt, Fredrik sterlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi |
| 2010 | MODELS | QVTR | Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola |
| 2010 | SEFM | Adaptive Software Needs Continuous Verification. | Carlo Ghezzi |
| 2009 | ICSE | ReMan: A pro-active reputation management infrastructure for composite Web services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2009 | ICSE | Embedding continuous lifelong verification in service life cycles. | Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso |
| 2009 | ICSE | Model evolution by run-time parameter adaptation. | Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli |
| 2009 | ICSE | Synthesizing intensional behavior models by graph transformation. | Carlo Ghezzi, Andrea Mocci, Mattia Monga |
| 2009 | RE | Reasoning on Non-Functional Requirements for Integrated Services. | Carlo Ghezzi, Giordano Tamburrelli |
| 2008 | ICSE | Towards a methodology for lifelong validation of service compositions. | Domenico Bianculli, Carlo Ghezzi |
| 2008 | ICWS | Transparent Reputation Management for Composite Web Services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2008 | SEKE | Choosing a Software Architecture: An Approach and a Case Study. | Carlo Ghezzi, Giordano Tamburrelli |
| 2007 | FORTE | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | ICSE | On Accurate Automatic Verification of Publish-Subscribe Architectures. | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2007 | ICSOC | Automated Dynamic Maintenance of Composite Services Based on Service Reputation. | Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings |
| 2007 | ICWS | A Timed Extension of WSCoL. | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
| 2006 | APSEC | Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. | Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici |
| 2006 | FASE | Software Engineering: Emerging Goals and Lasting Problems. | Carlo Ghezzi |
| 2006 | FORTE | Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2006 | SEW | Towards Open-World Software: Issue and Challenges. | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
| 2005 | ICSE | The challenges of software engineering education. | Carlo Ghezzi, Dino Mandrioli |
| 2005 | ICSE | The Challenges of Software Engineering Education. | Carlo Ghezzi, Dino Mandrioli |
| 2004 | FASE | Enhancing Remote Method Invocation through Type-Based Static Analysis. | Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco |
| 2004 | ICSOC | Smart monitors for composed services. | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
| 2003 | SAC | Using Agents for Multi-target Search on the Web. | Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini |
| 2002 | Networking | Freeing Cooperation from Servers Tyranny. | Davide Balzarotti, Carlo Ghezzi, Mattia Monga |
| 2002 | SEKE | Supporting configuration management for virtual workgroups ini a peer-to-peer setting. | Davide Balzarotti, Carlo Ghezzi, Mattia Monga |
| 1999 | ICECCS | Complexity in Human Centered Systems: The Case of Software Processes. | Carlo Ghezzi |
| 1999 | WETICE | Design and Implementation of PROSYT: A Distributed Process Support System. | Gianpaolo Cugola, Carlo Ghezzi |
| 1995 | ICSE | How to Deal With Deviations During Process Model Enactment. | Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione |
| 1993 | ISSTA | Analyzing Refinements of State Based Specifications: The Case of TB Nets. | Miguel Felder, Carlo Ghezzi, Mauro Pezz |
| 1992 | SEKE | Software Processes Representation Languages: Survey and Assessment. | Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti |
| 1991 | ISSTA | Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. | Carlo Ghezzi, Richard A. Kennerer |