INVERARDI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 894
EU - Europa 581
AS - Asia 126
OC - Oceania 3
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.607
Nazione #
US - Stati Uniti d'America 889
IT - Italia 103
DE - Germania 101
SE - Svezia 93
UA - Ucraina 76
VN - Vietnam 74
CZ - Repubblica Ceca 69
RU - Federazione Russa 59
SG - Singapore 32
IE - Irlanda 22
FR - Francia 20
FI - Finlandia 17
CN - Cina 8
GB - Regno Unito 7
HK - Hong Kong 5
CA - Canada 4
IN - India 3
AT - Austria 2
AU - Australia 2
BE - Belgio 2
HR - Croazia 2
RS - Serbia 2
CL - Cile 1
CO - Colombia 1
EU - Europa 1
GR - Grecia 1
HU - Ungheria 1
IL - Israele 1
JP - Giappone 1
KZ - Kazakistan 1
MD - Moldavia 1
NL - Olanda 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PR - Porto Rico 1
RO - Romania 1
Totale 1.607
Città #
Boardman 323
Chandler 185
Dong Ket 74
Brno 68
L’Aquila 57
Munich 41
New York 35
Los Angeles 32
Kitzingen 30
San Mateo 29
Dublin 22
Singapore 21
Wilmington 20
Helsinki 17
Ann Arbor 16
Ashburn 15
Milan 15
Ogden 15
Strasbourg 9
Turin 9
Nuremberg 6
Seattle 5
Padova 4
Las Vegas 3
Miami 3
Paris 3
Rome 3
Atessa 2
Beijing 2
Belgrade 2
Brussels 2
Camden 2
Chengdu 2
Cincinnati 2
Clearwater 2
Clifton 2
Coimbatore 2
Dongguan 2
Edinburgh 2
Frankfurt am Main 2
Islington 2
Shenzhen 2
Vienna 2
Zagreb 2
Athína 1
Auckland 1
Belovo 1
Brisbane 1
Budapest 1
Buffalo 1
Chicago 1
Chisinau 1
Columbia 1
Dallas 1
Denver 1
Fontainebleau 1
Huntsville 1
Irving 1
Kherson 1
Manila 1
Medellín 1
Montreal 1
Oral 1
Oslo 1
Prague 1
San Juan 1
Santa Clara 1
Simferopol 1
Stockholm 1
Tokyo 1
Vannes-sur-Cosson 1
Venafro 1
Totale 1.122
Nome #
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 95
A framework for integration of functional and non-functional analysis of software architectures 91
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 89
A framework for integration of functional and non-functional analysis of software architectures 85
Ad-Opera: Music-inspired Self-adaptive Systems 52
ModelLAND: Where do models come from? 47
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 47
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 44
Towards An Assume-Guarantee Theory for Adaptable Systems 42
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 42
Hey, my data are mine! Active data to empower the user 41
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 39
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 38
Automated Check of Architectural Models Consistency using Spin 38
Formal Analysis of Architectural Patterns 37
CHARMY: An Extensible Tool for Architectural Analysis 37
Using UML for SA-based Modeling and Analysis 37
DUALLY: Putting in Synergy UML 2.0 and ADLs 37
Automatic synthesis of behavior protocols for composable web-services 35
A Scenario Based Notation for Specifying Temporal Properties 34
Charmy: A Framework for Designing and Validating Architectural Specifications 32
Checking consistency between architectural models using SPIN 32
An Experience in Architectural Extensions: Active Objects in J2EE 32
Compositional Verification of Middleware-Based Software Architecture descriptions 32
Developing highly complex distributed systems: A software engineering perspective 31
An Experience in Architectural Extension: Active Object in J2EE 29
Producing software by integration: challenges and research directions (keynote) 29
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 28
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 16
CHARMY: A Framework for Designing and Verifying Architectural Specifications 15
Failure-free coordinators synthesis for component-based architectures 15
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 13
A programming model for adaptable Java applications 12
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 11
An empirical study of privacy labels on the Apple iOS mobile app store 11
Synthesis and Verification of Self-aware Computing Systems 11
Achieving functional and non functional interoperability through synthesized connectors 11
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 10
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 10
CHOREOS: Large scale choreographies for the future internet 9
Application-Layer Connector Synthesis 9
A statistical approach for context-awareness of mobile applications 9
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 9
Guest Editor's Introduction: International Conference on Software Engineering 9
A development process for requirements based service choreography 9
Automated Synthesis of Service Choreographies 9
An investigation into Android run-time permissions from the end users' perspective 8
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 8
The European Perspective on Responsible Computing 8
The Future of Software: Adaptation and Dependability 8
Software architecture-based analysis and testing: a look into achievements and future challenges 8
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 8
On the elicitation of privacy and ethics preferences of mobile users 7
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 7
Living with Uncertainty in the Age of Runtime Models 7
User-centric android flexible permissions 7
A hybrid approach for resource-based comparison of adaptable Java applications 7
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 7
Software engineering for self-adaptive systems: A second research roadmap 7
A publication culture in software engineering (panel) 7
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 7
A self-configuring and adaptive privacy-aware permission system for Android apps 7
An empirical approach for determining context of mobile systems 7
Don't You Agree with My Ethics? Let's Negotiate! 7
The Challenge of Human Dignity in the Era of Autonomous Systems 6
AI Act and Individual Rights: A Juridical and Technical Perspective 6
Software of the future is the future of Software? 6
A Development Process for Context-Aware Adaptive Services 6
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 6
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 6
Self-aware Computing Systems: Related Concepts and Research Areas 6
Context-Aware Adaptive Services: The PLASTIC Approach 6
A Model-Based Synthesis Process for Choreography Realizability Enforcement 6
Introducing Trust in Service-oriented Distributed Systems through Blockchain 5
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 5
Systematic review on privacy categorisation 5
Leveraging privacy profiles to empower users in the digital society 5
Software Engineering Processes for Self-Adaptive Systems 5
Towards a formalization of mediating connectors for on the fly interoperability 4
Exploiting software architecture to support requirements satisfaction testing 4
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 4
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems 4
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 4
Automated integration of service-oriented software systems 4
Synthesizing self-adaptive connectors meeting functional and performance concerns 4
Software performance model-driven architecture 3
Is Really IoT Technology Gender Neutral? 3
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 3
Towards Adaptable and Evolving Service Choreography in the Future Internet 3
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 3
Towards a Stem Architecture Description Language for Self-Adaptive Systems 3
Mediating Connector Patterns for Components Interoperability 3
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 3
Totale 1.713
Categoria #
all - tutte 14.787
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.787


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021164 0 0 0 0 0 0 0 28 2 20 10 104
2021/2022176 3 1 0 140 3 0 1 1 2 14 0 11
2022/2023416 1 6 21 56 44 61 22 66 71 19 49 0
2023/2024609 8 9 43 9 9 37 11 38 50 49 160 186
2024/2025348 106 242 0 0 0 0 0 0 0 0 0 0
Totale 1.713