| 2026 | AAAI | Stability-Aware Reinforcement Learning for Robust Class Integration Test Order Generation. | Yanru Ding, Yanmei Zhang, Guan Yuan, Shujuan Jiang, Wei Dai, Luciano Baresi |
| 2026 | ICST | DANTE: Data-Driven Test Case Selection and Prioritization for Long-Running Test Suites. | Simone Reale, Elisabetta Di Nitto, Luciano Baresi, Massimiliano Di Penta, Giovanni Quattrocchi |
| 2026 | SEAMS | Adaptive Toggling of Architectural Patterns for Federated Learning. | Luciano Baresi, Ivan Compagnucci, Livia Lestingi, Catia Trubiani |
| 2025 | ECAI | Federated Learning for Cross-Dataset Generalization in Litter Detection. | Luciano Baresi, Simone Bianco, Livia Lestingi, Iyad Wehbe |
| 2025 | ECSA | Architecting Federated Learning Systems: A Requirement-Driven Approach. | Luciano Baresi, Livia Lestingi, Iyad Wehbe |
| 2025 | ICSE | Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. | Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella |
| 2025 | SANER | Optimizing Class Integration Testing with Criticality-Driven Test Order Generation. | Yanru Ding, Yanmei Zhang, Guan Yuan, Shujuan Jiang, Wei Dai, Luciano Baresi |
| 2025 | SEAMS | Dynamic Resource Allocation for Deadline-Constrained Neural Network Training. | Luciano Baresi, Marco Garlini, Giovanni Quattrocchi |
| 2024 | ICSOC | Efficient and Dependency-Aware Placement of Serverless Functions on Edge Infrastructures. | Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo |
| 2024 | UCC | On Assessing Heterogeneity Management Solutions in Federated Learning Systems. | Luciano Baresi, Tommaso Dolci, Iyad Wehbe |
| 2023 | ECSA | Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework. | Luciano Baresi, Damian A. Tamburri |
| 2023 | ICSA | 2 | Luciano Baresi, Giovanni Quattrocchi, Damian A. Tamburri |
| 2023 | ICSOC | Dependency-Aware Resource Allocation for Serverless Functions at the Edge. | Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo |
| 2023 | ICSOC | Advanced Serverless Edge Computing. | Inacio Gaspar Ticongolo, Luciano Baresi, Giovanni Quattrocchi |
| 2023 | RE | Understanding Fairness Requirements for ML-based Software. | Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi |
| 2022 | ICSOC | Training and Serving Machine Learning Models at Scale. | Luciano Baresi, Giovanni Quattrocchi |
| 2022 | MODELS | A declarative modelling framework for the deployment and management of blockchain applications. | Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano |
| 2022 | SEAMS | NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. | Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano |
| 2021 | ICSOC | KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes. | Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano |
| 2021 | ICSOC | Resource Management for TensorFlow Inference. | Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi |
| 2021 | ISSRE | IDEA: Runtime Collection of Android Data. | Luciano Baresi, Kostandin Caushi |
| 2021 | SEAMS | Federated Machine Learning as a Self-Adaptive Problem. | Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi |
| 2020 | ICSA | COCOS: A Scalable Architecture for Containerized Heterogeneous Systems. | Luciano Baresi, Giovanni Quattrocchi |
| 2020 | ICSOC | Automated Quality Assessment of Incident Tickets for Smart Service Continuity. | Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Willem-Jan van den Heuvel |
| 2020 | ICSOC | Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services. | Andreas Metzger, Clment Quinton, Zoltn dm Mann, Luciano Baresi, Klaus Pohl |
| 2020 | ICWS | A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications. | Luciano Baresi, Giovanni Quattrocchi |
| 2019 | ICSOC | PAPS: A Framework for Decentralized Self-management at the Edge. | Luciano Baresi, Danilo Filgueira Mendona, Giovanni Quattrocchi |
| 2019 | ISSRE | Big-Data Applications as Self-Adaptive Systems of Systems. | Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi |
| 2018 | EuroPar | Towards Vertically Scalable Spark Applications. | Luciano Baresi, Giovanni Quattrocchi |
| 2018 | ICSE | LIQDROID: towards seamlessly distributed Android applications. | Luciano Baresi, Anita Imani, Cristina Fr, Massimo Valla |
| 2017 | BPM | mArtifact: an Artifact-driven Process Monitoring Platform. | Luciano Baresi, Claudio Di Ciccio, Jan Mendling, Giovanni Meroni, Pierluigi Plebani |
| 2017 | ICSOC | Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps. | Andreas Christoforou, Martin Garriga, Andreas S. Andreou, Luciano Baresi |
| 2017 | SPLC | 10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability. | Jesper Andersson, Rafael Capilla, Luciano Baresi, Holger Eichelberger |
| 2016 | CaiSE | Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. | Luciano Baresi, Giovanni Meroni, Pierluigi Plebani |
| 2016 | CaiSE | On Handling Business Process Anomalies through Artifact-based Modeling. | Luciano Baresi, Giovanni Meroni, Pierluigi Plebani |
| 2016 | ICSE | Learning and evolution in dynamic software product lines. | Amir Molzam Sharifloo, Andreas Metzger, Clment Quinton, Luciano Baresi, Klaus Pohl |
| 2016 | PERCOM | A3Droid: A framework for developing distributed crowdsensing. | Luciano Baresi, Sam Guinea, Danilo Filgueira Mendona |
| 2016 | WCNC | WiDiSi: A Wi-Fi direct simulator. | Luciano Baresi, Naser Derakhshan, Sam Guinea |
| 2016 | SAC | How bit-vector logic can help improve the verification of LTL specifications over infinite domains. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2015 | BPM | A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects. | Luciano Baresi, Giovanni Meroni, Pierluigi Plebani |
| 2015 | ECSA | An Architecture-Centric Approach for Dynamic Smart Spaces. | Luciano Baresi, Adnan Shahzada |
| 2015 | ICSE | SPF: A Middleware for Social Interaction in Mobile Proximity Environments. | Luciano Baresi, Laurent-Walter Goix, Sam Guinea, Valerio Panzica La Manna, Jacopo Aliprandi, Dario Archetti |
| 2015 | ICSE | Efficient Scalable Verification of LTL Specifications. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2015 | ICSE | 1st International Workshop on Big Data Software Engineering (BIGDSE 2015). | Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann |
| 2015 | ICSE | Dynamically Evolving the Structural Variability of Dynamic Software Product Lines. | Luciano Baresi, Clment Quinton |
| 2015 | SEFM | Distributed Coordinated Adaptation of Cloud-Based Applications. | Luciano Baresi, Sam Guinea, Giovanni Quattrocchi |
| 2015 | SPLC | Evolution in dynamic software product lines: challenges and perspectives. | Clment Quinton, Rick Rabiser, Michael Vierhauser, Paul Grnbacher, Luciano Baresi |
| 2014 | ICSE | Flexible modular formalization of UML sequence diagrams. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2014 | SPLC | Self-adaptive systems, services, and product lines. | Luciano Baresi |
| 2013 | CaiSE | Corrective Evolution of Adaptable Process Models. | Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu |
| 2013 | ICWS | Event-Based Multi-level Service Monitoring. | Luciano Baresi, Sam Guinea |
| 2013 | RE | IRET: Requirements for service platforms. | Luciano Baresi, Gianluca Ripa, Liliana Pasquale |
| 2013 | RTCSA | Specifying automated oracles for Simulink models. | Paulo Augusto Nardi, Mrcio Eduardo Delamaro, Luciano Baresi |
| 2012 | INDIN | Flexible logic-based Co-simulation of Modelica models. | Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi |
| 2012 | SPLC | SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems. | Karina Villela, Sholom Cohen, Luciano Baresi, Jaejoon Lee, Klaus Schmid |
| 2011 | ICECCS | A Component-Oriented Metamodel for the Modernization of Software Applications. | Luciano Baresi, Matteo Miraz |
| 2011 | RE | An introduction to the workshop on requirements for systems, services, and systems of systems. | Luciano Baresi, Jane Cleland-Huang, James Lockerbie, Neil A. M. Maiden, Liliana Pasquale |
| 2011 | SPLC | SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. | Karina Villela, Sholom Cohen, Luciano Baresi |
| 2010 | CEC | Improving evolutionary testing by means of efficiency enhancement techniques. | Matteo Miraz, Pier Luca Lanzi, Luciano Baresi |
| 2010 | ICSE | TestFul: automatic unit-test generation for Java classes. | Luciano Baresi, Matteo Miraz |
| 2010 | ICSE | Live goals for adaptive service compositions. | Luciano Baresi, Liliana Pasquale |
| 2010 | ICSE | A roadmap towards sustainable self-aware service systems. | Schahram Dustdar, Christoph Dorn, Fei Li, Luciano Baresi, Giacomo Cabri, Cesare Pautasso, Franco Zambonelli |
| 2010 | ICSE | Anquiro: enabling efficient static verification of sensor network software. | Luca Mottola, Thiemo Voigt, Fredrik sterlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi |
| 2010 | ICSOC | Mashups with Mashlight. | Luciano Baresi, Sam Guinea |
| 2010 | ICST | TestFul: An Evolutionary Test Approach for Java. | Luciano Baresi, Pier Luca Lanzi, Matteo Miraz |
| 2010 | ICWS | Adaptive Goals for Self-Adaptive Service Compositions. | Luciano Baresi, Liliana Pasquale |
| 2010 | MODELS | From Interaction Overview Diagrams to Temporal Logic. | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
| 2010 | RE | Fuzzy Goals for Requirements-Driven Adaptation. | Luciano Baresi, Liliana Pasquale, Paola Spoletini |
| 2009 | FORTE | Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
| 2009 | GECCO | TestFul: using a hybrid evolutionary algorithm for testing stateful systems. | Matteo Miraz, Pier Luca Lanzi, Luciano Baresi |
| 2009 | ICSE | Multi-dimensional service compositions. | Luciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar |
| 2009 | ICWS | Dynamo + Astro: An Integrated Approach for BPEL Monitoring. | Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti |
| 2008 | CaiSE | A Flexible and Semantic-Aware Publication Infrastructure for Web Services. | Luciano Baresi, Matteo Miraz, Pierluigi Plebani |
| 2008 | EDOC | Self-adaptive Web Service Compositions. | Luciano Baresi |
| 2008 | ICSE | Towards decentralized self-adaptive component-based systems. | Luciano Baresi, Sam Guinea, Giordano Tamburrelli |
| 2008 | ICSOC | Integrated and Composable Supervision of BPEL Processes. | Luciano Baresi, Sam Guinea, Liliana Pasquale |
| 2008 | ISSTA | Towards a unified framework for the monitoring and recovery of BPEL processes. | Luciano Baresi, Sam Guinea, Liliana Pasquale |
| 2008 | RE | Service-Centric Systems and Requirements Engineering. | Luciano Baresi, Neil A. M. Maiden, Peter Sawyer |
| 2007 | CaiSE | Policies and Aspects for the Supervision of BPEL Processes. | Luciano Baresi, Sam Guinea, Pierluigi Plebani |
| 2007 | FORTE | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | ICSE | Dynamo and Self-Healing BPEL Compositions. | Luciano Baresi, Sam Guinea |
| 2007 | ICSE | On Accurate Automatic Verification of Publish-Subscribe Architectures. | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2007 | ICSOC | A Fault Taxonomy for Web Service Composition. | K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea |
| 2007 | ICWS | A Timed Extension of WSCoL. | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
| 2007 | SEKE | Distributed BPEL Processes. | Luciano Baresi, Andrea Maurino, Stefano Modafferi |
| 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 | FORTE | Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2006 | ICSE | Tutorial: towards dynamic web services. | Luciano Baresi, Sam Guinea |
| 2006 | ICSE | Business Process Monitoring for Dependability. | Luciano Baresi, Sam Guinea, Marco Plebani |
| 2006 | ICSOC | A Distributed Approach for the Federation of Heterogeneous Registries. | Luciano Baresi, Matteo Miraz |
| 2006 | SEW | Towards Open-World Software: Issue and Challenges. | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
| 2005 | EMMSAD | The MAIS approach to web service design. | Marzia Adorni, Francesca Arcelli, Danilo Ardagna, Luciano Baresi, Carlo Batini, Cinzia Cappiello, Marco Comerio, Marco Comuzzi, Flavio De Paoli, Chiara Francalanci, Paolo Losi, Simone Grega, Andrea Maurino, Stefano Modafferi, Barbara Pernici, Claudia Raibulet, Francesco Tisato |
| 2005 | ICECCS | An Introduction to Self-Healing Web Services. | Luciano Baresi, Sam Guinea |
| 2005 | ICSOC | Towards Dynamic Monitoring of WS-BPEL Processes. | Luciano Baresi, Sam Guinea |
| 2005 | ICSOC | Dynamo: Dynamic Monitoring of WS-BPEL Processes. | Luciano Baresi, Sam Guinea |
| 2005 | ICWE | Towards Model-Driven Testing of a Web Application Generator. | Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca |
| 2005 | SAC | First experiences on constraining consistency and adaptivity of W2000 models. | Luciano Baresi, Sebastiano Colazzo, Luca Mainetti |
| 2005 | SAC | Graph transformation to infer schemata from XML documents. | Luciano Baresi, Elisa Quintarelli |
| 2004 | ICSOC | Smart monitors for composed services. | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
| 2003 | CaiSE | UMICS '03 Preface. | Luciano Baresi, Sara Comai, Schahram Dustdar, Harald C. Gall, Maristella Matera |
| 2002 | FASE | Meta-modeling Techniques Meet Web Application Design Tools. | Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini |
| 2002 | FASE | A Toolbox for Automating Visual Software Engineering. | Luciano Baresi, Mauro Pezz |
| 2002 | SEKE | Assertions to better specify the amazon bug. | Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini |
| 2002 | WISE | An Empirical Study on the Design Effort of Web Applications. | Luciano Baresi, Sandro Morasca, Paolo Paolini |
| 2000 | ER | From Web Sites to Web Applications: New Issues for Conceptual Modeling. | Luciano Baresi, Franca Garzotto, Paolo Paolini |
| 2000 | ICALP | Can Graph Grammars Make Formal Methods More Human? | Mauro Pezz, Luciano Baresi |
| 2000 | SMC | PLCTOOLS: design, formal validation, and code generation for programmable controllers. | Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezz |
| 1997 | CBMS | LEMMA: a language for easy medical models analysis. | Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezz |
| 1997 | ICSE | Introducing Formal Specification Methods in Industrial Practice. | Luciano Baresi, Alessandro Orso, Mauro Pezz |
| 1995 | ECRTS | IDERS: an integrated environment for the development of hard real-time systems. | Alejandro Alonso, Hanne Christensen, Luciano Baresi, Marko Heikkinen |
| 1995 | ICECCS | Customizable notations for kernel formalisms. | Luciano Baresi, Alessandro Orso, Mauro Pezz |