Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaola Inverardi
Person information
- affiliation: University of L'Aquila, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j47]Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero:
Systematic review on privacy categorisation. Comput. Sci. Rev. 49: 100574 (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 - [i12]Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero:
Systematic Review on Privacy Categorization. CoRR abs/2307.03652 (2023) - 2022
- [c173]Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli:
Ethical-aware autonomous systems from a social psychological lens. CoPDA@AVI 2022: 43-48 - [c172]Costanza Alfieri, Francesca Caroccia, Paola Inverardi:
AI Act and Individual Rights: A Juridical and Technical Perspective. IAIL@HHAI 2022 - [c171]Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero:
Exosoul: Ethical Profiling in the Digital World. HHAI 2022: 128-142 - [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 - [p6]Paola Inverardi:
The Challenge of Human Dignity in the Era of Autonomous Systems. Perspectives on Digital Humanism 2022: 25-29 - [i11]Davide Di Ruscio, Paola Inverardi, Patrizio Migliarini, Phuong T. Nguyen:
Leveraging Privacy Profiles to Empower Users in the Digital Society. CoRR abs/2204.00011 (2022) - [i10]Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero:
Exosoul: ethical profiling in the digital world. CoRR abs/2204.01588 (2022) - 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 - [c168]Mai Abusair, Mohammad Sharaf, Antinisca Di Marco, Paola Inverardi:
A Statistical Approach for Context-Awareness of Mobile Applications. ECSA Companion 2020: 180-194 - [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 - [c165]Dajana Cassioli, Antinisca Di Marco, Tania Di Mascio, Laura Tarantino, Paola Inverardi:
Is Really IoT Technology Gender Neutral? MetroInd4.0&IoT 2020: 324-328
2010 – 2019
- 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) - [j44]Paola Inverardi:
The European perspective on responsible computing. Commun. ACM 62(4): 64 (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) - [c164]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: 56-66 - [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 - [c161]Paola Inverardi:
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User. SERENE 2019: 3-8 - [e11]Tomás Bures, Laurence Duchien, Paola Inverardi:
Software Architecture - 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings. Lecture Notes in Computer Science 11681, Springer 2019, ISBN 978-3-030-29982-8 [contents] - [i9]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 abs/1903.04771 (2019) - 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
- [j41]Bradley R. Schmerl, Paola Inverardi:
Introduction to the Special Section on Best Papers from SEAMS 2015. ACM Trans. Auton. Adapt. Syst. 11(4): 22:1-22:2 (2017) - [c158]Mai Abusair, Antinisca Di Marco, Paola Inverardi:
An empirical approach for determining context of mobile systems. ECSA (Companion) 2017: 71-77 - [c157]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: 78-84 - [c156]Paola Inverardi:
Models for the Automated Integration of Service-Oriented Software Systems. MiSE@ICSE 2017: 2 - [c155]Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi:
User-centric Android flexible permissions. ICSE (Companion Volume) 2017: 365-367 - [c154]Mai Abusair, Antinisca Di Marco, Paola Inverardi:
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction. QRS Companion 2017: 31-38 - [p5]Samuel Kounev, Peter R. Lewis, Kirstie L. Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey O. Kephart, Andrea Zisman:
The Notion of Self-aware Computing. Self-Aware Computing Systems 2017: 3-16 - [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 - [p2]Jürgen Walter, Antinisca Di Marco, Simon Spinner, Paola Inverardi, Samuel Kounev:
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers. Self-Aware Computing Systems 2017: 507-528 - [e10]Ravi Prakash Gorthi, Santonu Sarkar, Nenad Medvidovic, Vinay Kulkarni, Atul Kumar, Padmaja Joshi, Paola Inverardi, Ashish Sureka, Richa Sharma:
Proceedings of the 10th Innovations in Software Engineering Conference, ISEC 2017, Jaipur, India, February 5-7, 2017. ACM 2017, ISBN 978-1-4503-4856-0 [contents] - 2016
- [j40]Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi:
Achieving functional and non functional interoperability through synthesized connectors. J. Syst. Softw. 111: 185-199 (2016) - [c153]Paola Inverardi:
The Role of Models in the Automated Integration of Service-oriented Software Systems. MODELSWARD 2016: 7 - [i8]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) - 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 - [e9]Paola Inverardi, Bradley R. Schmerl:
10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18-19, 2015. IEEE Computer Society 2015, ISBN 978-0-7695-5567-6 [contents] - [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 - [c148]Amleto Di Salle, Paola Inverardi, Alexander Perucci:
Towards Adaptable and Evolving Service Choreography in the Future Internet. SERVICES 2014: 333-337 - [p1]Paola Inverardi, Patrizio Pelliccione, Michelangelo Lupone, Alessio Gabriele:
Ad-Opera: Music-Inspired Self-Adaptive Systems. Computation for Humanity 2014: 359-380 - [i5]Marco Autili, Paola Inverardi, Massimo Tivoli:
Automatic adaptor synthesis for protocol transformation. CoRR abs/1412.0527 (2014) - 2013
- [j38]Antonia Bertolino, Paola Inverardi, Henry Muccini:
Software architecture-based analysis and testing: a look into achievements and future challenges. Computing 95(8): 633-648 (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) - [c147]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: 3-30 - [c146]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: 31-63 - [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 - [c143]Marco Mori, Anthony Cleve, Paola Inverardi:
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems. ICCASA 2013: 304-315 - [c142]Paola Inverardi, Massimo Tivoli:
Automatic synthesis of modular connectors via composition of protocol mediation patterns. ICSE 2013: 3-12 - [c141]Antinisca Di Marco, Paola Inverardi, Romina Spalazzese:
Synthesizing self-adaptive connectors meeting functional and performance concerns. SEAMS 2013: 133-142 - [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 - [c139]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: 19-23 - [c138]Paola Inverardi:
Taming the uncertainty: variability as a means for predictable system evolution. VaMoS 2013: 2:1 - 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) - [j35]Joanne M. Atlee, Paola Inverardi:
Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (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 - [i4]Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese:
Automated Synthesis of CONNECTors to support Software Evolution. ERCIM News 2012(88) (2012) - 2011
- [b1]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Model-Based Software Performance Analysis. Springer 2011, ISBN 978-3-642-13620-7, pp. I-XII, 1-190 - [c136]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: 47-100 - [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 - [c134]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: 20-37 - [c133]Paola Inverardi, Marco Mori:
Requirements models at run-time to support consistent system evolutions. RE@RunTime 2011: 1-8 - [c132]Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli:
A development process for requirements based service choreography. RESS 2011: 59-62 - [c131]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: 286-301 - [c130]Paola Inverardi, Romina Spalazzese, Massimo Tivoli:
Application-Layer Connector Synthesis. SFM 2011: 148-190 - [c129]Paola Inverardi, Marco Mori:
Model checking requirements at run-time in adaptive systems. ASAS@ESEC/FSE 2011: 5-9 - [c128]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: 484-487 - [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 - [e8]Ivica Crnkovic, Judith A. Stafford, Dorina C. Petriu, Jens Happe, Paola Inverardi:
7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings. ACM 2011, ISBN 978-1-4503-0724-6 [contents] - 2010
- [c126]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: 1-32 - [c125]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: 51-75 - [c124]Paola Inverardi, Marco Mori:
A Software Lifecycle Process to Support Consistent Evolutions. Software Engineering for Self-Adaptive Systems 2010: 239-264 - [c123]Romina Spalazzese, Paola Inverardi:
Mediating Connector Patterns for Components Interoperability. ECSA 2010: 335-343 - [c122]Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti:
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm. ECSA 2010: 485-488 - [c121]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: 206-220 - [c120]Paola Inverardi, Valérie Issarny, Romina Spalazzese:
A Theory of Mediators for Eternal Connectors. ISoLA (2) 2010: 236-250 - [c119]Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese:
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. ISoLA (2) 2010: 251-262 - [c118]Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli:
Towards a Connector Algebra. ISoLA (2) 2010: 278-292 - [c117]Paola Inverardi, Marco Mori:
Feature oriented evolutions for context-aware adaptive systems. EVOL/IWPSE 2010: 93-97 - [c116]Marco Autili, Paolo Di Benedetto, Paola Inverardi:
A programming model for adaptable Java applications. PPPJ 2010: 119-128 - [c115]Paola Inverardi:
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? QSIC 2010: 1 - [c114]Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti:
Towards a Stem Architecture Description Language for Self-Adaptive Systems. SASO 2010: 269-270 - [c113]Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione:
Ad-opera: music-inspired self-adaptive systems. FoSER 2010: 119-124 - [c112]Romina Spalazzese, Paola Inverardi:
Components Interoperability through Mediating Connector Patterns. WCSI 2010: 27-41 - [i3]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
2000 – 2009
- 2009
- [j34]Patrizio Pelliccione, Paola Inverardi, Henry Muccini:
CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009) - [c111]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: 1-26 - [c110]Marco Autili, Paolo Di Benedetto, Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach. FASE 2009: 124-139 - [c109]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: 154-161 - [c108]Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Towards an assume-guarantee theory for adaptable systems. SEAMS 2009: 106-115 - [c107]Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150 - [c106]Romina Spalazzese, Paola Inverardi, Valérie Issarny:
Towards a formalization of mediating connectors for on the fly interoperability. WICSA/ECSA 2009: 345-348 - [e7]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2 [contents] - 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) - [j32]Massimo Tivoli, Paola Inverardi:
Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3): 181-212 (2008) - [c105]Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353 - [c104]Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli:
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. COMPSAC 2008: 1329-1334 - [c103]