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
- 2024
[j49]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): 16 (2024)- [j48]Costanza Alfieri, Juri Di Rocco, Paola Inverardi, Phuong T. Nguyen:
Exploring user privacy awareness on GitHub: an empirical study. Empir. Softw. Eng. 29(6): 156 (2024) - [c181]Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia:
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning. AAAI 2024: 22385-22392 - [c180]Costanza Alfieri, Martina De Sanctis, Donatella Donati, Paola Inverardi:
In Search of Clarity: Discerning Between Human Replacement and Augmentation. HHAI 2024: 36-45 - [c179]Mashal Afzal Memon, Gian Luca Scoccia, Marco Autili, Paola Inverardi:
An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems. ICSA-C 2024: 60-64 - [c178]Martina De Sanctis, Paola Inverardi:
Engineering Ethical-Aware Collective Adaptive Systems. ISoLA (1) 2024: 238-252 - [c177]Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard:
On Representing Humans' Soft-Ethics Preferences As Dispositions. Ital-IA 2024: 135-140 - [c176]Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione:
Do Modern Systems Require New Quality Dimensions? QUATIC 2024: 83-90 - [c175]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: 200-206 - [i16]Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione:
Engineering Digital Systems for Humanity: Challenges and Opportunities. CoRR abs/2406.09065 (2024) - [i15]Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard:
On Representing Humans' Soft-Ethics Preferences As Dispositions. CoRR abs/2408.06355 (2024) - [i14]Costanza Alfieri, Juri Di Rocco, Paola Inverardi, Phuong T. Nguyen:
Exploring User Privacy Awareness on GitHub: An Empirical Study. CoRR abs/2409.04048 (2024) - 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 - [i13]Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero:
Systematic Review on Privacy Categorization. CoRR abs/2307.03652 (2023) - [i12]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 abs/2312.09699 (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]Sharareh Afsharian, Marco Giacomobono, Paola Inverardi:
A framework for software project estimation based on cosmic, dsm and rework characterization. BIPI@ICSE 2008: 15-24 - [c102]Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli:
A Framework for Analyzing and Testing the Performance of Software Services. ISoLA 2008: 206-220 - [c101]Paola Inverardi, Massimo Tivoli:
The Future of Software: Adaptation and Dependability. ISSSE 2008: 1-31 - [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 - [c99]Antonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza:
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication. ASE Workshops 2008: 65-70 - [e6]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e5]José Luiz Fiadeiro, Paola Inverardi:
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4961, Springer 2008, ISBN 978-3-540-78742-6 [contents] - [i2]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008 - [i1]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008 - 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) - [j30]Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi:
Model-based system reconfiguration for dynamic performance management. J. Syst. Softw. 80(4): 455-473 (2007) - [c98]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. FASE 2007: 57-71 - [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 - [c95]Leonardo Mostarda, Arianna Tocchio, Paola Inverardi, Stefania Costantini:
A Geo Time Authentication System. IFIPTM 2007: 123-138 - [c94]Paola Inverardi, Leonardo Mostarda:
DESERT: a decentralized monitoring tool generator. ASE 2007: 529-530 - [c93]Paola Inverardi, Massimo Tivoli:
A reuse-based approach to the correct and automatic composition of web-services. ESSPE 2007: 29-33 - [c92]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Non-Functional Modeling and Validation in Model-Driven Architecture. WICSA 2007: 25 - [c91]Fabio Mancinelli, Paola Inverardi:
Quantitative resource-oriented analysis of Java (Adaptable) applications. WOSP 2007: 15-25 - 2006
- [j29]Flavio Corradini, Paola Inverardi, Alexander L. Wolf:
On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006) - [c90]Paola Inverardi, Leonardo Mostarda, Alfredo Navarra:
Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. AINA (2) 2006: 116-120 - [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 - [c88]Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione:
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. FORTE 2006: 243-258 - [c87]Fabio Mancinelli, Paola Inverardi:
A resource model for adaptable applications. SEAMS@ICSE 2006: 9-15 - [c86]Paola Inverardi, Leonardo Mostarda:
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. WADS 2006: 210-236 - [c85]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Software performance model-driven architecture. SAC 2006: 1218-1223 - [c84]Marco Autili, Paola Inverardi, Patrizio Pelliccione:
A scenario based notation for specifying temporal properties. SCESM 2006: 21-28 - [c83]Paola Inverardi:
Software of the Future Is the Future of Software? TGC 2006: 69-85 - [e4]Paola Inverardi, Mehdi Jazayeri:
Software Engineering Education in the Modern Age, Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures. Lecture Notes in Computer Science 4309, Springer 2006, ISBN 3-540-68203-1 [contents] - 2005
- [c82]Mauro Caporuscio, Paola Inverardi:
Uncertain event-based model for egocentric context sensing. SEM 2005: 25-32 - [c81]Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio:
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. EWSA 2005: 130-145 - [c80]Paola Inverardi, Leonardo Mostarda:
A Distributed Intrusion Detection Approach for Secure Software Architecture. EWSA 2005: 168-184 - [c79]Paola Inverardi, Mehdi Jazayeri:
Introduction to education and training track. ICSE 2005: 606 - [c78]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Transformations of software models into performance models. ICSE 2005: 728-729 - [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 - [c76]Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114 - [c75]Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252 - [c74]Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi:
Run-time performance management of the Siena publish/subscribe middleware. WOSP 2005: 65-74 - 2004
- [j28]Carlo Ghezzi, Paola Inverardi:
Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004) - [j27]Henry Muccini, Antonia Bertolino, Paola Inverardi:
Using Software Architecture for Code Testing. IEEE Trans. Software Eng. 30(3): 160-171 (2004) - [j26]Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni:
Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. 30(5): 295-310 (2004) - [c73]Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System. CBSE 2004: 84-99 - [c72]Paola Inverardi:
Compositionality, Coordination and Software Architecture. COORDINATION 2004: 3-4 - [c71]Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione:
Formal Analysis of Architectural Patterns. EWSA 2004: 10-24 - [c70]Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione:
Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004: 221-230 - [c69]Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience. ASE 2004: 298-301 - [c68]Paola Inverardi, Fabio Mancinelli, Monica Nesi:
A declarative framework for adaptable applications in heterogeneous environments. SAC 2004: 1177-1183 - [c67]Antinisca Di Marco, Paola Inverardi:
Compositional Generation of Software Architecture Performance QN Models. WICSA 2004: 37-46 - [c66]Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi:
Experimenting different software architectures performance techniques: a case study. WOSP 2004: 115-119 - [c65]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione:
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. TACoS 2004: 31-44 - 2003
- [j25]Paola Inverardi, Massimo Tivoli:
Deadlock-free software architectures for COM/DCOM Applications. J. Syst. Softw. 65(3): 173-183 (2003) - [j24]Simonetta Balsamo, Vittoria De Nitto Persone, Paola Inverardi:
A review on queueing network models with finite capacity queues for software architectures performance prediction. Perform. Evaluation 51(2/4): 269-288 (2003) - [j23]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003) - [j22]Paola Inverardi, Henry Muccini:
Software Architectures and Coordination Models. J. Supercomput. 24(2): 141-149 (2003) - [c64]Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani:
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. FME 2003: 114-132 - [c63]Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi:
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. WADS 2003: 167-190 - [c62]Marco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf:
A Lightweight Infrastructure for Reconfiguring Applications. SCM 2003: 231-244 - [c61]Paola Inverardi, Massimo Tivoli:
Software Architecture for Correct Components Assembly. SFM 2003: 92-121 - [c60]Antonia Bertolino, Paola Inverardi, Henry Muccini:
Formal Methods in Testing Software Architectures. SFM 2003: 122-147 - [c59]Mauro Caporuscio, Paola Inverardi:
Yet Another Framework for Supporting Mobile and Collaborative Work. WETICE 2003: 81-86 - [c58]Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone:
Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123- - [c57]Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Three Performance Models at Work: A Software Designer Perspective. FOCLASA 2003: 219-239 - [e3]Marco Bernardo, Paola Inverardi:
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Lecture Notes in Computer Science 2804, Springer 2003, ISBN 3-540-20083-5 [contents] - [e2]Jukka Paakki, Paola Inverardi:
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. ACM 2003, ISBN 978-1-58113-743-9 [contents] - 2002
- [j21]Paola Inverardi:
The SALADIN project: summary report. ACM SIGSOFT Softw. Eng. Notes 27(3): 38-43 (2002) - [c56]Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione:
An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98 - [c55]Paola Inverardi, G. Marinelli, Fabio Mancinelli:
Adaptive Applications for Mobile Heterogenous Devices. ICDCS Workshops 2002: 410-418 - [c54]Fabio Di Vito, Paola Inverardi, Giovanna Melideo:
A Context-Aware Approach to Infer Trust in Public Key Infrastructures. Certification and Security in E-Services 2002: 111-125 - [c53]Marco Castaldi, Paola Inverardi, Sharareh Afsharian:
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture. MASCOTS 2002: 281-290 - [c52]Paola Inverardi, Massimo Tivoli:
Automatic Failures-Free Connector Synthesis: An Example. RISSEF 2002: 184-197 - [c51]Paola Inverardi, Fabio Mancinelli, G. Marinelli:
Correct deployment and adaptation of software applications on heterogenous (mobile) devices. WOSS 2002: 108-110 - 2001
- [j20]Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001) - [j19]Federica Aquilani, Simonetta Balsamo, Paola Inverardi:
Performance analysis at the software architectural design level. Perform. Evaluation 45(2-3): 147-178 (2001) - [c50]Paola Inverardi, Sebastián Uchitel:
Proving Deadlock Freedom in Component-Based Programming. FASE 2001: 60-75 - [c49]Carla Colafigli, Paola Inverardi, Rocco Matricciani:
InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces. HICSS 2001 - [c48]Antonia Bertolino, Paola Inverardi, Henry Muccini:
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220 - [c47]Paola Inverardi, Simone Scriboni:
Connectors Synthesis for Deadlock-Free Component-Based Architectures. ASE 2001: 174- - [c46]Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349 - [c45]Paola Inverardi, Massimo Tivoli:
Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE 2001: 121-131 - 2000
- [j18]Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich:
Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9(3): 239-272 (2000) - [c44]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Reconfiguration of Software Architecture Styles with Name Mobility. COORDINATION 2000: 148-163 - [c43]Paola Inverardi, Henry Muccini:
Coordination Models and Software Architectures in a Unified Software Development Process. COORDINATION 2000: 323-328 - [c42]Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini:
Deriving test plans from architectural descriptions. ICSE 2000: 220-229 - [c41]Paola Inverardi, Henry Muccini:
A Coordination Process Based on UML and a Software Architectural Description. PDPTA 2000 - [c40]F. Andolfi, Federica Aquilani, Simonetta Balsamo, Paola Inverardi:
Deriving performance models of software architectures from message sequence charts. Workshop on Software and Performance 2000: 47-57 - [c39]Flavio Corradini, Paola Inverardi:
Preface. MTCS 2000: 195-196 - [e1]Flavio Corradini, Paola Inverardi:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000. Electronic Notes in Theoretical Computer Science 39(3), Elsevier 2000 [contents]
1990 – 1999
- 1999
- [j17]Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi:
On the Relationships among four Timed Process Algebras. Fundam. Informaticae 38(4): 377-395 (1999) - [j16]Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli:
A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Informaticae 39(3): 273-304 (1999) - [j15]Daniele Compare, Paola Inverardi, Alexander L. Wolf:
Uncovering Architectural Mismatch in Component Behavior. Sci. Comput. Program. 33(2): 101-131 (1999) - [j14]Debra J. Richardson, Paola Inverardi:
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. ACM SIGSOFT Softw. Eng. Notes 24(4): 33-42 (1999) - [c38]Paola Inverardi, Monica Nesi:
Adding sorts to TRSs: a result on modularity of termination. APPIA-GULP-PRODE 1999: 273-288 - [c37]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339 - [c36]Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59 - [c35]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. WICSA 1999: 127-144 - 1998
- [c34]Paola Inverardi, Calogero Mangano, Fabrizio Russo, Simonetta Balsamo:
Performance Evaluation of a Software Architecture: A Case Study. IWSSD 1998: 116-125 - [c33]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Graph grammars and constraint solving for software architecture styles. ISAW@FSE 1998: 69-72 - [c32]Simonetta Balsamo, Paola Inverardi, Calogero Mangano:
An approach to performance evaluation of software architectures. WOSP 1998: 178-190 - 1997
- [c31]Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich:
Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION 1997: 46-63 - [c30]Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti:
An approach to integration testing based on architectural descriptions. ICECCS 1997: 77- - 1996
- [j13]Paola Inverardi, Corrado Priami:
Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods Syst. Des. 8(1): 7-38 (1996) - [c29]Paola Inverardi, Daniele Compare:
Modelling Interoperability by CHAM: A Case Study. COORDINATION 1996: 428-431 - [c28]Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza:
Integrity Constraints as Views in Deductice Databases. FMLDO 1996: 133-140 - [c27]Paola Inverardi, Daniel Yankelevich:
Relating CHAM Descriptions of Software Architectures. IWSSD 1996: 66-74 - [c26]Antonia Bertolino, Paola Inverardi:
Architecture-based software testing. ISAW/Viewpoints@FSE 1996: 62-64 - 1995
- [j12]Paola Inverardi, Monica Nesi:
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. Theor. Comput. Sci. 139(1&2): 315-354 (1995) - [j11]Paola Inverardi, Monica Nesi:
Infinite Normal Forms for Non-Linear Term Rewritting Systems. Theor. Comput. Sci. 152(2): 285-303 (1995) - [j10]Paola Inverardi, Alexander L. Wolf:
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. Software Eng. 21(4): 373-386 (1995) - [c25]Xiaojun Chen, Paola Inverardi, Carlo Montangero:
ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410 - [c24]Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215 - 1994
- [j9]Nicoletta De Francesco, Paola Inverardi:
Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Informatica 31(1): 55-80 (1994) - [j8]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. 6(6): 676-695 (1994) - [j7]Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi:
Graphics by a Logic Database Management System. J. Vis. Lang. Comput. 5(4): 365-388 (1994) - [c23]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) 1994: 440-441 - [c22]Paola Inverardi:
Rewriting for Preorder Relations. CTRS 1994: 223-234 - [c21]Paola Inverardi, Marisa Venturini Zilli:
Rational Rewriting. MFCS 1994: 433-442 - 1993
- [j6]A. Bucci, Paola Inverardi, Simone Martini:
An 'Executable' Impredicative Semantics for the Ada Configuration. Formal Aspects Comput. 5(2): 91-120 (1993) - [j5]Paola Inverardi, Franco Mazzanti:
Experimenting with Dynamic Linking with Ada. Softw. Pract. Exp. 23(1): 1-14 (1993) - [c20]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569 - [c19]Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich:
Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT 1993: 105-120 - 1992
- [j4]Michele Boreale, Paola Inverardi, Monica Nesi:
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43(3): 155-160 (1992) - [c18]Paola Inverardi, Monica Nesi:
A Strategy to Deal with Divergent Rewrite Systems. CTRS 1992: 458-467 - [c17]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Prototyping in the GEDBLOG System. SEKE 1992: 194-199 - 1991
- [j3]Paola Inverardi, Corrado Priami:
Evaluation of Tools for the Analysis of Communicating Systems. Bull. EATCS 45: 158-185 (1991) - [c16]Paola Inverardi, Monica Nesi:
On Rewriting Behavioral Semantics in Process Algebras. AMAST 1991: 108-116 - [c15]Nicoletta De Francesco, Paola Inverardi:
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276 - [c14]Rocco De Nicola, Paola Inverardi, Monica Nesi:
Equational reasoning about LOTOS specifications: a rewriting approach. IWSSD 1991: 148-155 - [c13]Paola Inverardi, Monica Nesi:
Infinite Normal Forms for Non-Linear Term Rewriting Systems. MFCS 1991: 231-239 - [c12]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara:
Supporting Reuse and Configuration: A Port Based SCM Model. SCM 1991: 62-67 - [c11]Albert John Camilleri, Paola Inverardi, Monica Nesi:
Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296 - 1990
- [j2]Paola Inverardi, Monica Nesi:
A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett. 35(4): 191-199 (1990)
1980 – 1989
- 1989
- [c10]Rocco De Nicola, Paola Inverardi, Monica Nesi:
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems 1989: 54-67 - [c9]Patrizia Asirelli, C. Billi, Paola Inverardi:
Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS 1989: 1-11 - [c8]Paola Inverardi, Simone Martini, Carlo Montangero:
Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271 - 1988
- [c7]Stefania Gnesi, Paola Inverardi, Monica Nesi:
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196 - [c6]Patrizia Asirelli, Paola Inverardi, A. Mustaro:
Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86 - [c5]Patrizia Asirelli, Paola Inverardi:
Using Logic Databases in Software Development Environments. PLILP 1988: 292-299 - [c4]Patrizia Asirelli, Paola Inverardi:
EDBLOG: A Kernel for Configuration Environments. SCM 1988: 422-425 - 1987
- [c3]Patrizia Asirelli, Paola Inverardi:
Enhancing Configuration Facilities in Software Development: A Logic Approach. ESEC 1987: 55-63 - [c2]Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335 - 1986
- [j1]Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer:
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw. Pract. Exp. 16(8): 701-717 (1986) - 1985
- [c1]Paola Inverardi, Franco Mazzanti, Carlo Montangero:
The use of Ada in the design of distributed systems. SIGAda 1985: 85-96
Coauthor Index
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-12-10 21:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
