Paola Inverardi

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 41

Top Venues

Publications

Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
Engineering Digital Systems for Humanity: Challenges and Opportunities. CoRR (2024)
Costanza Alfieri, Martina De Sanctis, Donatella Donati, Paola Inverardi
In Search of Clarity: Discerning Between Human Replacement and Augmentation. HHAI (2024)
Davide Di Ruscio, Paola Inverardi, Patrizio Migliarini, Phuong T. Nguyen
Leveraging privacy profiles to empower users in the digital society. Autom. Softw. Eng. 31 (1) (2024)
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. AAAI (2024)
Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogério de Lemos, Dimitri Van Landuyt, Andrea Zisman
Human empowerment in self-adaptive socio-technical systems. SEAMS@ICSE (2024)
Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
Systematic Review on Privacy Categorization. CoRR (2023)
Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
Systematic review on privacy categorisation. Comput. Sci. Rev. 49 (2023)
Mashal Afzal Memon, Gian Luca Scoccia, Paola Inverardi, Marco Autili
Don't You Agree with My Ethics? Let's Negotiate! HHAI (2023)
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version). CoRR (2023)
Costanza Alfieri, Francesca Caroccia, Paola Inverardi
AI Act and Individual Rights: A Juridical and Technical Perspective. IAIL@HHAI (2022)
Davide Di Ruscio, Paola Inverardi, Patrizio Migliarini, Phuong T. Nguyen
Leveraging Privacy Profiles to Empower Users in the Digital Society. CoRR (2022)
Gian Luca Scoccia, Marco Autili, Giovanni Stilo, Paola Inverardi
An empirical study of privacy labels on the Apple iOS mobile app store. MOBILESoft (2022)
Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli
Ethical-aware autonomous systems from a social psychological lens. CoPDA@AVI (2022)
Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
Exosoul: ethical profiling in the digital world. CoRR (2022)
Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
Exosoul: Ethical Profiling in the Digital World. HHAI (2022)
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions. IEEE Trans. Software Eng. 47 (10) (2021)
Patrizio Migliarini, Gian Luca Scoccia, Marco Autili, Paola Inverardi
On the elicitation of privacy and ethics preferences of mobile users. MOBILESoft@ICSE (2020)
Gian Luca Scoccia, Marco Autili, Paola Inverardi
A self-configuring and adaptive privacy-aware permission system for Android apps. ACSOS (2020)
Dajana Cassioli, Antinisca Di Marco, Tania Di Mascio, Laura Tarantino, Paola Inverardi
Is Really IoT Technology Gender Neutral? MetroInd4.0&IoT (2020)
Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo
Hey, my data are mine!: active data to empower the user. ICSE (NIER) (2020)
Mai Abusair, Mohammad Sharaf, Antinisca Di Marco, Paola Inverardi
A Statistical Approach for Context-Awareness of Mobile Applications. ECSA Companion (2020)
Paola Inverardi
The European perspective on responsible computing. Commun. ACM 62 (4) (2019)
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)
Antonia Bertolino, Paola Inverardi
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? From Software Engineering to Formal Methods and Tools, and Back (2019)
Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli
Introducing Trust in Service-Oriented Distributed Systems through Blockchain. ISSRE Workshops (2019)
Marco Autili, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi
Automated synthesis of application-layer connectors from automata-based specifications. J. Comput. Syst. Sci. 104 (2019)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. IEEE Access 7 (2019)
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Paola Inverardi
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User. SERENE (2019)
Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. SEDA (2018)
Marco Autili, Paola Inverardi, Massimo Tivoli
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Sci. Comput. Program. 160 (2018)
Gian Luca Scoccia, Stefano Ruberto, Ivano Malavolta, Marco Autili, Paola Inverardi
An investigation into Android run-time permissions from the end users' perspective. MOBILESoft@ICSE (2018)
Mai Abusair, Antinisca Di Marco, Paola Inverardi
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction. QRS Companion (2017)
Mai Abusair, Antinisca Di Marco, Paola Inverardi
An empirical approach for determining context of mobile systems. ECSA (Companion) (2017)
Paola Inverardi
Models for the Automated Integration of Service-Oriented Software Systems. MiSE@ICSE (2017)
Mai Abusair, Mohammad Sharaf, Henry Muccini, Paola Inverardi
Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety. ECSA (Companion) (2017)
Bradley R. Schmerl, Paola Inverardi
Introduction to the Special Section on Best Papers from SEAMS 2015. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
User-centric Android flexible permissions. ICSE (Companion Volume) (2017)
Paola Inverardi
The Role of Models in the Automated Integration of Service-oriented Software Systems. MODELSWARD (2016)
Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi
Achieving functional and non functional interoperability through synthesized connectors. J. Syst. Softw. 111 (2016)
Kenji Tei, Nicolás D'Ippolito, Paola Inverardi
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8). NII Shonan Meet. Rep. 2016 (2016)
Marco Autili, Paola Inverardi, Massimo Tivoli
Synthesis of correct adaptors for protocol enhancement in component-based systems. CoRR (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Integration of Service-Oriented Software Systems. FSEN (2015)
Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. LATA (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Synthesis of Service Choreographies. IEEE Softw. 32 (1) (2015)
Marco Autili, Vittorio Cortellessa, Paolo Di Benedetto, Paola Inverardi
On the adaptation of context-aware services. CoRR (2015)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. ModComp@MoDELS (2014)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automatic adaptor synthesis for protocol transformation. CoRR (2014)
Amleto Di Salle, Paola Inverardi, Alexander Perucci
Towards Adaptable and Evolving Service Choreography in the Future Internet. SERVICES (2014)
Marco Autili, Paola Inverardi, Massimo Tivoli
CHOREOS: Large scale choreographies for the future internet. CSMR-WCRE (2014)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE (2013)
Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. Software Engineering for Self-Adaptive Systems (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)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE (2013)
Paola Inverardi
Taming the uncertainty: variability as a means for predictable system evolution. VaMoS (2013)
Antinisca Di Marco, Paola Inverardi, Romina Spalazzese
Synthesizing self-adaptive connectors meeting functional and performance concerns. SEAMS (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)
Paola Inverardi, Massimo Tivoli
Automatic synthesis of modular connectors via composition of protocol mediation patterns. ICSE (2013)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE (2013)
Antonia Bertolino, Paola Inverardi, Henry Muccini
Software architecture-based analysis and testing: a look into achievements and future challenges. Computing 95 (8) (2013)
Marco Mori, Anthony Cleve, Paola Inverardi
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems. ICCASA (2013)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
A hybrid approach for resource-based comparison of adaptable Java applications. Sci. Comput. Program. 78 (8) (2013)
Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Developing highly complex distributed systems: a software engineering perspective. J. Internet Serv. Appl. 3 (1) (2012)
Joanne M. Atlee, Paola Inverardi
Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38 (1) (2012)
Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese
Automated Synthesis of CONNECTors to support Software Evolution. ERCIM News 2012 (88) (2012)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop (2012)
Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke
Living with Uncertainty in the Age of Runtime Models. Models@run.time@Dagstuhl (2011)
Paola Inverardi, Marco Mori
Model checking requirements at run-time in adaptive systems. ASAS@ESEC/FSE (2011)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. SIGSOFT FSE (2011)
Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti
Exploiting software architecture to support requirements satisfaction testing. SIGSOFT FSE (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
ModelLAND: Where Do Models Come from? Models@run.time@Dagstuhl (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli
A development process for requirements based service choreography. RESS (2011)
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
Application-Layer Connector Synthesis. SFM (2011)
Paola Inverardi, Marco Mori
Requirements models at run-time to support consistent system evolutions. RE@RunTime (2011)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. ICSOFT (Selected Papers) (2011)
Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. SEFM (2011)
Paola Inverardi, Valérie Issarny, Romina Spalazzese
A Theory of Mediators for Eternal Connectors. ISoLA (2) (2010)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
A programming model for adaptable Java applications. PPPJ (2010)
Paola Inverardi, Marco Mori
Feature oriented evolutions for context-aware adaptive systems. EVOL/IWPSE (2010)
Romina Spalazzese, Paola Inverardi
Components Interoperability through Mediating Connector Patterns WCSI (2010)
Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione
Ad-opera: music-inspired self-adaptive systems. FoSER (2010)
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, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. ECSA (2010)
Paola Inverardi
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? QSIC (2010)
Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
Towards a Connector Algebra. ISoLA (2) (2010)
Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel
Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2010)
Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti
Towards a Stem Architecture Description Language for Self-Adaptive Systems. SASO (2010)
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville
Towards an Architecture for Runtime Interoperability. ISoLA (2) (2010)
Romina Spalazzese, Paola Inverardi
Mediating Connector Patterns for Components Interoperability. ECSA (2010)
Paola Inverardi, Marco Mori
A Software Lifecycle Process to Support Consistent Evolutions. Software Engineering for Self-Adaptive Systems (2010)
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. ISoLA (2) (2010)
Romina Spalazzese, Paola Inverardi, Valérie Issarny
Towards a formalization of mediating connectors for on the fly interoperability. WICSA/ECSA (2009)
Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Towards an assume-guarantee theory for adaptable systems. SEAMS (2009)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
Context-Aware Adaptive Services: The PLASTIC Approach. FASE (2009)
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, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems (2009)
Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS (2009)
Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE (2009)
Patrizio Pelliccione, Paola Inverardi, Henry Muccini
CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35 (3) (2009)
Paola Inverardi, Massimo Tivoli
The Future of Software: Adaptation and Dependability. ISSSE (2008)

Paola Inverardi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paola Inverardi