Paola Inverardi
Orcid: 0000-0001-6734-1318Affiliations:
- University of L'Aquila, Italy
According to our database1,
Paola Inverardi
authored at least 247 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2021, "For contributions to software architecture".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.univaq.it
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Empir. Softw. Eng., November, 2024
Autom. Softw. Eng., June, 2024
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024
Proceedings of the Quality of Information and Communications Technology, 2024
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Proceedings of the Ital-IA Intelligenza Artificiale, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems.
Proceedings of the 21st IEEE International Conference on Software Architecture, 2024
Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version).
CoRR, 2023
Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023
2022
Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022
Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022
Proceedings of the Workshop on Imagining the AI Landscape after the AI Act (IAIL 2022) co-located with 1st International Conference on Hybrid Human-Artificial Intelligence (HHAI 2022), 2022
Proceedings of the Sixth International Workshop on Cultures of Participation in the Digital Age: AI for Humans or Humans for AI? co-located with the International Conference on Advanced Visual Interfaces (AVI 2022), 2022
Perspectives on Digital Humanism, 2022
2021
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions.
IEEE Trans. Software Eng., 2021
2020
Proceedings of the 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020
Proceedings of the Software Architecture - 14th European Conference, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Automated synthesis of application-layer connectors from automata-based specifications.
J. Comput. Syst. Sci., 2019
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.
IEEE Access, 2019
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User.
Proceedings of the Software Engineering for Resilient Systems, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates.
Sci. Comput. Program., 2018
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018
2017
ACM Trans. Auton. Adapt. Syst., 2017
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017
Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety.
Proceedings of the 11th European Conference on Software Architecture, 2017
Proceedings of the 11th European Conference on Software Architecture, 2017
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers.
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
2016
NII Shonan Meet. Rep., 2016
Achieving functional and non functional interoperability through synthesized connectors.
J. Syst. Softw., 2016
The Role of Models in the Automated Integration of Service-oriented Software Systems.
Proceedings of the MODELSWARD 2016, 2016
2015
CoRR, 2015
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
2014
Proceedings of the 2014 IEEE World Congress on Services, 2014
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Proceedings of the 2014 Software Evolution Week, 2014
Ad-Opera: Music-Inspired Self-Adaptive Systems.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014
2013
Sci. Comput. Program., 2013
Software architecture-based analysis and testing: a look into achievements and future challenges.
Computing, 2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013
Automatic synthesis of modular connectors via composition of protocol mediation patterns.
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Context-Aware Systems and Applications, 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
2012
IEEE Trans. Software Eng., 2012
J. Internet Serv. Appl., 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
2011
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011
Proceedings of the Requirements Engineering for Systems, 2011
Proceedings of the Software and Data Technologies - 6th International Conference, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
2010
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?
Proceedings of the 10th International Conference on Quality Software, 2010
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
2009
IEEE Trans. Software Eng., 2009
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
2008
Sci. Comput. Program., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Proceedings of the Software Engineering, International Summer Schools, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
A framework for software project estimation based on cosmic, dsm and rework characterization.
Proceedings of the 1st International Workshop on Business Impact of Process Improvements, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the Concurrency, 2008
2007
J. Syst. Softw., 2007
Autom. Softw. Eng., 2007
Proceedings of the 6th International Workshop on Software and Performance, 2007
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Service-Oriented Computing, 2007
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Software Architecture, Third European Workshop, 2006
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006
2005
Proceedings of the Fifth International Workshop on Software and Performance, 2005
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Software Architecture, 2nd European Workshop, 2005
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
Proceedings of the Software Architecture, 2nd European Workshop, 2005
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005
2004
IEEE Trans. Software Eng., 2004
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Autom. Softw. Eng., 2004
Proceedings of the Fourth International Workshop on Software and Performance, 2004
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Software Architecture, First European Workshop, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004
2003
Sci. Comput. Program., 2003
A review on queueing network models with finite capacity queues for software architectures performance prediction.
Perform. Evaluation, 2003
J. Syst. Softw., 2003
Proceedings of FOCLASA 2003, 2003
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003
Proceedings of the Formal Methods for Software Architectures, 2003
Proceedings of the Formal Methods for Software Architectures, 2003
Proceedings of the Software Configuration Management, 2003
Proceedings of the Architecting Dependable Systems II, 2003
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
Proceedings of the FME 2003: Formal Methods, 2003
2002
Correct deployment and adaptation of software applications on heterogenous (mobile) devices.
Proceedings of the First Workshop on Self-Healing Systems, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture.
Proceedings of the 10th International Workshop on Modeling, 2002
A Context-Aware Approach to Infer Trust in Public Key Infrastructures.
Proceedings of the Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17<sup>th</sup> World Computer Congress, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002
2001
Perform. Evaluation, 2001
Comput. J., 2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
Proceedings of the 23rd International Conference on Software Engineering, 2001
InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
ACM Trans. Softw. Eng. Methodol., 2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
Proceedings of the Second International Workshop on Software and Performance, 2000
A Coordination Process Based on UML and a Software Architectural Description.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Coordination Models and Software Architectures in a Unified Software Development Process.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing.
ACM SIGSOFT Softw. Eng. Notes, 1999
Fundam. Informaticae, 1999
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
Proceedings of the Software Architecture, 1999
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Adding sorts to TRSs: a result on modularity of termination.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
Proceedings of the First International Workshop on Software and Performance, 1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Proceedings of the 9th International Workshop on Software Specification and Design, 1998
1997
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Formal Methods Syst. Des., 1996
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996
Proceedings of the 8th International Workshop on Software Specification and Design, 1996
Proceedings of the Integrity in Databases, 1996
Proceedings of the Coordination Languages and Models, First International Conference, 1996
1995
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.
IEEE Trans. Software Eng., 1995
Theor. Comput. Sci., 1995
Theor. Comput. Sci., 1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Proceedings of the Algorithms, 1995
1994
Formal Aspects Comput., 1994
Acta Informatica, 1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Formal Aspects Comput., 1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
1992
Inf. Process. Lett., 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
1991
Evaluation of Tools for the Analysis of Communicating Systems.
Bull. EATCS, 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the 3rd International Workshop on Software Configuration Management, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
On Rewriting Behavioral Semantics in Process Algebras.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991
1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Proceedings of the MFDBS 89, 1989
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
EDBLOG: A Kernel for Configuration Environments.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988
Proceedings of the Programming Language Implementation and Logic Programming, 1988
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
Proceedings of the ESEC '87, 1987
Proceedings of the ESEC '87, 1987
1986
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw. Pract. Exp., 1986
1985
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985