Paola Inverardi

281 papers A* 17A 5B 20C 13Misc 4Journal 72Unranked 134
YearRankTypeTitle / Venue / Authors
2026 J jnl
A reference architecture for ethical-aware autonomous systems.
J. Syst. Softw.
Marco Autili, Martina De Sanctis, Paola Inverardi, Mashal Afzal Memon, Patrizio Pelliccione, Sara Pettinari
2026 B conf
Embedding Normative Requirements in Fuzzy Logic.
REFSQ
Ziba Assadi, Paola Inverardi
2026 J jnl
Ethics label for digital systems to promote transparency and user awareness.
J. Syst. Softw.
Marco Autili, Riccardo Corsi, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
2026 — conf
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring.
TACAS (2)
Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard
2026 J jnl
Fuzzy Representation of Norms.
CoRR
Ziba Assadi, Paola Inverardi
2026 J jnl
RobEthiChor: Automated context-aware ethics-based negotiation for autonomous robots.
J. Syst. Softw.
Mashal Afzal Memon, Gianluca Filippone, Gian Luca Scoccia, Marco Autili, Paola Inverardi
2026 J jnl
fRAme: an evaluation framework for human augmentation or replacement by autonomous intelligent systems.
AI Soc.
Costanza Alfieri, Martina De Sanctis, Donatella Donati, Paola Inverardi
2025 A* conf
Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning.
ASE
Patrizio Migliarini, Mashal Afzal Memon, Marco Autili, Paola Inverardi
2025 J jnl
Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning.
CoRR
Patrizio Migliarini, Mashal Afzal Memon, Marco Autili, Paola Inverardi
2025 J jnl
An Anthropologist LLM to Elicit Users' Moral Preferences through Role-Play.
CoRR
Gianluca De Ninno, Paola Inverardi, Francesca Belotti
2025 — conf
Beyond the Checklist: Rethinking Trustworthiness in AI System.
REW
Donatella Donati, Paola Inverardi, Beatrice Melis, Patrizio Pelliccione
2025 J jnl
Engineering Digital Systems for Humanity: A Research Roadmap.
ACM Trans. Softw. Eng. Methodol.
Marco Autili, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
2025 — conf
Hybrid Autonomy: Towards a Unified Framework on Adaptability and Ethical Trust in Autonomous Systems.
HHAI
Beatrice Melis, Martina De Sanctis, Paola Inverardi, Alessio Malizia
2025 — conf
Realizing Ethical-Aware Business Processes.
DIGHUM
Sara Pettinari, Martina De Sanctis, Paola Inverardi
2025 J jnl
RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous Robots.
CoRR
Mashal Afzal Memon, Gianluca Filippone, Gian Luca Scoccia, Marco Autili, Paola Inverardi
2024 A* conf
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach.
ASE
Mashal Afzal Memon, Marco Autili, Gianluca Filippone, Gian Luca Scoccia, Paola Inverardi
2024 — conf
An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems.
ICSA-C
Mashal Afzal Memon, Gian Luca Scoccia, Marco Autili, Paola Inverardi
2024 Misc conf
Do Modern Systems Require New Quality Dimensions?
QUATIC
Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
2024 J jnl
Engineering Digital Systems for Humanity: Challenges and Opportunities.
CoRR
Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
2024 J jnl
Engineering Digital Systems for Humanity: a Research Roadmap.
CoRR
Marco Autili, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione
2024 — conf
Engineering Ethical-Aware Collective Adaptive Systems.
ISoLA (1)
Martina De Sanctis, Paola Inverardi
2024 J jnl
Exploring User Privacy Awareness on GitHub: An Empirical Study.
CoRR
Costanza Alfieri, Juri Di Rocco, Paola Inverardi, Phuong T. Nguyen
2024 J jnl
Exploring user privacy awareness on GitHub: an empirical study.
Empir. Softw. Eng.
Costanza Alfieri, Juri Di Rocco, Paola Inverardi, Phuong T. Nguyen
2024 — conf
Human empowerment in self-adaptive socio-technical systems.
SEAMS@ICSE
Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogério de Lemos, Dimitri Van Landuyt, Andrea Zisman
2024 — conf
In Search of Clarity: Discerning Between Human Replacement and Augmentation.
HHAI
Costanza Alfieri, Martina De Sanctis, Donatella Donati, Paola Inverardi
2024 J jnl
Leveraging privacy profiles to empower users in the digital society.
Autom. Softw. Eng.
Davide Di Ruscio, Paola Inverardi, Patrizio Migliarini, Phuong T. Nguyen
2024 — conf
On Representing Humans' Soft-Ethics Preferences As Dispositions.
Ital-IA
Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard
2024 J jnl
On Representing Humans' Soft-Ethics Preferences As Dispositions.
CoRR
Donatella Donati, Ziba Assadi, Simone Gozzano, Paola Inverardi, Nicolas Troquard
2024 A* conf
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning.
AAAI
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
2023 — conf
Don't You Agree with My Ethics? Let's Negotiate!
HHAI
Mashal Afzal Memon, Gian Luca Scoccia, Paola Inverardi, Marco Autili
2023 J jnl
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version).
CoRR
Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia
2023 J jnl
Systematic Review on Privacy Categorization.
CoRR
Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
2023 J jnl
Systematic review on privacy categorisation.
Comput. Sci. Rev.
Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
2022 — conf
AI Act and Individual Rights: A Juridical and Technical Perspective.
IAIL@HHAI
Costanza Alfieri, Francesca Caroccia, Paola Inverardi
2022 — conf
An empirical study of privacy labels on the Apple iOS mobile app store.
MOBILESoft
Gian Luca Scoccia, Marco Autili, Giovanni Stilo, Paola Inverardi
2022 — conf
Ethical-aware autonomous systems from a social psychological lens.
CoPDA@AVI
Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli
2022 — conf
Exosoul: Ethical Profiling in the Digital World.
HHAI
Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
2022 J jnl
Exosoul: ethical profiling in the digital world.
CoRR
Costanza Alfieri, Paola Inverardi, Patrizio Migliarini, Massimiliano Palmiero
2022 J jnl
Leveraging Privacy Profiles to Empower Users in the Digital Society.
CoRR
Davide Di Ruscio, Paola Inverardi, Patrizio Migliarini, Phuong T. Nguyen
2022 — ch.
The Challenge of Human Dignity in the Era of Autonomous Systems.
Perspectives on Digital Humanism
Paola Inverardi
2021 J jnl
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions.
IEEE Trans. Software Eng.
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
2020 — conf
A Statistical Approach for Context-Awareness of Mobile Applications.
ECSA Companion
Mai Abusair, Mohammad Sharaf, Antinisca Di Marco, Paola Inverardi
2020 — conf
A self-configuring and adaptive privacy-aware permission system for Android apps.
ACSOS
Gian Luca Scoccia, Marco Autili, Paola Inverardi
2020 — conf
Hey, my data are mine!: active data to empower the user.
ICSE (NIER)
Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo
2020 — conf
Is Really IoT Technology Gender Neutral?
MetroInd4.0&IoT
Dajana Cassioli, Antinisca Di Marco, Tania Di Mascio, Laura Tarantino, Paola Inverardi
2020 — conf
On the elicitation of privacy and ethics preferences of mobile users.
MOBILESoft@ICSE
Patrizio Migliarini, Gian Luca Scoccia, Marco Autili, Paola Inverardi
2019 J jnl
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.
IEEE Access
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2019 J jnl
Automated synthesis of application-layer connectors from automata-based specifications.
J. Comput. Syst. Sci.
Marco Autili, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi
2019 — conf
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
Antonia Bertolino, Paola Inverardi
2019 — conf
Different Glasses to Look into the Three Cs: Component, Connector, Coordination.
Models, Languages, and Tools for Concurrent and Distributed Programming
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
2019 — conf
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User.
SERENE
Paola Inverardi
2019 — conf
Introducing Trust in Service-Oriented Distributed Systems through Blockchain.
ISSRE Workshops
Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli
2019 J jnl
Perpetual Assurances for Self-Adaptive Systems.
CoRR
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
2019 B ed.
Software Architecture - 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
ECSA
Tomás Bures, Laurence Duchien, Paola Inverardi
2019 J jnl
The European perspective on responsible computing.
Commun. ACM
Paola Inverardi
2018 — conf
An investigation into Android run-time permissions from the end users' perspective.
MOBILESoft@ICSE
Gian Luca Scoccia, Stefano Ruberto, Ivano Malavolta, Marco Autili, Paola Inverardi
2018 J jnl
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates.
Sci. Comput. Program.
Marco Autili, Paola Inverardi, Massimo Tivoli
2018 — conf
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains.
SEDA
Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi
2017 — conf
Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety.
ECSA (Companion)
Mai Abusair, Mohammad Sharaf, Henry Muccini, Paola Inverardi
2017 — conf
An empirical approach for determining context of mobile systems.
ECSA (Companion)
Mai Abusair, Antinisca Di Marco, Paola Inverardi
2017 — conf
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction.
QRS Companion
Mai Abusair, Antinisca Di Marco, Paola Inverardi
2017 J jnl
Introduction to the Special Section on Best Papers from SEAMS 2015.
ACM Trans. Auton. Adapt. Syst.
Bradley R. Schmerl, Paola Inverardi
2017 — conf
Models for the Automated Integration of Service-Oriented Software Systems.
MiSE@ICSE
Paola Inverardi
2017 — ch.
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers.
Self-Aware Computing Systems
Jürgen Walter, Antinisca Di Marco, Simon Spinner, Paola Inverardi, Samuel Kounev
2017 — ed.
Proceedings of the 10th Innovations in Software Engineering Conference, ISEC 2017, Jaipur, India, February 5-7, 2017
ISEC
Ravi Prakash Gorthi, Santonu Sarkar, Nenad Medvidovic, Vinay Kulkarni, Atul Kumar, Padmaja Joshi, Paola Inverardi, Ashish Sureka, Richa Sharma
2017 — ch.
Self-aware Computing Systems: Related Concepts and Research Areas.
Self-Aware Computing Systems
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
2017 — ch.
Synthesis and Verification of Self-aware Computing Systems.
Self-Aware Computing Systems
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
2017 — ch.
The Notion of Self-aware Computing.
Self-Aware Computing Systems
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
2017 — conf
User-centric Android flexible permissions.
ICSE (Companion Volume)
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
2016 J jnl
Achieving functional and non functional interoperability through synthesized connectors.
J. Syst. Softw.
Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi
2016 J jnl
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8).
NII Shonan Meet. Rep.
Kenji Tei, Nicolás D'Ippolito, Paola Inverardi
2016 C conf
The Role of Models in the Automated Integration of Service-oriented Software Systems.
MODELSWARD
Paola Inverardi
2015 — ed.
10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18-19, 2015
SEAMS@ICSE
Paola Inverardi, Bradley R. Schmerl
2015 — conf
Automated Integration of Service-Oriented Software Systems.
FSEN
Marco Autili, Paola Inverardi, Massimo Tivoli
2015 C conf
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications.
LATA
Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
2015 J jnl
Automated Synthesis of Service Choreographies.
IEEE Softw.
Marco Autili, Paola Inverardi, Massimo Tivoli
2015 J jnl
On the adaptation of context-aware services.
CoRR
Marco Autili, Vittorio Cortellessa, Paolo Di Benedetto, Paola Inverardi
2015 J jnl
Synthesis of correct adaptors for protocol enhancement in component-based systems.
CoRR
Marco Autili, Paola Inverardi, Massimo Tivoli
2014 — ch.
Ad-Opera: Music-Inspired Self-Adaptive Systems.
Computation for Humanity
Paola Inverardi, Patrizio Pelliccione, Michelangelo Lupone, Alessio Gabriele
2014 J jnl
Automatic adaptor synthesis for protocol transformation.
CoRR
Marco Autili, Paola Inverardi, Massimo Tivoli
2014 — conf
CHOREOS: Large scale choreographies for the future internet.
CSMR-WCRE
Marco Autili, Paola Inverardi, Massimo Tivoli
2014 — conf
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams.
ModComp@MoDELS
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi
2014 B conf
Towards Adaptable and Evolving Service Choreography in the Future Internet.
SERVICES
Amleto Di Salle, Paola Inverardi, Alexander Perucci
2013 B conf
A Model-Based Synthesis Process for Choreography Realizability Enforcement.
FASE
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
2013 — conf
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems.
ICCASA
Marco Mori, Anthony Cleve, Paola Inverardi
2013 J jnl
A hybrid approach for resource-based comparison of adaptable Java applications.
Sci. Comput. Program.
Marco Autili, Paolo Di Benedetto, Paola Inverardi
2013 — conf
A publication culture in software engineering (panel).
ESEC/SIGSOFT FSE
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
2013 A* conf
Automatic synthesis of modular connectors via composition of protocol mediation patterns.
ICSE
Paola Inverardi, Massimo Tivoli
2013 — conf
Perpetual Assurances for Self-Adaptive Systems.
Software Engineering for Self-Adaptive Systems
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
2013 — conf
Producing software by integration: challenges and research directions (keynote).
ESEC/SIGSOFT FSE
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
2013 — conf
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
Software Engineering for Self-Adaptive Systems
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
2013 J jnl
Software architecture-based analysis and testing: a look into achievements and future challenges.
Computing
Antonia Bertolino, Paola Inverardi, Henry Muccini
2013 — conf
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution.
Software Engineering for Self-Adaptive Systems
Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
2013 A conf
Synthesizing self-adaptive connectors meeting functional and performance concerns.
SEAMS
Antinisca Di Marco, Paola Inverardi, Romina Spalazzese
2013 — conf
Taming the uncertainty: variability as a means for predictable system evolution.
VaMoS
Paola Inverardi
2012 J jnl
Automated Synthesis of CONNECTors to support Software Evolution.
ERCIM News
Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese
2012 J jnl
Developing highly complex distributed systems: a software engineering perspective.
J. Internet Serv. Appl.
Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2012 J jnl
Guest Editor's Introduction: International Conference on Software Engineering.
IEEE Trans. Software Eng.
Joanne M. Atlee, Paola Inverardi
2012 — conf
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.
Monterey Workshop
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011 — ed.
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
QoSA/ISARCS
Ivica Crnkovic, Judith A. Stafford, Dorina C. Petriu, Jens Happe, Paola Inverardi
2011 — conf
A development process for requirements based service choreography.
RESS
Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli
2011 — conf
Application-Layer Connector Synthesis.
SFM
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
2011 — conf
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.
SIGSOFT FSE
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011 — conf
Exploiting software architecture to support requirements satisfaction testing.
SIGSOFT FSE
Paul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti
2011 B conf
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.
SEFM
Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar
2011 — conf
Living with Uncertainty in the Age of Runtime Models.
[email protected]@Dagstuhl
Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke
2011 — conf
Model checking requirements at run-time in adaptive systems.
ASAS@ESEC/FSE
Paola Inverardi, Marco Mori
2011 — book
Model-Based Software Performance Analysis.
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2011 — conf
ModelLAND: Where Do Models Come from?
[email protected]@Dagstuhl
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011 — conf
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems.
ICSOFT (Selected Papers)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese
2011 — conf
Requirements models at run-time to support consistent system evolutions.
RE@RunTime
Paola Inverardi, Marco Mori
2010 — conf
A Software Lifecycle Process to Support Consistent Evolutions.
Software Engineering for Self-Adaptive Systems
Paola Inverardi, Marco Mori
2010 — conf
A Theory of Mediators for Eternal Connectors.
ISoLA (2)
Paola Inverardi, Valérie Issarny, Romina Spalazzese
2010 — conf
A programming model for adaptable Java applications.
PPPJ
Marco Autili, Paolo Di Benedetto, Paola Inverardi
2010 — conf
Ad-opera: music-inspired self-adaptive systems.
FoSER
Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione
2010 — conf
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?
QSIC
Paola Inverardi
2010 — conf
Components Interoperability through Mediating Connector Patterns
WCSI
Romina Spalazzese, Paola Inverardi
2010 — conf
Feature oriented evolutions for context-aware adaptive systems.
EVOL/IWPSE
Paola Inverardi, Marco Mori
2010 B conf
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm.
ECSA
Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti
2010 B conf
Mediating Connector Patterns for Components Interoperability.
ECSA
Romina Spalazzese, Paola Inverardi
2010 — conf
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.
ISoLA (2)
Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese
2010 — conf
Software Engineering Processes for Self-Adaptive Systems.
Software Engineering for Self-Adaptive Systems
Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel
2010 — conf
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 — conf
Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 — conf
Towards a Connector Algebra.
ISoLA (2)
Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
2010 — conf
Towards a Stem Architecture Description Language for Self-Adaptive Systems.
SASO
Antinisca Di Marco, Francesco Gallo, Paola Inverardi, Rodolfo Ippoliti
2010 — conf
Towards an Architecture for Runtime Interoperability.
ISoLA (2)
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
2009 — conf
Automatic synthesis of behavior protocols for composable web-services.
ESEC/SIGSOFT FSE
Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2009 J jnl
CHARMY: A Framework for Designing and Verifying Architectural Specifications.
IEEE Trans. Software Eng.
Patrizio Pelliccione, Paola Inverardi, Henry Muccini
2009 B conf
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
ICECCS
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
2009 B conf
Context-Aware Adaptive Services: The PLASTIC Approach.
FASE
Marco Autili, Paolo Di Benedetto, Paola Inverardi
2009 — ed.
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2009 — conf
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2009 — conf
Towards a formalization of mediating connectors for on the fly interoperability.
WICSA/ECSA
Romina Spalazzese, Paola Inverardi, Valérie Issarny
2009 A conf
Towards an assume-guarantee theory for adaptable systems.
SEAMS
Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2008 — conf
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008 — conf
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008 C conf
A Framework for Analyzing and Testing the Performance of Software Services.
ISoLA
Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli
2008 B conf
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.
COMPSAC
Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli
2008 — conf
A development process for context-aware adaptive services.
ASE Workshops
Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
2008 — conf
A framework for software project estimation based on cosmic, dsm and rework characterization.
BIPI@ICSE
Sharareh Afsharian, Marco Giacomobono, Paola Inverardi
2008 — conf
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
Concurrency, Graphs and Models
Carlo Ghezzi, Paola Inverardi, Carlo Montangero
2008 J jnl
Failure-free coordinators synthesis for component-based architectures.
Sci. Comput. Program.
Massimo Tivoli, Paola Inverardi
2008 B ed.
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
FASE
José Luiz Fiadeiro, Paola Inverardi
2008 — conf
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication.
ASE Workshops
Antonia Bertolino, Wolfgang Emmerich, Paola Inverardi, Valérie Issarny, Fotios K. Liotopoulos, Pierre Plaza
2008 — ed.
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2008 — conf
The Future of Software: Adaptation and Dependability.
ISSSE
Paola Inverardi, Massimo Tivoli
2008 J jnl
Towards Self-evolving Context-aware Services.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri
2007 A conf
A Development Process for Self-adapting Service Oriented Applications.
ICSOC
Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
2007 — conf
A Geo Time Authentication System.
IFIPTM
Leonardo Mostarda, Arianna Tocchio, Paola Inverardi, Stefania Costantini
2007 — conf
A reuse-based approach to the correct and automatic composition of web-services.
ESSPE
Paola Inverardi, Massimo Tivoli
2007 A* conf
DESERT: a decentralized monitoring tool generator.
ASE
Paola Inverardi, Leonardo Mostarda
2007 J jnl
Graphical scenarios for specifying temporal properties: an automated approach.
Autom. Softw. Eng.
Marco Autili, Paola Inverardi, Patrizio Pelliccione
2007 B conf
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.
FASE
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2007 J jnl
Model-based system reconfiguration for dynamic performance management.
J. Syst. Softw.
Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi
2007 — conf
Non-Functional Modeling and Validation in Model-Driven Architecture.
WICSA
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2007 — conf
Quantitative resource-oriented analysis of Java (Adaptable) applications.
WOSP
Fabio Mancinelli, Paola Inverardi
2007 A* conf
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
ICSE
Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
2006 B conf
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.
WADS
Paola Inverardi, Leonardo Mostarda
2006 — conf
A resource model for adaptable applications.
SEAMS@ICSE
Fabio Mancinelli, Paola Inverardi
2006 — conf
A scenario based notation for specifying temporal properties.
SCESM
Marco Autili, Paola Inverardi, Patrizio Pelliccione
2006 — conf
Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks.
AINA (2)
Paola Inverardi, Leonardo Mostarda, Alfredo Navarra
2006 J jnl
On relating functional specifications to architectural specifications: A case study.
Sci. Comput. Program.
Flavio Corradini, Paola Inverardi, Alexander L. Wolf
2006 C conf
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
FORTE
Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione
2006 — ed.
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
Software Education and Training Sessions @ ICSE
Paola Inverardi, Mehdi Jazayeri
2006 — conf
Software of the Future Is the Future of Software?
TGC
Paola Inverardi
2006 Misc conf
Software performance model-driven architecture.
SAC
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2006 — conf
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.
EWSA
Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
2005 — conf
A Distributed Intrusion Detection Approach for Secure Software Architecture.
EWSA
Paola Inverardi, Leonardo Mostarda
2005 — conf
CHARMY: an extensible tool for architectural analysis.
ESEC/SIGSOFT FSE
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
2005 — conf
DUALLY: Putting in Synergy UML 2.0 and ADLs.
WICSA
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
2005 — conf
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
EWSA
Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio
2005 A* conf
Introduction to education and training track.
ICSE
Paola Inverardi, Mehdi Jazayeri
2005 — conf
Run-time performance management of the Siena publish/subscribe middleware.
WOSP
Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi
2005 A* conf
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
ASE
Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili
2005 A* conf
Transformations of software models into performance models.
ICSE
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2005 — conf
Uncertain event-based model for egocentric context sensing.
SEM
Mauro Caporuscio, Paola Inverardi
2004 — conf
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.
TACoS
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione
2004 Misc conf
A declarative framework for adaptable applications in heterogeneous environments.
SAC
Paola Inverardi, Fabio Mancinelli, Monica Nesi
2004 A* conf
Automated Performance Validation of Software Design: An Industrial Experience.
ASE
Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi
2004 — conf
Compositional Generation of Software Architecture Performance QN Models.
WICSA
Antinisca Di Marco, Paola Inverardi
2004 A* conf
Compositional Verification of Middleware-Based Software Architecture Descriptions.
ICSE
Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
2004 C conf
Compositionality, Coordination and Software Architecture.
COORDINATION
Paola Inverardi
2004 — conf
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE
Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
2004 — conf
Experimenting different software architectures performance techniques: a case study.
WOSP
Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi
2004 — conf
Formal Analysis of Architectural Patterns.
EWSA
Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
2004 J jnl
Introduction to Special Issue on Distributed and Mobile Software Engineering.
Autom. Softw. Eng.
Carlo Ghezzi, Paola Inverardi
2004 J jnl
Model-Based Performance Prediction in Software Development: A Survey.
IEEE Trans. Software Eng.
Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni
2004 J jnl
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng.
Henry Muccini, Antonia Bertolino, Paola Inverardi
2003 B conf
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
WADS
Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi
2003 — conf
A Lightweight Infrastructure for Reconfiguring Applications.
SCM
Marco Castaldi, Antonio Carzaniga, Paola Inverardi, Alexander L. Wolf
2003 J jnl
A review on queueing network models with finite capacity queues for software architectures performance prediction.
Perform. Evaluation
Simonetta Balsamo, Vittoria de Nitto Persone, Paola Inverardi
2003 C conf
Automatic synthesis of coordinators for COTS group-ware applications: an example.
WETICE
Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone
2003 J jnl
Deadlock-free software architectures for COM/DCOM Applications.
J. Syst. Softw.
Paola Inverardi, Massimo Tivoli
2003 — ed.
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
SFM
Marco Bernardo, Paola Inverardi
2003 — conf
Formal Methods in Testing Software Architectures.
SFM
Antonia Bertolino, Paola Inverardi, Henry Muccini
2003 — conf
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
FME
Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani
2003 — ed.
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
ESEC/SIGSOFT FSE
Jukka Paakki, Paola Inverardi
2003 — conf
Software Architecture for Correct Components Assembly.
SFM
Paola Inverardi, Massimo Tivoli
2003 J jnl
Software Architectures and Coordination Models.
J. Supercomput.
Paola Inverardi, Henry Muccini
2003 J jnl
Static analysis of real-time component-based systems configurations.
Sci. Comput. Program.
Candida Attanasio, Flavio Corradini, Paola Inverardi
2003 — conf
Three Performance Models at Work: A Software Designer Perspective.
FOCLASA
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2003 C conf
Yet Another Framework for Supporting Mobile and Collaborative Work.
WETICE
Mauro Caporuscio, Paola Inverardi
2002 B conf
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture.
MASCOTS
Marco Castaldi, Paola Inverardi, Sharareh Afsharian
2002 — conf
A Context-Aware Approach to Infer Trust in Public Key Infrastructures.
Certification and Security in E-Services
Fabio Di Vito, Paola Inverardi, Giovanna Melideo
2002 — conf
Adaptive Applications for Mobile Heterogenous Devices.
ICDCS Workshops
Paola Inverardi, G. Marinelli, Fabio Mancinelli
2002 — conf
An Experience in Architectural Extensions: Active Objects in J2EE.
FIDJI
Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione
2002 — conf
Automatic Failures-Free Connector Synthesis: An Example.
RISSEF
Paola Inverardi, Massimo Tivoli
2002 — conf
Correct deployment and adaptation of software applications on heterogenous (mobile) devices.
WOSS
Paola Inverardi, Fabio Mancinelli, G. Marinelli
2002 J jnl
The SALADIN project: summary report.
ACM SIGSOFT Softw. Eng. Notes
Paola Inverardi
2001 A* conf
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
ICSE
Antonia Bertolino, Paola Inverardi, Henry Muccini
2001 A* conf
Automated Check of Architectural Models Consistency Using SPIN.
ASE
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
2001 — conf
Automatic synthesis of deadlock free connectors for COM/DCOM applications.
ESEC / SIGSOFT FSE
Paola Inverardi, Massimo Tivoli
2001 A* conf
Connectors Synthesis for Deadlock-Free Component-Based Architectures.
ASE
Paola Inverardi, Simone Scriboni
2001 J jnl
Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J.
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
2001 — conf
InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces.
HICSS
Carla Colafigli, Paola Inverardi, Rocco Matricciani
2001 J jnl
Performance analysis at the software architectural design level.
Perform. Evaluation
Federica Aquilani, Simonetta Balsamo, Paola Inverardi
2001 B conf
Proving Deadlock Freedom in Component-Based Programming.
FASE
Paola Inverardi, Sebastián Uchitel
2000 Misc conf
A Coordination Process Based on UML and a Software Architectural Description.
PDPTA
Paola Inverardi, Henry Muccini
2000 C conf
Coordination Models and Software Architectures in a Unified Software Development Process.
COORDINATION
Paola Inverardi, Henry Muccini
2000 — conf
Deriving performance models of software architectures from message sequence charts.
Workshop on Software and Performance
F. Andolfi, Federica Aquilani, Simonetta Balsamo, Paola Inverardi
2000 A* conf
Deriving test plans from architectural descriptions.
ICSE
Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini
2000 — conf
Preface
MTCS
Flavio Corradini, Paola Inverardi
2000 — ed.
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
MTCS
Flavio Corradini, Paola Inverardi
2000 C conf
Reconfiguration of Software Architecture Styles with Name Mobility.
COORDINATION
Dan Hirsch, Paola Inverardi, Ugo Montanari
2000 J jnl
Static checking of system behaviors using derived component assumptions.
ACM Trans. Softw. Eng. Methodol.
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1999 J jnl
A Comprehensive Setting for Matching and Unification over Iterative Terms.
Fundam. Informaticae
Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli
1999 — conf
Adding sorts to TRSs: a result on modularity of termination.
APPIA-GULP-PRODE
Paola Inverardi, Monica Nesi
1999 — conf
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
WICSA
Dan Hirsch, Paola Inverardi, Ugo Montanari
1999 J jnl
On the Relationships among four Timed Process Algebras.
Fundam. Informaticae
Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi
1999 J jnl
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing.
ACM SIGSOFT Softw. Eng. Notes
Debra J. Richardson, Paola Inverardi
1999 C conf
Static Analysis of Real-Time Component-Based Systems Configurations.
COORDINATION
Candida Attanasio, Flavio Corradini, Paola Inverardi
1999 J jnl
Uncovering Architectural Mismatch in Component Behavior.
Sci. Comput. Program.
Daniele Compare, Paola Inverardi, Alexander L. Wolf
1999 B conf
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
FASE
Candida Attanasio, Flavio Corradini, Paola Inverardi
1998 — conf
An approach to performance evaluation of software architectures.
WOSP
Simonetta Balsamo, Paola Inverardi, Calogero Mangano
1998 — conf
Graph grammars and constraint solving for software architecture styles.
ISAW@FSE
Dan Hirsch, Paola Inverardi, Ugo Montanari
1998 — conf
Performance Evaluation of a Software Architecture: A Case Study.
IWSSD
Paola Inverardi, Calogero Mangano, Fabrizio Russo, Simonetta Balsamo
1997 B conf
An approach to integration testing based on architectural descriptions.
ICECCS
Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti
1997 C conf
Checking Assumptions in Component Dynamics as the Architectural Level.
COORDINATION
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1996 — conf
Architecture-based software testing.
ISAW/Viewpoints@FSE
Antonia Bertolino, Paola Inverardi
1996 J jnl
Automatic Verification of Distributed Systems: The Process Algebra Approach.
Formal Methods Syst. Des.
Paola Inverardi, Corrado Priami
1996 — conf
Integrity Constraints as Views in Deductice Databases.
FMLDO
Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza
1996 C conf
Modelling Interoperability by CHAM: A Case Study.
COORDINATION
Paola Inverardi, Daniele Compare
1996 — conf
Relating CHAM Descriptions of Software Architectures.
IWSSD
Paola Inverardi, Daniel Yankelevich
1995 J jnl
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting.
Theor. Comput. Sci.
Paola Inverardi, Monica Nesi
1995 — conf
ESP-MC: An Experiment in the Use of Verification Tools.
ASIAN
Xiaojun Chen, Paola Inverardi, Carlo Montangero
1995 J jnl
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.
IEEE Trans. Software Eng.
Paola Inverardi, Alexander L. Wolf
1995 J jnl
Infinite Normal Forms for Non-Linear Term Rewritting Systems.
Theor. Comput. Sci.
Paola Inverardi, Monica Nesi
1995 A conf
Model Checking of Non-Finite State Processes by Finite Approximations.
TACAS
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
1994 J jnl
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Aspects Comput.
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1994 — conf
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
GULP-PRODE (2)
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1994 J jnl
Graphics by a Logic Database Management System.
J. Vis. Lang. Comput.
Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi
1994 J jnl
Proving Finiteness of CCS Processes by Non-Standard Semantics.
Acta Informatica
Nicoletta De Francesco, Paola Inverardi
1994 B conf
Rational Rewriting.
MFCS
Paola Inverardi, Marisa Venturini Zilli
1994 — conf
Rewriting for Preorder Relations.
CTRS
Paola Inverardi
1993 J jnl
An 'Executable' Impredicative Semantics for the Ada Configuration.
Formal Aspects Comput.
A. Bucci, Paola Inverardi, Simone Martini
1993 J jnl
Experimenting with Dynamic Linking with Ada.
Softw. Pract. Exp.
Paola Inverardi, Franco Mazzanti
1993 A* conf
Extended Transition Systems for Parametric Bisimulation.
ICALP
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1993 — conf
Yeast: A Case Study for a Practical Use of Formal Methods.
TAPSOFT
Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
1992 — conf
A Strategy to Deal with Divergent Rewrite Systems.
CTRS
Paola Inverardi, Monica Nesi
1992 J jnl
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.
Inf. Process. Lett.
Michele Boreale, Paola Inverardi, Monica Nesi
1992 C conf
Prototyping in the GEDBLOG System.
SEKE
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1991 A* conf
A Semantic Driven Method to Check the Finiteness of CCS Processes.
CAV
Nicoletta De Francesco, Paola Inverardi
1991 — conf
Combining Interaction and Automation in Process Algebra Verification.
TAPSOFT, Vol.2
Albert John Camilleri, Paola Inverardi, Monica Nesi
1991 — conf
Equational reasoning about LOTOS specifications: a rewriting approach.
IWSSD
Rocco De Nicola, Paola Inverardi, Monica Nesi
1991 J jnl
Evaluation of Tools for the Analysis of Communicating Systems.
Bull. EATCS
Paola Inverardi, Corrado Priami
1991 B conf
Infinite Normal Forms for Non-Linear Term Rewriting Systems.
MFCS
Paola Inverardi, Monica Nesi
1991 — conf
On Rewriting Behavioral Semantics in Process Algebras.
AMAST
Paola Inverardi, Monica Nesi
1991 — conf
Supporting Reuse and Configuration: A Port Based SCM Model.
SCM
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara
1990 J jnl
A Rewriting Strategy to Verify Observational Congruence.
Inf. Process. Lett.
Paola Inverardi, Monica Nesi
1989 — conf
Is Type Checking Practical for System Configuration?
TAPSOFT, Vol.2
Paola Inverardi, Simone Martini, Carlo Montangero
1989 — conf
Selective Refutation of Integrity Constraints in Deductive Databases.
MFDBS
Patrizia Asirelli, C. Billi, Paola Inverardi
1989 — conf
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
Automatic Verification Methods for Finite State Systems
Rocco De Nicola, Paola Inverardi, Monica Nesi
1988 — conf
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Concurrency
Stefania Gnesi, Paola Inverardi, Monica Nesi
1988 — conf
EDBLOG: A Kernel for Configuration Environments.
SCM
Patrizia Asirelli, Paola Inverardi
1988 A conf
Improving Integrity Constraint Checking in Deductive Databases.
ICDT
Patrizia Asirelli, Paola Inverardi, A. Mustaro
1988 — conf
Using Logic Databases in Software Development Environments.
PLILP
Patrizia Asirelli, Paola Inverardi
1987 — conf
An Executon Environment for the Formal Definiton of Ada.
ESEC
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
1987 — conf
Enhancing Configuration Facilities in Software Development: A Logic Approach.
ESEC
Patrizia Asirelli, Paola Inverardi
1986 J jnl
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw. Pract. Exp.
Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer
1985 — conf
The use of Ada in the design of distributed systems.
SIGAda
Paola Inverardi, Franco Mazzanti, Carlo Montangero