| 2026 | ICSE | Developers' Blind Spot: Designing Systems to Enable Stakeholders' Understanding of Ethical Qualities. | Gianluca De Ninno, Martina De Sanctis, Paola Inverardi, Romina Spalazzese, Christos Tsigkanos |
| 2026 | REFSQ | Embedding Normative Requirements in Fuzzy Logic. | Ziba Assadi, Paola Inverardi |
| 2026 | SEAMS | SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? | Genana Nunes Rodrigues, Betty H. C. Cheng, David Garlan, Paola Inverardi, Jeff Kramer, Sol Zilberman |
| 2026 | SEAMS | A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime. | Martina De Sanctis, Gianluca Filippone, Paola Inverardi, Raffaela Mirandola, Sara Pettinari, Patrizia Scandurra |
| 2026 | TACAS | Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring. | Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard |
| 2025 | RE | Beyond the Checklist: Rethinking Trustworthiness in AI System. | Donatella Donati, Paola Inverardi, Beatrice Melis, Patrizio Pelliccione |
| 2024 | AAAI | Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. | Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia |
| 2024 | ICSA | An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems. | Mashal Afzal Memon, Gian Luca Scoccia, Marco Autili, Paola Inverardi |
| 2024 | ISoLA | Engineering Ethical-Aware Collective Adaptive Systems. | Martina De Sanctis, Paola Inverardi |
| 2024 | QUATIC | Do Modern Systems Require New Quality Dimensions? | Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione |
| 2024 | SEAMS | Human empowerment in self-adaptive socio-technical systems. | Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogrio de Lemos, Dimitri Van Landuyt, Andrea Zisman |
| 2022 | AVI | Ethical-aware autonomous systems from a social psychological lens. | Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli |
| 2020 | ECSA | A Statistical Approach for Context-Awareness of Mobile Applications. | Mai Abusair, Mohammad Sharaf, Antinisca Di Marco, Paola Inverardi |
| 2020 | ICSE | On the elicitation of privacy and ethics preferences of mobile users. | Patrizio Migliarini, Gian Luca Scoccia, Marco Autili, Paola Inverardi |
| 2020 | ICSE | Hey, my data are mine!: active data to empower the user. | Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo |
| 2019 | ISSRE | Introducing Trust in Service-Oriented Distributed Systems through Blockchain. | Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli |
| 2018 | ICSE | An investigation into Android run-time permissions from the end users' perspective. | Gian Luca Scoccia, Stefano Ruberto, Ivano Malavolta, Marco Autili, Paola Inverardi |
| 2017 | ECSA | An empirical approach for determining context of mobile systems. | Mai Abusair, Antinisca Di Marco, Paola Inverardi |
| 2017 | ECSA | Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety. | Mai Abusair, Mohammad Sharaf, Henry Muccini, Paola Inverardi |
| 2017 | ICSE | Models for the Automated Integration of Service-Oriented Software Systems. | Paola Inverardi |
| 2017 | ICSE | User-centric Android flexible permissions. | Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi |
| 2017 | QRS | Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction. | Mai Abusair, Antinisca Di Marco, Paola Inverardi |
| 2016 | MODELSWARD | The Role of Models in the Automated Integration of Service-oriented Software Systems. | Paola Inverardi |
| 2015 | LATA | Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
| 2014 | MODELS | Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi |
| 2014 | SERVICES | Towards Adaptable and Evolving Service Choreography in the Future Internet. | Amleto Di Salle, Paola Inverardi, Alexander Perucci |
| 2013 | FASE | A Model-Based Synthesis Process for Choreography Realizability Enforcement. | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
| 2013 | ICSE | Automatic synthesis of modular connectors via composition of protocol mediation patterns. | Paola Inverardi, Massimo Tivoli |
| 2013 | ICSE | Synthesizing self-adaptive connectors meeting functional and performance concerns. | Antinisca Di Marco, Paola Inverardi, Romina Spalazzese |
| 2011 | ICSoft | On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. | Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese |
| 2011 | RE | A development process for requirements based service choreography. | Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli |
| 2011 | RE | Requirements models at run-time to support consistent system evolutions. | Paola Inverardi, Marco Mori |
| 2011 | SEFM | Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. | Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar |
| 2010 | ECSA | Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. | Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti |
| 2010 | ECSA | Mediating Connector Patterns for Components Interoperability. | Romina Spalazzese, Paola Inverardi |
| 2010 | ISoLA | Towards a Connector Algebra. | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
| 2010 | ISoLA | Towards an Architecture for Runtime Interoperability. | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
| 2010 | ISoLA | On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. | Antonia Bertolino, Paola Inverardi, Valrie Issarny, Antonino Sabetta, Romina Spalazzese |
| 2010 | ISoLA | A Theory of Mediators for Eternal Connectors. | Paola Inverardi, Valrie Issarny, Romina Spalazzese |
| 2009 | FASE | Context-Aware Adaptive Services: The PLASTIC Approach. | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
| 2009 | ICECCS | CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. | Valrie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
| 2009 | ICSE | Towards an assume-guarantee theory for adaptable systems. | Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
| 2008 | COMPSAC | A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. | Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli |
| 2008 | ICSE | A framework for software project estimation based on cosmic, dsm and rework characterization. | Sharareh Afsharian, Marco Giacomobono, Paola Inverardi |
| 2008 | ISoLA | A Framework for Analyzing and Testing the Performance of Software Services. | Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
| 2007 | FASE | Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
| 2007 | ICSE | SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. | Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
| 2007 | ICSOC | A Development Process for Self-adapting Service Oriented Applications. | Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
| 2006 | AINA | Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. | Paola Inverardi, Leonardo Mostarda, Alfredo Navarra |
| 2006 | FORTE | Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. | Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
| 2006 | ICSE | A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. | Paola Inverardi, Leonardo Mostarda |
| 2006 | ICSE | A resource model for adaptable applications. | Fabio Mancinelli, Paola Inverardi |
| 2006 | SAC | Software performance model-driven architecture. | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
| 2005 | ICSE | Transformations of software models into performance models. | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
| 2005 | ICSE | Introduction to education and training track. | Paola Inverardi, Mehdi Jazayeri |
| 2004 | Coordination | Compositionality, Coordination and Software Architecture. | Paola Inverardi |
| 2004 | ICSE | Compositional Verification of Middleware-Based Software Architecture Descriptions. | Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione |
| 2004 | SAC | A declarative framework for adaptable applications in heterogeneous environments. | Paola Inverardi, Fabio Mancinelli, Monica Nesi |
| 2003 | FM | Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. | Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani |
| 2003 | ICSE | A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. | Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi |
| 2003 | WETICE | Yet Another Framework for Supporting Mobile and Collaborative Work. | Mauro Caporuscio, Paola Inverardi |
| 2003 | WETICE | Automatic synthesis of coordinators for COTS group-ware applications: an example. | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |
| 2002 | MASCOTS | A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. | Marco Castaldi, Paola Inverardi, Sharareh Afsharian |
| 2001 | FASE | Proving Deadlock Freedom in Component-Based Programming. | Paola Inverardi, Sebastin Uchitel |
| 2001 | ICSE | An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. | Antonia Bertolino, Paola Inverardi, Henry Muccini |
| 2000 | Coordination | Reconfiguration of Software Architecture Styles with Name Mobility. | Dan Hirsch, Paola Inverardi, Ugo Montanari |
| 2000 | Coordination | Coordination Models and Software Architectures in a Unified Software Development Process. | Paola Inverardi, Henry Muccini |
| 2000 | ICSE | Deriving test plans from architectural descriptions. | Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini |
| 2000 | PDPTA | A Coordination Process Based on UML and a Software Architectural Description. | Paola Inverardi, Henry Muccini |
| 1999 | Coordination | Static Analysis of Real-Time Component-Based Systems Configurations. | Candida Attanasio, Flavio Corradini, Paola Inverardi |
| 1999 | FASE | Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. | Candida Attanasio, Flavio Corradini, Paola Inverardi |
| 1997 | Coordination | Checking Assumptions in Component Dynamics as the Architectural Level. | Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich |
| 1997 | ICECCS | An approach to integration testing based on architectural descriptions. | Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti |
| 1996 | Coordination | Modelling Interoperability by CHAM: A Case Study. | Paola Inverardi, Daniele Compare |
| 1995 | TACAS | Model Checking of Non-Finite State Processes by Finite Approximations. | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1994 | MFCS | Rational Rewriting. | Paola Inverardi, Marisa Venturini Zilli |
| 1993 | ICALP | Extended Transition Systems for Parametric Bisimulation. | Paola Inverardi, Corrado Priami, Daniel Yankelevich |
| 1992 | SEKE | Prototyping in the GEDBLOG System. | Domenico Aquilino, Patrizia Asirelli, Paola Inverardi |
| 1991 | CAV | A Semantic Driven Method to Check the Finiteness of CCS Processes. | Nicoletta De Francesco, Paola Inverardi |
| 1991 | MFCS | Infinite Normal Forms for Non-Linear Term Rewriting Systems. | Paola Inverardi, Monica Nesi |
| 1988 | CONCUR | A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. | Stefania Gnesi, Paola Inverardi, Monica Nesi |
| 1988 | ICDT | Improving Integrity Constraint Checking in Deductive Databases. | Patrizia Asirelli, Paola Inverardi, A. Mustaro |