Paola Inverardi | Academic Influence

Paola Inverardi's AcademicInfluence.com Rankings

Paola Inverardi

Computer Science

#2967

World Rank

#3109

Historical Rank

Software Engineering

#156

World Rank

#157

Historical Rank

Database

#7667

World Rank

#7963

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Paola Inverardi's Degrees

PhD Computer Science Consorzio ICoN
Masters Computer Science Consorzio ICoN
Bachelors Computer Science Consorzio ICoN

Similar Degrees You Can Earn

Why Is Paola Inverardi Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Paola Inverardi is an Italian computer scientist specializing in software engineering. She is a professor in the Department of Information Engineering, Computer Science, and Mathematics at the University of L'Aquila in Italy, and the former rector of the university.

(See a Problem?)

Paola Inverardi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Software Engineering for Self-Adaptive Systems: A Research Roadmap (2009) (1203)
Model-based performance prediction in software development: a survey (2004) (838)
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap (2010) (790)
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] (2009) (427)
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model (1995) (311)
A review on queueing network models with finite capacity queues for software architectures performance prediction (2003) (157)
Automatic synthesis of behavior protocols for composable web-services (2009) (153)
Model-Based Software Performance Analysis (2011) (140)
Using software architecture for code testing (2004) (126)
Formal Methods for Software Architectures (2003) (104)
Static checking of system behaviors using derived component assumptions (2000) (97)
Graphical scenarios for specifying temporal properties: an automated approach (2007) (97)
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (2013) (96)
Perpetual Assurances for Self-Adaptive Systems (2019) (87)
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008) (81)
The Notion of Self-aware Computing (2017) (79)
Software Engineering Processes for Self-Adaptive Systems (2013) (78)
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (2007) (77)
CHARMY: A Framework for Designing and Verifying Architectural Specifications (2009) (77)
Context-Aware Adaptive Services: The PLASTIC Approach (2009) (74)
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (1999) (73)
An approach to performance evaluation of software architectures (1998) (73)
Deriving test plans from architectural descriptions (2000) (72)
Deadlock-free software architectures for COM/DCOM Applications (2003) (69)
Uncovering Architectural Mismatch in Component Behavior (1999) (67)
Performance analysis at the software architectural design level (2001) (60)
Living with Uncertainty in the Age of Runtime Models (2014) (60)
Software Architecture for Correct Components Assembly (2003) (58)
Software Engineering Education in the Modern Age (2008) (55)
Failure-free coordinators synthesis for component-based architectures (2008) (54)
A Model-Based Synthesis Process for Choreography Realizability Enforcement (2013) (54)
Compositional generation of software architecture performance QN models (2004) (54)
Compositional verification of middleware-based software architecture descriptions (2004) (51)
Automatic synthesis of modular connectors via composition of protocol mediation patterns (2013) (51)
Deriving performance models of software architectures from message sequence charts (2000) (48)
Automated check of architectural models consistency using SPIN (2001) (47)
An explorative journey from architectural tests definition downto code tests execution (2001) (46)
Reconfiguration of Software Architecture Styles with Name Mobility (2000) (46)
Model-based system reconfiguration for dynamic performance management (2007) (45)
A scenario based notation for specifying temporal properties (2006) (43)
Automatic synthesis of deadlock free connectors for COM/DCOM applications (2001) (41)
Automated Synthesis of Service Choreographies (2015) (41)
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009) (39)
Checking Assumptions in Component Dynamics as the Architectural Level (1997) (38)
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (2005) (37)
Software architecture-based analysis and testing: a look into achievements and future challenges (2013) (36)
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates (2017) (36)
Experimenting different software architectures performance techniques: a case study (2004) (36)
A Lightweight Infrastructure for Reconfiguring Applications (2003) (36)
The Future of Software: Adaptation and Dependability (2009) (36)
CHARMY: an extensible tool for architectural analysis (2005) (35)
Synthesis and Verification of Self-aware Computing Systems (2017) (35)
An approach to integration testing based on architectural descriptions (1997) (34)
CHOREOS: Large scale choreographies for the future internet (2014) (34)
A Development Process for Self-adapting Service Oriented Applications (2007) (34)
Proving Deadlock Freedom in Component-Based Programming (2001) (34)
Formal Methods in Testing Software Architectures (2003) (33)
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications (1989) (32)
Evaluation of Tools for the Analysis of Communicating Systems (1991) (31)
An Investigation Into Android Run-Time Permissions from the End Users' Perspective (2018) (30)
Software performance model-driven architecture (2006) (30)
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (2007) (30)
Towards a formalization of mediating connectors for on the fly interoperability (2009) (30)
Mediating Connector Patterns for Components Interoperability (2010) (30)
Towards an assume-guarantee theory for adaptable systems (2009) (29)
A conceptual model for adaptable context-aware services (2006) (28)
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems (2003) (28)
Connectors synthesis for deadlock-free component based architectures (2001) (27)
Requirements models at run-time to support consistent system evolutions (2011) (27)
A Theory of Mediators for Eternal Connectors (2010) (26)
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS (2011) (26)
Non-Functional Modeling and Validation in Model-Driven Architecture (2007) (26)
Application-Layer Connector Synthesis (2011) (25)
Synthesizing self-adaptive connectors meeting functional and performance concerns (2013) (25)
Yet another framework for supporting mobile and collaborative work (2003) (23)
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (2011) (23)
Self-aware Computing Systems: Related Concepts and Research Areas (2017) (22)
A declarative framework for adaptable applications in heterogeneous environments (2004) (22)
A Software Lifecycle Process to Support Consistent Evolutions (2010) (22)
On the Relationships among four Timed Process Algebras (1999) (22)
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (2015) (22)
Performance evaluation of a software architecture: a case study (1998) (22)
Towards Anti-Model-based Testing (2004) (21)
Software of the Future Is the Future of Software? (2006) (21)
Software Performance: state of the art and perspectives (2003) (21)
Towards an Architecture for Runtime Interoperability (2010) (20)
Combining Interaction and Automation in Process Algebra Verification (1991) (20)
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures (2004) (20)
Architecture-based software testing (1996) (20)
Software Engineering for Self-Adaptive Systems: A Research Road Map (Draft Version) ⁄ (2008) (19)
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems (2006) (19)
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems (2011) (19)
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003) (18)
A Rewriting Strategy to Verify Observational Congruence (1990) (18)
Run-time performance management of the Siena publish/subscribe middleware (2005) (17)
Automatic verification of distributed systems: The process algebra approach (1996) (17)
Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks (2006) (16)
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804) (2003) (16)
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach (2006) (16)
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting (1995) (16)
Feature oriented evolutions for context-aware adaptive systems (2010) (15)
Checking consistency between architectural models using SPIN (2001) (15)
DUALLY: Putting in Synergy UML 2.0 and ADLs (2005) (15)
A hybrid approach for resource-based comparison of adaptable Java applications (2013) (15)
Infoparco: an experience in designing an information system accessible through WEB and WAP interfaces (2001) (14)
A Software Exoskeleton to Protect and Support Citizen’s Ethics and Privacy in the Digital World (2019) (14)
User-Centric Android Flexible Permissions (2017) (14)
A reuse-based approach to the correct and automatic composition of web-services (2007) (13)
The European perspective on responsible computing (2019) (13)
A resource model for adaptable applications (2006) (13)
Quantitative resource-oriented analysis of Java (Adaptable) applications (2007) (13)
Towards Self-evolving Context-aware Services (2008) (13)
Automatic Failures-Free Connector Synthesis: An Example (2002) (13)
Formal Analysis of Architectural Patterns (2004) (13)
Model checking requirements at run-time in adaptive systems (2011) (13)
A framework for software project estimation based on cosmic, dsm and rework characterization (2008) (12)
Correct Components Assembly for a Product Data Management Cooperative System (2004) (12)
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space (2012) (12)
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring (2010) (12)
Relating CHAM descriptions of software architectures (1996) (11)
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing (1999) (11)
Three Performance Models at Work: A Software Designer Perspective (2004) (11)
On relating functional specifications to architectural specifications: A case study (2006) (11)
The use of Ada in the design of distributed systems (1985) (11)
A Distributed Intrusion Detection Approach for Secure Software Architecture (2005) (11)
Improving Integrity Constraint Checking in Deductive Databases (1988) (11)
Model Checking of Non-Finite State Processes by Finite Approximations (1995) (11)
Checking Assumptions in Component Dynamics at the Architectural Level ; CU-CS-829-97 (1997) (11)
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication (2008) (10)
Coordination Models and Software Architectures in a Unified Software Development Process (2000) (10)
Correct and automatic assembly of COTS components: an architectural approach (2002) (10)
Towards a Connector Algebra (2010) (10)
A Framework for Analyzing and Testing the Performance of Software Services (2008) (10)
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (2003) (10)
Equational reasoning about LOTOS specifications: a rewriting approach (1991) (10)
Graphics by a Logic Database Management System (1994) (10)
Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1-5, 2003 (2003) (9)
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction (2017) (9)
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems (2011) (9)
Achieving functional and non functional interoperability through synthesized connectors (2016) (9)
Rational Rewriting (1994) (9)
A programming model for adaptable Java applications (2010) (9)
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers (2017) (9)
What Is Software Performance (2011) (9)
Proceedings of the 3rd international workshop on Software and performance (2002) (8)
Software Architectures and Coordination Models (2003) (8)
Dynamically Evolvable Dependable Software: From Oxymoron to Reality (2008) (8)
Infinite Normal Forms for Non-Linear Term Rewritting Systems (1991) (8)
Introducing Trust in Service-Oriented Distributed Systems through Blockchain (2019) (8)
An Approach to Manage Recon(cid:2)guration in Fault(cid:150)Tolerant Distributed Systems (2003) (7)
Proceedings of the 1st international workshop on Open component ecosystems (2009) (7)
Enhancing Configuration Facilities in Software Development: A Logic Approach (1987) (7)
A logic database to support configuration management in Ada (1987) (7)
A development process for requirements based service choreography (2011) (7)
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions (2019) (7)
Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety (2017) (7)
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? (2019) (7)
A Strategy to Deal with Divergent Rewrite Systems (1992) (6)
Automated Integration of Service-Oriented Software Systems (2015) (6)
ModelLAND: Where Do Models Come from? (2011) (6)
A Geo Time Authentication System (2007) (6)
Developing highly complex distributed systems: a software engineering perspective (2012) (6)
Synthesis of correct adaptors for protocol enhancement in component-based systems (2015) (6)
Static analysis of real-time component-based systems configurations (1999) (6)
Dynamic connector synthesis: revised prototype implementation (2012) (6)
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 (2006) (6)
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution (2013) (6)
IST STREP Project Deliverable D2.2 Graphical design language and tools for resource-aware adaptable components and services (2007) (6)
Modelling Interoperability by CHAM: A Case Study (1996) (6)
Towards Adaptable and Evolving Service Choreography in the Future Internet (2014) (6)
Integrity Constraints as Views in Deductice Databases (1996) (6)
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications (2005) (6)
Extended Transition Systems for Parametric Bisimulation (1993) (6)
A Formalization of Mediating Connectors: Towards on the fly Interoperability (2009) (5)
Softure : Adaptable , Reliable and Performing Software for the Future (2006) (5)
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications (2008) (5)
Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering (2008) (5)
Ad-opera: music-inspired self-adaptive systems (2010) (5)
Supporting reuse and configuration: a port based SCM model (1991) (5)
Producing software by integration: challenges and research directions (keynote) (2013) (5)
Automated performance validation of software design: an industrial experience (2004) (5)
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains (2018) (5)
A Comprehensive Setting for Matching and Unification over Iterative Terms (1999) (5)
A case study in performance, modifiability and extensibility analysis of a telecommunication system software architecture (2002) (5)
Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE (2013) (5)
Correct deployment and adaptation of software applications on heterogenous (mobile) devices (2002) (5)
Failure-free Coordinator Synthesis for Correct Components Assembly (2003) (5)
Verification of concurrent systems in SML (1992) (5)
A Semantic Driven Method to Check the Finiteness of CCS Processes (1991) (4)
Transformations of software models into performance models (2005) (4)
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level (2006) (4)
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2015) (4)
Starting from Message Sequence Chart for Software Architecture Early Performance Analysis (2003) (4)
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User (2019) (4)
Experimenting with dynamic linking with ADA (1993) (4)
Automatic synthesis of coordinators for COTS groupware applications: an example (2003) (4)
Using Logic Databases in Software Development Environments (1988) (4)
Components Interoperability through Mediating Connector Patterns (2010) (4)
Automated Synthesis of CONNECTors to support Software Evolution (2012) (4)
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada * (1986) (4)
An empirical study of privacy labels on the Apple iOS mobile app store (2022) (4)
On the adaptation of context-aware services (2015) (4)
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams (2014) (4)
Adaptive applications for mobile heterogenous devices (2002) (4)
Behavioral Type Checking of Architectural Components Based on Assumptions (1998) (4)
A Context-Aware Approach to Infer Trust in Public Key Infrastructures (2002) (3)
EDBLOG: A Kernel for Configuration Environments (1988) (3)
An empirical approach for determining context of mobile systems (2017) (3)
A Coordination Process Based on UML and a Software Architectural Description (2000) (3)
Preface to Fundamental approaches to software engineering (2008) (3)
Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age (2005) (3)
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences (1988) (3)
User Profile Agents for Cultural Heritage fruition (2007) (3)
Uncertain event-based model for egocentric context sensing (2005) (3)
Exploiting software architecture to support requirements satisfaction testing (2011) (3)
ESP-MC: An Experiment in the Use of Verification Tools (1995) (3)
An Executon Environment for the Formal Definiton of Ada (1987) (3)
A self-configuring and adaptive privacy-aware permission system for Android apps (2020) (3)
The role of architecture in components assembly (2002) (3)
Finite Approximations for Model Checking Non-finite-state Processes (2001) (3)
Selective Refutation of Integrity Constraints in Deductive Databases (1989) (3)
Software Lifecycle and Performance Analysis (2011) (2)
An Experience in Architectural Extensions: Active Objects in J2EE (2002) (2)
Automatic adaptor synthesis for protocol transformation (2014) (2)
Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer (2011) (2)
A distributed KAPSE architecture (1983) (2)
Modeling of application- and middleware-layer interaction protocols (2010) (2)
Is Type Checking Practical for System Configuration? (1989) (2)
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 (2003) (2)
Uncovering Architectural Mismatch in Component Behavior ; CU-CS-828-97 (1997) (2)
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems (2013) (2)
On the elicitation of privacy and ethics preferences of mobile users (2020) (2)
DESERT: a decentralized monitoring tool generator (2007) (2)
Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems (2010) (2)
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences (1992) (2)
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (1999) (2)
Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment (2012) (2)
Yeast: A Case Study for a Practical Use of Formal Methods (1993) (2)
The Challenge of Human Dignity in the Era of Autonomous Systems (2021) (2)
The SALADIN project: summary report (2002) (2)
A development process for context-aware adaptive services (2008) (2)
Is Really IoT Technology Gender Neutral? (2020) (2)
Initial Architectural Style for CHOReOS Choreographies (D1.3) (2011) (1)
Software Engineering Education in the Modern Age: Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE ... Lectures (Lecture Notes in Computer Science) (2007) (1)
Performance Modeling Notations (2011) (1)
Software architecture-based analysis and testing: a look into achievements and future challenges (2013) (1)
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 (2008) (1)
Capturing functional and non-functional connector (2010) (1)
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces (1994) (1)
Prototyping in the GEDBLOG system (1992) (1)
Run Time Models in Adaptive Service Infrastructure (2010) (1)
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? (2010) (1)
Compositionality, Coordination and Software Architecture (2004) (1)
From Software Models to Performance Models (2011) (1)
Rewriting for Preorder Relations (1994) (1)
Compositional Algebra of CONNECTors (2011) (1)
Proceedings of the 10th Innovations in Software Engineering Conference (2017) (1)
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems (2008) (1)
Formal and Semi-formal descriptions of a Cross-Connector Software Architecture (2002) (1)
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm (2010) (1)
Proving finiteness of CCS processes by non-standard semantics (1994) (1)
Reaction Graphs for the Testing and Analysis of Software Architectures (1998) (1)
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 1 (2005) (1)
A compositional synthesis of failure-free connectors for correct components assembly (2003) (1)
Automatizing Parametric Reasoning on Distributed Concurrent Systems (1994) (0)
Integrity Constraints in Deductive Databases: an overview (1999) (0)
[The leading role of the University of L'Aquila for resilience and reconstruction]. (2016) (0)
Proceedings of the First International DisCoTec Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services ( CAMPUS 2008 ) Towards Self-evolving Context-aware Services (2008) (0)
AI Act and Individual Rights: A Juridical and Technical Perspective (2022) (0)
The Role of Models in the Automated Integration of Service-oriented Software Systems (2016) (0)
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8) (2016) (0)
Adding sorts to TRSs: a result on modularity of termination (1999) (0)
Towards a Stem Architecture Description Language for Self-Adaptive Systems (2010) (0)
Project Final Report Final Publishable Summary Report (2012) (0)
Different Glasses to Look into the Three Cs: Component, Connector, Coordination (2019) (0)
Session details: Service-oriented and mobile computing (2007) (0)
Exosoul: ethical profiling in the digital world (2022) (0)
Software Architecture Evaluation Methods – A Survey (2016) (0)
Model-Based Software Performance Analysis - ReadingSample (2016) (0)
10th IWSSD Organizing Committee (2000) (0)
\A Logic Approach to Configuration in Ada (2010) (0)
Recursive Query Optimization and Parti al Evaluation (2010) (0)
Advanced Issues in Software Performance (2011) (0)
Taming the uncertainty: variability as a means for predictable system evolution (2013) (0)
Verif icat ion Tools * (2005) (0)
Session details: Keynote address 2 (2011) (0)
Engineering Experts ' Panel : The Status and Future of SBSE in the Software Engineering Community (2009) (0)
Engineering for Self-Adaptive Systems : A Second Research Roadmap ( Draft Version of November 9 , 2011 ) (2011) (0)
Introduction to education and training track (2005) (0)
An assessment of system configuration by type checking (2010) (0)
Test Framework Specification and Architecture Title of Deliverable : Test Framework Specification and Architecture (0)
A Logic Schema for a Kernel Configuration Environment 1 (2010) (0)
Putting Formal Description of Software Architecture in Practice : Good News , Bad News (2000) (0)
A Statistical Approach for Context-Awareness of Mobile Applications (2020) (0)
Models for the Automated Integration of Service-Oriented Software Systems (2017) (0)
A Lightweight Infrastructure for Reconfiguring Applications ; CU-CS-943-02 (2002) (0)
Guest Editor's Introduction: International Conference on Software Engineering (2012) (0)
Ethical-aware autonomous systems from a social psychological lens (2022) (0)
Synthesis and verification of self-aware systems (2016) (0)
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems (2003) (0)
An Approach for Developing Context-Aware Mobile Application (2019) (0)
An “executable” impredicative semantics for the Ada configuration (1993) (0)
On Rewriting Behavioral Semantics in Process Algebras (1991) (0)
Developing highly complex distributed systems: a software engineering perspective (2011) (0)
IST STREP Project Deliverable D1.2 Formal description of the PLASTIC conceptual model and of its relationship with the PLASTIC platform toolset (preliminary version) (2007) (0)
New Results - Middleware-layer B3G Networking (2007) (0)
Hey, my data are mine! Active data to empower the user (2020) (0)
Controlled Adaptation of Self-adaptive Systems ( CASaS ) (2016) (0)
Preface: Volume 39 (2000) (0)
Software Modeling Notations (2011) (0)
Leveraging Privacy Profiles to Empower Users in the Digital Society (2022) (0)
Correctness and Completeness of the SRP IC Refutation Procedure: Revised Version (1999) (0)
A publication culture in software engineering (panel) (2013) (0)
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model ; CU-CS-709-94 (1994) (0)
Preface (2000) (0)
Introduction to Special Issue on Distributed and Mobile Software Engineering (2004) (0)
13th European Conference on Software Architecture, {ECSA} 2019 (2019) (0)
Rephrasing interoperability in terms of connector behaviours (2012) (0)
Performance Model Solution (2011) (0)
On Dealing with Divergent Rewrite Systerns (Extended Abstract) (2009) (0)
Introduction to the Special Section on Best Papers from SEAMS 2015 (2017) (0)
Formal Aspects of Computing: Editorial (2010) (0)

This paper list is powered by the following services:

Other Resources About Paola Inverardi

en.wikipedia.org

What Schools Are Affiliated With Paola Inverardi?

Paola Inverardi is affiliated with the following schools: