The use of Ada in the design of distributed systems. - Paola Inverardi; Franco Mazzanti; Carlo Montangero (SIGAda, 1985)

Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. - Alessandro Fantechi; Paola Inverardi; Norma Lijtmaer (Softw. Pract. Exp., 1986)

Enhancing Configuration Facilities in Software Development: A Logic Approach. - Patrizia Asirelli; Paola Inverardi (ESEC, 1987)

An Executon Environment for the Formal Definiton of Ada. - Alessandro Fantechi; Stefania Gnesi; Paola Inverardi; Ugo Montanari (ESEC, 1987)

A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. - Stefania Gnesi; Paola Inverardi; Monica Nesi (Concurrency, 1988)

Improving Integrity Constraint Checking in Deductive Databases. - Patrizia Asirelli; Paola Inverardi; A. Mustaro (ICDT, 1988)

Using Logic Databases in Software Development Environments. - Patrizia Asirelli; Paola Inverardi (PLILP, 1988)

EDBLOG: A Kernel for Configuration Environments. - Patrizia Asirelli; Paola Inverardi (SCM, 1988)

Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. - Rocco De Nicola; Paola Inverardi; Monica Nesi (Automatic Verification Methods for Finite State Systems, 1989)

Selective Refutation of Integrity Constraints in Deductive Databases. - Patrizia Asirelli; C. Billi; Paola Inverardi (MFDBS, 1989)

Is Type Checking Practical for System Configuration? - Paola Inverardi; Simone Martini 001; Carlo Montangero (TAPSOFT, Vol.2, 1989)

A Rewriting Strategy to Verify Observational Congruence. - Paola Inverardi; Monica Nesi (Inf. Process. Lett., 1990)

On Rewriting Behavioral Semantics in Process Algebras. - Paola Inverardi; Monica Nesi (AMAST, 1991)

A Semantic Driven Method to Check the Finiteness of CCS Processes. - Nicoletta De Francesco; Paola Inverardi (CAV, 1991)

Equational reasoning about LOTOS specifications: a rewriting approach. - Rocco De Nicola; Paola Inverardi; Monica Nesi (IWSSD, 1991)

Infinite Normal Forms for Non-Linear Term Rewriting Systems. - Paola Inverardi; Monica Nesi (MFCS, 1991)

Supporting Reuse and Configuration: A Port Based SCM Model. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi; P. Malara (SCM, 1991)

Combining Interaction and Automation in Process Algebra Verification. - Albert John Camilleri; Paola Inverardi; Monica Nesi (TAPSOFT, Vol.2, 1991)

Evaluation of Tools for the Analysis of Communicating Systems. - Paola Inverardi; Corrado Priami (Bull. EATCS, 1991)

A Strategy to Deal with Divergent Rewrite Systems. - Paola Inverardi; Monica Nesi (CTRS, 1992)

Prototyping in the GEDBLOG System. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi (SEKE, 1992)

Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. - Michele Boreale; Paola Inverardi; Monica Nesi (Inf. Process. Lett., 1992)

Extended Transition Systems for Parametric Bisimulation. - Paola Inverardi; Corrado Priami; Daniel Yankelevich (ICALP, 1993)

Yeast: A Case Study for a Practical Use of Formal Methods. - Paola Inverardi; Balachander Krishnamurthy; Daniel Yankelevich (TAPSOFT, 1993)

An 'Executable' Impredicative Semantics for the Ada Configuration. - A. Bucci; Paola Inverardi; Simone Martini 001 (Formal Aspects Comput., 1993)

Experimenting with Dynamic Linking with Ada. - Paola Inverardi; Franco Mazzanti (Softw. Pract. Exp., 1993)

Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi (GULP-PRODE (2), 1994)

Rewriting for Preorder Relations. - Paola Inverardi (CTRS, 1994)

Rational Rewriting. - Paola Inverardi; Marisa Venturini Zilli (MFCS, 1994)

Proving Finiteness of CCS Processes by Non-Standard Semantics. - Nicoletta De Francesco; Paola Inverardi (Acta Informatica, 1994)

Automatizing Parametric Reasoning on Distributed Concurrent Systems. - Paola Inverardi; Corrado Priami; Daniel Yankelevich (Formal Aspects Comput., 1994)

Graphics by a Logic Database Management System. - Patrizia Asirelli; D. Di Grande; Paola Inverardi; F. Nicodemi (J. Vis. Lang. Comput., 1994)

ESP-MC: An Experiment in the Use of Verification Tools. - Xiaojun Chen; Paola Inverardi; Carlo Montangero (ASIAN, 1995)

Model Checking of Non-Finite State Processes by Finite Approximations. - Nicoletta De Francesco; Alessandro Fantechi; Stefania Gnesi; Paola Inverardi (TACAS, 1995)

Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. - Paola Inverardi; Monica Nesi (Theor. Comput. Sci., 1995)

Infinite Normal Forms for Non-Linear Term Rewritting Systems. - Paola Inverardi; Monica Nesi (Theor. Comput. Sci., 1995)

Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. - Paola Inverardi; Alexander L. Wolf (IEEE Trans. Software Eng., 1995)

Modelling Interoperability by CHAM: A Case Study. - Paola Inverardi; Daniele Compare (COORDINATION, 1996)

Integrity Constraints as Views in Deductice Databases. - Patrizia Asirelli; Paola Inverardi; Giuseppe Plagenza (FMLDO, 1996)

Relating CHAM Descriptions of Software Architectures. - Paola Inverardi; Daniel Yankelevich (IWSSD, 1996)

Architecture-based software testing. - Antonia Bertolino; Paola Inverardi (ISAW/Viewpoints@FSE, 1996)

Automatic Verification of Distributed Systems: The Process Algebra Approach. - Paola Inverardi; Corrado Priami (Formal Methods Syst. Des., 1996)

Checking Assumptions in Component Dynamics as the Architectural Level. - Paola Inverardi; Alexander L. Wolf; Daniel Yankelevich (COORDINATION, 1997)

An approach to integration testing based on architectural descriptions. - Antonia Bertolino; Paola Inverardi; Henry Muccini; Andrea Rosetti (ICECCS, 1997)

Performance Evaluation of a Software Architecture: A Case Study. - Paola Inverardi; Calogero Mangano; Fabrizio Russo 004; Simonetta Balsamo (IWSSD, 1998)

Graph grammars and constraint solving for software architecture styles. - Dan Hirsch; Paola Inverardi; Ugo Montanari (ISAW@FSE, 1998)

An approach to performance evaluation of software architectures. - Simonetta Balsamo; Paola Inverardi; Calogero Mangano (WOSP, 1998)

Adding sorts to TRSs: a result on modularity of termination. - Paola Inverardi; Monica Nesi (APPIA-GULP-PRODE, 1999)

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. - Candida Attanasio; Flavio Corradini; Paola Inverardi (FASE, 1999)

Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. - Dan Hirsch; Paola Inverardi; Ugo Montanari (WICSA, 1999)

On the Relationships among four Timed Process Algebras. - Flavio Corradini; Domenicantonio D'Ortenzio; Paola Inverardi (Fundam. Informaticae, 1999)

A Comprehensive Setting for Matching and Unification over Iterative Terms. - Benedetto Intrigila; Paola Inverardi; Marisa Venturini Zilli (Fundam. Informaticae, 1999)

Uncovering Architectural Mismatch in Component Behavior. - Daniele Compare; Paola Inverardi; Alexander L. Wolf (Sci. Comput. Program., 1999)

ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. - Debra J. Richardson; Paola Inverardi (ACM SIGSOFT Softw. Eng. Notes, 1999)

Reconfiguration of Software Architecture Styles with Name Mobility. - Dan Hirsch; Paola Inverardi; Ugo Montanari (COORDINATION, 2000)

Coordination Models and Software Architectures in a Unified Software Development Process. - Paola Inverardi; Henry Muccini (COORDINATION, 2000)

Deriving test plans from architectural descriptions. - Antonia Bertolino; Flavio Corradini; Paola Inverardi; Henry Muccini (ICSE, 2000)

A Coordination Process Based on UML and a Software Architectural Description. - Paola Inverardi; Henry Muccini (PDPTA, 2000)

Deriving performance models of software architectures from message sequence charts. - F. Andolfi; Federica Aquilani; Simonetta Balsamo; Paola Inverardi (Workshop on Software and Performance, 2000)

Preface - Flavio Corradini; Paola Inverardi (MTCS, 2000)

Static checking of system behaviors using derived component assumptions. - Paola Inverardi; Alexander L. Wolf; Daniel Yankelevich (ACM Trans. Softw. Eng. Methodol., 2000)

Proving Deadlock Freedom in Component-Based Programming. - Paola Inverardi; Sebastián Uchitel (FASE, 2001)

InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces. - Carla Colafigli; Paola Inverardi; Rocco Matricciani (HICSS, 2001)

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. - Antonia Bertolino; Paola Inverardi; Henry Muccini (ICSE, 2001)

Automated Check of Architectural Models Consistency Using SPIN. - Paola Inverardi; Henry Muccini; Patrizio Pelliccione (ASE, 2001)

Connectors Synthesis for Deadlock-Free Component-Based Architectures. - Paola Inverardi; Simone Scriboni (ASE, 2001)

Automatic synthesis of deadlock free connectors for COM/DCOM applications. - Paola Inverardi; Massimo Tivoli (ESEC / SIGSOFT FSE, 2001)

Finite Approximations for Model Checking Non-finite-state Processes. - Nicoletta De Francesco; Alessandro Fantechi; Stefania Gnesi; Paola Inverardi (Comput. J., 2001)

Performance analysis at the software architectural design level. - Federica Aquilani; Simonetta Balsamo; Paola Inverardi (Perform. Evaluation, 2001)

An Experience in Architectural Extensions: Active Objects in J2EE. - Paola Inverardi; Fabio Mancinelli; Henry Muccini; Patrizio Pelliccione (FIDJI, 2002)

Adaptive Applications for Mobile Heterogenous Devices. - Paola Inverardi; G. Marinelli; Fabio Mancinelli (ICDCS Workshops, 2002)

A Context-Aware Approach to Infer Trust in Public Key Infrastructures. - Fabio Di Vito; Paola Inverardi; Giovanna Melideo (Certification and Security in E-Services, 2002)

A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. - Marco Castaldi; Paola Inverardi; Sharareh Afsharian (MASCOTS, 2002)

Automatic Failures-Free Connector Synthesis: An Example. - Paola Inverardi; Massimo Tivoli (RISSEF, 2002)

Correct deployment and adaptation of software applications on heterogenous (mobile) devices. - Paola Inverardi; Fabio Mancinelli; G. Marinelli (WOSS, 2002)

The SALADIN project: summary report. - Paola Inverardi (ACM SIGSOFT Softw. Eng. Notes, 2002)

Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. - Daniele Compare; Paola Inverardi; Patrizio Pelliccione; Alessandra Sebastiani (FME, 2003)

A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. - Stefano Porcarelli; Marco Castaldi; Felicita Di Giandomenico; Andrea Bondavalli; Paola Inverardi (WADS, 2003)

A Lightweight Infrastructure for Reconfiguring Applications. - Marco Castaldi; Antonio Carzaniga; Paola Inverardi; Alexander L. Wolf (SCM, 2003)

Formal Methods in Testing Software Architectures. - Antonia Bertolino; Paola Inverardi; Henry Muccini (SFM, 2003)

Software Architecture for Correct Components Assembly. - Paola Inverardi; Massimo Tivoli (SFM, 2003)

Yet Another Framework for Supporting Mobile and Collaborative Work. - Mauro Caporuscio; Paola Inverardi (WETICE, 2003)

Automatic synthesis of coordinators for COTS group-ware applications: an example. - Paola Inverardi; Massimo Tivoli; Antonio Bucchiarone (WETICE, 2003)

Three Performance Models at Work: A Software Designer Perspective. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (FOCLASA, 2003)

Deadlock-free software architectures for COM/DCOM Applications. - Paola Inverardi; Massimo Tivoli (J. Syst. Softw., 2003)

A review on queueing network models with finite capacity queues for software architectures performance prediction. - Simonetta Balsamo; Vittoria De Nitto Persone; Paola Inverardi (Perform. Evaluation, 2003)

Static analysis of real-time component-based systems configurations. - Candida Attanasio; Flavio Corradini; Paola Inverardi (Sci. Comput. Program., 2003)

Software Architectures and Coordination Models. - Paola Inverardi; Henry Muccini (J. Supercomput., 2003)

Correct Components Assembly for a Product Data Management Cooperative System. - Massimo Tivoli; Paola Inverardi; Valentina Presutti; Alessandro Forghieri; Maurizio Sebastianis (CBSE, 2004)

Compositionality, Coordination and Software Architecture. - Paola Inverardi (COORDINATION, 2004)

Formal Analysis of Architectural Patterns. - Mauro Caporuscio; Paola Inverardi; Patrizio Pelliccione (EWSA, 2004)

Compositional Verification of Middleware-Based Software Architecture Descriptions. - Mauro Caporuscio; Paola Inverardi; Patrizio Pelliccione (ICSE, 2004)

Automated Performance Validation of Software Design: An Industrial Experience. - Daniele Compare; Antonio D'Onofrio; Antinisca Di Marco; Paola Inverardi (ASE, 2004)

A declarative framework for adaptable applications in heterogeneous environments. - Paola Inverardi; Fabio Mancinelli; Monica Nesi (SAC, 2004)

Compositional Generation of Software Architecture Performance QN Models. - Antinisca Di Marco; Paola Inverardi (WICSA, 2004)

Experimenting different software architectures performance techniques: a case study. - Simonetta Balsamo; Moreno Marzolla; Antinisca Di Marco; Paola Inverardi (WOSP, 2004)

Introduction to Special Issue on Distributed and Mobile Software Engineering. - Carlo Ghezzi; Paola Inverardi (Autom. Softw. Eng., 2004)

A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi; Fabio Mancinelli; Patrizio Pelliccione (TACoS, 2004)

Model-Based Performance Prediction in Software Development: A Survey. - Simonetta Balsamo; Antinisca Di Marco; Paola Inverardi; Marta Simeoni (IEEE Trans. Software Eng., 2004)

Using Software Architecture for Code Testing. - Henry Muccini; Antonia Bertolino; Paola Inverardi (IEEE Trans. Software Eng., 2004)

Uncertain event-based model for egocentric context sensing. - Mauro Caporuscio; Paola Inverardi (SEM, 2005)

Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. - Mauro Caporuscio; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Alfonso Pierantonio (EWSA, 2005)

A Distributed Intrusion Detection Approach for Secure Software Architecture. - Paola Inverardi; Leonardo Mostarda (EWSA, 2005)

Transformations of software models into performance models. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (ICSE, 2005)

Introduction to education and training track. - Paola Inverardi; Mehdi Jazayeri (ICSE, 2005)

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. - Paola Inverardi; Leonardo Mostarda; Massimo Tivoli; Marco Autili (ASE, 2005)

CHARMY: an extensible tool for architectural analysis. - Paola Inverardi; Henry Muccini; Patrizio Pelliccione (ESEC/SIGSOFT FSE, 2005)

DUALLY: Putting in Synergy UML 2.0 and ADLs. - Paola Inverardi; Henry Muccini; Patrizio Pelliccione (WICSA, 2005)

Run-time performance management of the Siena publish/subscribe middleware. - Mauro Caporuscio; Antinisca Di Marco; Paola Inverardi (WOSP, 2005)

Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. - Paola Inverardi; Leonardo Mostarda; Alfredo Navarra (AINA (2), 2006)

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. - Marco Autili; Michele Flammini; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (EWSA, 2006)

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. - Daniela Colangelo; Daniele Compare; Paola Inverardi; Patrizio Pelliccione (FORTE, 2006)

A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. - Paola Inverardi; Leonardo Mostarda (WADS, 2006)

A resource model for adaptable applications. - Fabio Mancinelli; Paola Inverardi (SEAMS@ICSE, 2006)

Software performance model-driven architecture. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (SAC, 2006)

A scenario based notation for specifying temporal properties. - Marco Autili; Paola Inverardi; Patrizio Pelliccione (SCESM, 2006)

Software of the Future Is the Future of Software? - Paola Inverardi (TGC, 2006)

On relating functional specifications to architectural specifications: A case study. - Flavio Corradini; Paola Inverardi; Alexander L. Wolf (Sci. Comput. Program., 2006)

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (FASE, 2007)

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. - Marco Autili; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (ICSE, 2007)

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 (ICSOC, 2007)

A Geo Time Authentication System. - Leonardo Mostarda; Arianna Tocchio; Paola Inverardi; Stefania Costantini (IFIPTM, 2007)

DESERT: a decentralized monitoring tool generator. - Paola Inverardi; Leonardo Mostarda (ASE, 2007)

A reuse-based approach to the correct and automatic composition of web-services. - Paola Inverardi; Massimo Tivoli (ESSPE, 2007)

Non-Functional Modeling and Validation in Model-Driven Architecture. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (WICSA, 2007)

Quantitative resource-oriented analysis of Java (Adaptable) applications. - Fabio Mancinelli; Paola Inverardi (WOSP, 2007)

Graphical scenarios for specifying temporal properties: an automated approach. - Marco Autili; Paola Inverardi; Patrizio Pelliccione (Autom. Softw. Eng., 2007)

Model-based system reconfiguration for dynamic performance management. - Mauro Caporuscio; Antinisca Di Marco; Paola Inverardi (J. Syst. Softw., 2007)

Dynamically Evolvable Dependable Software: From Oxymoron to Reality. - Carlo Ghezzi; Paola Inverardi; Carlo Montangero (Concurrency, Graphs and Models, 2008)

A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi; Fabio Mancinelli (COMPSAC, 2008)

08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map. - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 2008)

08031 Abstracts Collection – Software Engineering for Self-Adaptive Systems. - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 2008)

A framework for software project estimation based on cosmic, dsm and rework characterization. - Sharareh Afsharian; Marco Giacomobono; Paola Inverardi (BIPI@ICSE, 2008)

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 (ISoLA, 2008)

The Future of Software: Adaptation and Dependability. - Paola Inverardi; Massimo Tivoli (ISSSE, 2008)

A development process for context-aware adaptive services. - Marco Autili; Paolo Di Benedetto; Davide Di Ruscio; Paola Inverardi; Massimo Tivoli (ASE Workshops, 2008)

PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. - Antonia Bertolino; Wolfgang Emmerich; Paola Inverardi; Valérie Issarny; Fotios K. Liotopoulos; Pierre Plaza (ASE Workshops, 2008)

Towards Self-evolving Context-aware Services. - Marco Autili; Paolo Di Benedetto; Paola Inverardi; Damien A. Tamburri (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Failure-free coordinators synthesis for component-based architectures. - Massimo Tivoli; Paola Inverardi (Sci. Comput. Program., 2008)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee; Jesper Andersson; Basil Becker; Nelly Bencomo; Yuriy Brun; Bojan Cukic; Giovanna Di Marzo Serugendo; Schahram Dustdar; et al. (Software Engineering for Self-Adaptive Systems, 2009)

Context-Aware Adaptive Services: The PLASTIC Approach. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (FASE, 2009)

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. - Valérie Issarny; Bernhard Steffen; Bengt Jonsson 001; Gordon S. Blair; Paul Grace; Marta Z. Kwiatkowska; Radu Calinescu; Paola Inverardi; Massimo Tivoli; Antonia Bertolino; Antonino Sabetta (ICECCS, 2009)

Towards an assume-guarantee theory for adaptable systems. - Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (SEAMS, 2009)

Automatic synthesis of behavior protocols for composable web-services. - Antonia Bertolino; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (ESEC/SIGSOFT FSE, 2009)

Towards a formalization of mediating connectors for on the fly interoperability. - Romina Spalazzese; Paola Inverardi; Valérie Issarny (WICSA/ECSA, 2009)

CHARMY: A Framework for Designing and Verifying Architectural Specifications. - Patrizio Pelliccione; Paola Inverardi; Henry Muccini (IEEE Trans. Software Eng., 2009)

Software Engineering Processes for Self-Adaptive Systems. - Jesper Andersson; Luciano Baresi; Nelly Bencomo; Rogério de Lemos; Alessandra Gorla; Paola Inverardi; Thomas Vogel 001 (Software Engineering for Self-Adaptive Systems, 2010)

A Software Lifecycle Process to Support Consistent Evolutions. - Paola Inverardi; Marco Mori (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. - Antinisca Di Marco; Francesco Gallo; Paola Inverardi; Rodolfo Ippoliti (ECSA, 2010)

Mediating Connector Patterns for Components Interoperability. - Romina Spalazzese; Paola Inverardi (ECSA, 2010)

Towards a Connector Algebra. - Marco Autili; Chris Chilton; Paola Inverardi; Marta Z. Kwiatkowska; Massimo Tivoli (ISoLA (2), 2010)

Towards an Architecture for Runtime Interoperability. - Amel Bennaceur; Gordon S. Blair; Franck Chauvel; Gang Huang 001; Nikolaos Georgantas; Paul Grace; Falk Howar; Paola Inverardi; Valérie Issarny; Massimo Paolucci 001; Animesh Pathak; Romina Spalazzese; et al. (ISoLA (2), 2010)

On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. - Antonia Bertolino; Paola Inverardi; Valérie Issarny; Antonino Sabetta; Romina Spalazzese (ISoLA (2), 2010)

A Theory of Mediators for Eternal Connectors. - Paola Inverardi; Valérie Issarny; Romina Spalazzese (ISoLA (2), 2010)

Feature oriented evolutions for context-aware adaptive systems. - Paola Inverardi; Marco Mori (EVOL/IWPSE, 2010)

A programming model for adaptable Java applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (PPPJ, 2010)

Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? - Paola Inverardi (QSIC, 2010)

Towards a Stem Architecture Description Language for Self-Adaptive Systems. - Antinisca Di Marco; Francesco Gallo; Paola Inverardi; Rodolfo Ippoliti (SASO, 2010)

Ad-opera: music-inspired self-adaptive systems. - Alessio Gabriele; Michelangelo Lupone; Paola Inverardi; Patrizio Pelliccione (FoSER, 2010)

Components Interoperability through Mediating Connector Patterns - Romina Spalazzese; Paola Inverardi (WCSI, 2010)

Model-Based Software Performance Analysis. - Vittorio Cortellessa; Antinisca Di Marco; Paola Inverardi (Springer, 2011)

ModelLAND: Where Do Models Come from? - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Models@run.time@Dagstuhl, 2011)

Living with Uncertainty in the Age of Runtime Models. - Holger Giese; Nelly Bencomo; Liliana Pasquale; Andres J. Ramirez; Paola Inverardi; Sebastian Wätzoldt; Siobhán Clarke (Models@run.time@Dagstuhl, 2011)

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro; Paola Inverardi; Romina Spalazzese (ICSOFT (Selected Papers), 2011)

A development process for requirements based service choreography. - Marco Autili; Davide Di Ruscio; Paola Inverardi; James Lockerbie; Massimo Tivoli (RESS, 2011)

Requirements models at run-time to support consistent system evolutions. - Paola Inverardi; Marco Mori (RE@RunTime, 2011)

Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. - Marco Mori; Fei Li 002; Christoph Dorn 001; Paola Inverardi; Schahram Dustdar (SEFM, 2011)

Application-Layer Connector Synthesis. - Paola Inverardi; Romina Spalazzese; Massimo Tivoli (SFM, 2011)

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (SIGSOFT FSE, 2011)

Exploiting software architecture to support requirements satisfaction testing. - Paul C. Clements; María José Escalona Cuaresma; Paola Inverardi; Ivano Malavolta; Eda Marchetti (SIGSOFT FSE, 2011)

Model checking requirements at run-time in adaptive systems. - Paola Inverardi; Marco Mori (ASAS@ESEC/FSE, 2011)

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Monterey Workshop, 2012)

Automated Synthesis of CONNECTors to support Software Evolution. - Amel Bennaceur; Paola Inverardi; Valérie Issarny; Romina Spalazzese (ERCIM News, 2012)

Developing highly complex distributed systems: a software engineering perspective. - Marco Autili; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (J. Internet Serv. Appl., 2012)

Guest Editor's Introduction: International Conference on Software Engineering. - Joanne M. Atlee; Paola Inverardi (IEEE Trans. Software Eng., 2012)

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. - Marco Autili; Paola Inverardi; Alexander Perucci; Massimo Tivoli (Software Engineering for Self-Adaptive Systems, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - 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 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Perpetual Assurances for Self-Adaptive Systems. - Danny Weyns; Nelly Bencomo; Radu Calinescu; Javier Cámara 001; Carlo Ghezzi; Vincenzo Grassi; Lars Grunske; Paola Inverardi; Jean-Marc Jézéquel; Sam Malek; Raffaela Mirandola; Marco Mori; et al. (Software Engineering for Self-Adaptive Systems, 2013)

A Model-Based Synthesis Process for Choreography Realizability Enforcement. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Paola Inverardi; Massimo Tivoli (FASE, 2013)

A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems. - Marco Mori; Anthony Cleve; Paola Inverardi (ICCASA, 2013)

Automatic synthesis of modular connectors via composition of protocol mediation patterns. - Paola Inverardi; Massimo Tivoli (ICSE, 2013)

Synthesizing self-adaptive connectors meeting functional and performance concerns. - Antinisca Di Marco; Paola Inverardi; Romina Spalazzese (SEAMS, 2013)

A publication culture in software engineering (panel). - Steven Fraser 001; Luciano Baresi; Jane Cleland-Huang; Carlo A. Furia; Georges Gonthier; Paola Inverardi; Moshe Y. Vardi (ESEC/SIGSOFT FSE, 2013)

Producing software by integration: challenges and research directions (keynote). - Paola Inverardi; Marco Autili; Davide Di Ruscio; Patrizio Pelliccione; Massimo Tivoli (ESEC/SIGSOFT FSE, 2013)

Taming the uncertainty: variability as a means for predictable system evolution. - Paola Inverardi (VaMoS, 2013)

Software architecture-based analysis and testing: a look into achievements and future challenges. - Antonia Bertolino; Paola Inverardi; Henry Muccini (Computing, 2013)

A hybrid approach for resource-based comparison of adaptable Java applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (Sci. Comput. Program., 2013)

Ad-Opera: Music-Inspired Self-Adaptive Systems. - Paola Inverardi; Patrizio Pelliccione; Michelangelo Lupone; Alessio Gabriele (Computation for Humanity, 2014)

CHOREOS: Large scale choreographies for the future internet. - Marco Autili; Paola Inverardi; Massimo Tivoli (CSMR-WCRE, 2014)

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Paola Inverardi (ModComp@MoDELS, 2014)

Towards Adaptable and Evolving Service Choreography in the Future Internet. - Amleto Di Salle; Paola Inverardi; Alexander Perucci (SERVICES, 2014)

Automatic adaptor synthesis for protocol transformation. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2014)

Automated Integration of Service-Oriented Software Systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (FSEN, 2015)

On the adaptation of context-aware services. - Marco Autili; Vittorio Cortellessa; Paolo Di Benedetto; Paola Inverardi (CoRR, 2015)

Synthesis of correct adaptors for protocol enhancement in component-based systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2015)

Automated Synthesis of Service Choreographies. - Marco Autili; Paola Inverardi; Massimo Tivoli (IEEE Softw., 2015)

The Role of Models in the Automated Integration of Service-oriented Software Systems. - Paola Inverardi (MODELSWARD, 2016)

Achieving functional and non functional interoperability through synthesized connectors. - Nicola Nostro; Romina Spalazzese; Felicita Di Giandomenico; Paola Inverardi (J. Syst. Softw., 2016)

Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8). - Kenji Tei; Nicolás D'Ippolito; Paola Inverardi (NII Shonan Meet. Rep., 2016)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Self-aware Computing Systems: Related Concepts and Research Areas. - Javier Cámara 001; Kirstie L. Bellman; Jeffrey O. Kephart; Marco Autili; Nelly Bencomo; Ada Diaconescu; Holger Giese; Sebastian Götz; Paola Inverardi; Samuel Kounev; Massimo Tivoli (Self-Aware Computing Systems, 2017)

The Notion of Self-aware Computing. - Samuel Kounev; Peter R. Lewis 001; Kirstie L. Bellman; Nelly Bencomo; Javier Cámara 001; Ada Diaconescu; Lukas Esterle; Kurt Geihs; Holger Giese; Sebastian Götz; Paola Inverardi; Jeffrey O. Kephart; et al. (Self-Aware Computing Systems, 2017)

Online Learning of Run-Time Models for Performance and Resource Management in Data Centers. - Jürgen Walter; Antinisca Di Marco; Simon Spinner; Paola Inverardi; Samuel Kounev (Self-Aware Computing Systems, 2017)

An empirical approach for determining context of mobile systems. - Mai Abusair; Antinisca Di Marco; Paola Inverardi (ECSA (Companion), 2017)

Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety. - Mai Abusair; Mohammad Sharaf; Henry Muccini; Paola Inverardi (ECSA (Companion), 2017)

Models for the Automated Integration of Service-Oriented Software Systems. - Paola Inverardi (MiSE@ICSE, 2017)

User-centric Android flexible permissions. - Gian Luca Scoccia; Ivano Malavolta; Marco Autili; Amleto Di Salle; Paola Inverardi (ICSE (Companion Volume), 2017)

Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction. - Mai Abusair; Antinisca Di Marco; Paola Inverardi (QRS Companion, 2017)

Introduction to the Special Section on Best Papers from SEAMS 2015. - Bradley R. Schmerl; Paola Inverardi (ACM Trans. Auton. Adapt. Syst., 2017)

An investigation into Android run-time permissions from the end users' perspective. - Gian Luca Scoccia; Stefano Ruberto; Ivano Malavolta; Marco Autili; Paola Inverardi (MOBILESoft@ICSE, 2018)

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. - Alexander Perucci; Marco Autili; Massimo Tivoli; Alessandro Aloisio; Paola Inverardi (SEDA, 2018)

Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. - Marco Autili; Paola Inverardi; Massimo Tivoli (Sci. Comput. Program., 2018)

Different Glasses to Look into the Three Cs: Component, Connector, Coordination. - Farhad Arbab; Marco Autili; Paola Inverardi; Massimo Tivoli (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? - Antonia Bertolino; Paola Inverardi (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Introducing Trust in Service-Oriented Distributed Systems through Blockchain. - Marco Autili; Francesco Gallo; Paola Inverardi; Claudio Pompilio; Massimo Tivoli (ISSRE Workshops, 2019)

Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User. - Paola Inverardi (SERENE, 2019)

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (IEEE Access, 2019)

The European perspective on responsible computing. - Paola Inverardi (Commun. ACM, 2019)

Automated synthesis of application-layer connectors from automata-based specifications. - Marco Autili; Paola Inverardi; Romina Spalazzese; Massimo Tivoli; Filippo Mignosi (J. Comput. Syst. Sci., 2019)

A self-configuring and adaptive privacy-aware permission system for Android apps. - Gian Luca Scoccia; Marco Autili; Paola Inverardi (ACSOS, 2020)

A Statistical Approach for Context-Awareness of Mobile Applications. - Mai Abusair; Mohammad Sharaf; Antinisca Di Marco; Paola Inverardi (ECSA Companion, 2020)

On the elicitation of privacy and ethics preferences of mobile users. - Patrizio Migliarini; Gian Luca Scoccia; Marco Autili; Paola Inverardi (MOBILESoft@ICSE, 2020)

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 (ICSE (NIER), 2020)

Is Really IoT Technology Gender Neutral? - Dajana Cassioli; Antinisca Di Marco; Tania Di Mascio; Laura Tarantino; Paola Inverardi (MetroInd4.0&IoT, 2020)

Enhancing Trustability of Android Applications via User-Centric Flexible Permissions. - Gian Luca Scoccia; Ivano Malavolta; Marco Autili; Amleto Di Salle; Paola Inverardi (IEEE Trans. Software Eng., 2021)

The Challenge of Human Dignity in the Era of Autonomous Systems. - Paola Inverardi (Perspectives on Digital Humanism, 2022)

Ethical-aware autonomous systems from a social psychological lens. - Paola Inverardi; Massimiliano Palmiero; Patrizio Pelliccione; Massimo Tivoli (CoPDA@AVI, 2022)

AI Act and Individual Rights: A Juridical and Technical Perspective. - Costanza Alfieri; Francesca Caroccia; Paola Inverardi (IAIL@HHAI, 2022)

Exosoul: Ethical Profiling in the Digital World. - Costanza Alfieri; Paola Inverardi; Patrizio Migliarini; Massimiliano Palmiero (HHAI, 2022)

An empirical study of privacy labels on the Apple iOS mobile app store. - Gian Luca Scoccia; Marco Autili; Giovanni Stilo; Paola Inverardi (MOBILESoft, 2022)

Don't You Agree with My Ethics? Let's Negotiate! - Mashal Afzal Memon; Gian Luca Scoccia; Paola Inverardi; Marco Autili (HHAI, 2023)

Systematic Review on Privacy Categorization. - Paola Inverardi; Patrizio Migliarini; Massimiliano Palmiero (CoRR, 2023)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version). - Nicolas Troquard; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione; Gian Luca Scoccia (CoRR, 2023)

Systematic review on privacy categorisation. - Paola Inverardi; Patrizio Migliarini; Massimiliano Palmiero (Comput. Sci. Rev., 2023)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. - Nicolas Troquard; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione; Gian Luca Scoccia (AAAI, 2024)

In Search of Clarity: Discerning Between Human Replacement and Augmentation. - Costanza Alfieri; Martina De Sanctis; Donatella Donati; Paola Inverardi (HHAI, 2024)

An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems. - Mashal Afzal Memon; Gian Luca Scoccia; Marco Autili; Paola Inverardi (ICSA-C, 2024)

Engineering Ethical-Aware Collective Adaptive Systems. - Martina De Sanctis; Paola Inverardi (ISoLA (1), 2024)

On Representing Humans' Soft-Ethics Preferences As Dispositions. - Donatella Donati; Ziba Assadi; Simone Gozzano; Paola Inverardi; Nicolas Troquard (Ital-IA, 2024)

A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach. - Mashal Afzal Memon; Marco Autili; Gianluca Filippone; Gian Luca Scoccia; Paola Inverardi (ASE, 2024)

Do Modern Systems Require New Quality Dimensions? - Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione (QUATIC, 2024)

Human empowerment in self-adaptive socio-technical systems. - Nicolas Boltz; Sinem Getir Yaman; Paola Inverardi; Rogério de Lemos; Dimitri Van Landuyt; Andrea Zisman (SEAMS@ICSE, 2024)

Engineering Digital Systems for Humanity: Challenges and Opportunities. - Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione (CoRR, 2024)

Leveraging privacy profiles to empower users in the digital society. - Davide Di Ruscio; Paola Inverardi; Patrizio Migliarini; Phuong T. Nguyen 001 (Autom. Softw. Eng., 2024)

Exploring user privacy awareness on GitHub: an empirical study. - Costanza Alfieri; Juri Di Rocco; Paola Inverardi; Phuong T. Nguyen 001 (Empir. Softw. Eng., 2024)

Engineering Digital Systems for Humanity: A Research Roadmap. - Marco Autili; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione (ACM Trans. Softw. Eng. Methodol., 2025)

RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous Robots. - Mashal Afzal Memon; Gianluca Filippone; Gian Luca Scoccia; Marco Autili; Paola Inverardi (CoRR, 2025)