Остановите войну!
for scientists:
default search action
Paola Inverardi
- > Home > Persons > Paola Inverardi
Publications
- 2023
- [c174]Mashal Afzal Memon, Gian Luca Scoccia, Paola Inverardi, Marco Autili:
Don't You Agree with My Ethics? Let's Negotiate! HHAI 2023: 385-388 - 2022
- [c170]Gian Luca Scoccia, Marco Autili, Giovanni Stilo, Paola Inverardi:
An empirical study of privacy labels on the Apple iOS mobile app store. MOBILESoft 2022: 114-124 - 2021
- [j46]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): 2032-2051 (2021) - 2020
- [c169]Gian Luca Scoccia, Marco Autili, Paola Inverardi:
A self-configuring and adaptive privacy-aware permission system for Android apps. ACSOS 2020: 38-47 - [c167]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: 5-8 - [c166]Patrizio Migliarini, Gian Luca Scoccia, Marco Autili, Paola Inverardi:
On the elicitation of privacy and ethics preferences of mobile users. MOBILESoft@ICSE 2020: 132-136 - 2019
- [j45]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: 62011-62021 (2019) - [j43]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: 17-40 (2019) - [c163]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: 191-216 - [c162]Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli:
Introducing Trust in Service-Oriented Distributed Systems through Blockchain. ISSRE Workshops 2019: 149-154 - 2018
- [j42]Marco Autili, Paola Inverardi, Massimo Tivoli:
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Sci. Comput. Program. 160: 3-29 (2018) - [c160]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: 45-55 - [c159]Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi:
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. SEDA 2018: 232-244 - 2017
- [c155]Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi:
User-centric Android flexible permissions. ICSE (Companion Volume) 2017: 365-367 - [p4]Javier Cámara, 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: Related Concepts and Research Areas. Self-Aware Computing Systems 2017: 17-49 - [p3]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - 2015
- [j39]Marco Autili, Paola Inverardi, Massimo Tivoli:
Automated Synthesis of Service Choreographies. IEEE Softw. 32(1): 50-57 (2015) - [c152]Marco Autili, Paola Inverardi, Massimo Tivoli:
Automated Integration of Service-Oriented Software Systems. FSEN 2015: 30-45 - [c151]Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli:
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. LATA 2015: 3-24 - [i7]Marco Autili, Paola Inverardi, Massimo Tivoli:
Synthesis of correct adaptors for protocol enhancement in component-based systems. CoRR abs/1504.07504 (2015) - [i6]Marco Autili, Vittorio Cortellessa, Paolo Di Benedetto, Paola Inverardi:
On the adaptation of context-aware services. CoRR abs/1504.07558 (2015) - 2014
- [c150]Marco Autili, Paola Inverardi, Massimo Tivoli:
CHOREOS: Large scale choreographies for the future internet. CSMR-WCRE 2014: 391-394 - [c149]Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi:
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. ModComp@MoDELS 2014: 67-77 - [i5]Marco Autili, Paola Inverardi, Massimo Tivoli:
Automatic adaptor synthesis for protocol transformation. CoRR abs/1412.0527 (2014) - 2013
- [j37]Marco Autili, Paolo Di Benedetto, Paola Inverardi:
A hybrid approach for resource-based comparison of adaptable Java applications. Sci. Comput. Program. 78(8): 987-1009 (2013) - [c145]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: 282-306 - [c144]Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli:
A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE 2013: 37-52 - [c140]Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli:
Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE 2013: 2-12 - 2012
- [j36]Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Developing highly complex distributed systems: a software engineering perspective. J. Internet Serv. Appl. 3(1): 15-22 (2012) - [c137]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: 118-131 - 2011
- [c135]Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
ModelLAND: Where Do Models Come from? Models@run.time@Dagstuhl 2011: 162-187 - [c132]Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli:
A development process for requirements based service choreography. RESS 2011: 59-62 - [c127]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: 488-491 - 2010
- [c118]Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli:
Towards a Connector Algebra. ISoLA (2) 2010: 278-292 - [c116]Marco Autili, Paolo Di Benedetto, Paola Inverardi:
A programming model for adaptable Java applications. PPPJ 2010: 119-128 - 2009
- [c110]Marco Autili, Paolo Di Benedetto, Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach. FASE 2009: 124-139 - 2008
- [j33]Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri:
Towards Self-evolving Context-aware Services. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 11 (2008) - [c104]Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli:
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. COMPSAC 2008: 1329-1334 - [c100]Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli:
A development process for context-aware adaptive services. ASE Workshops 2008: 9-16 - 2007
- [j31]Marco Autili, Paola Inverardi, Patrizio Pelliccione:
Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007) - [c97]Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli:
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 - [c96]Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli:
A Development Process for Self-adapting Service Oriented Applications. ICSOC 2007: 442-448 - 2006
- [c89]Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli:
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA 2006: 17-32 - [c84]Marco Autili, Paola Inverardi, Patrizio Pelliccione:
A scenario based notation for specifying temporal properties. SCESM 2006: 21-28 - 2005
- [c77]Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili:
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE 2005: 405-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-03 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint