INVERARDI, PAOLA
 Distribuzione geografica
Continente #
EU - Europa 4.820
NA - Nord America 2.813
AS - Asia 2.506
SA - Sud America 351
AF - Africa 64
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 2
Totale 10.565
Nazione #
RU - Federazione Russa 3.606
US - Stati Uniti d'America 2.698
CN - Cina 876
SG - Singapore 810
IT - Italia 265
BR - Brasile 263
HK - Hong Kong 226
DE - Germania 205
VN - Vietnam 164
UA - Ucraina 150
SE - Svezia 125
KR - Corea 101
GB - Regno Unito 93
TR - Turchia 93
CZ - Repubblica Ceca 71
CA - Canada 64
IN - India 63
FR - Francia 62
AR - Argentina 49
NL - Olanda 48
PL - Polonia 41
BD - Bangladesh 40
FI - Finlandia 38
MX - Messico 32
ZA - Sudafrica 28
JP - Giappone 27
IQ - Iraq 26
IE - Irlanda 25
ES - Italia 23
LT - Lituania 16
SA - Arabia Saudita 11
AE - Emirati Arabi Uniti 10
AT - Austria 10
PK - Pakistan 10
EC - Ecuador 8
BE - Belgio 7
UY - Uruguay 7
UZ - Uzbekistan 7
CO - Colombia 6
MA - Marocco 6
VE - Venezuela 6
AU - Australia 5
BB - Barbados 5
JO - Giordania 5
KE - Kenya 5
NP - Nepal 5
AO - Angola 4
AZ - Azerbaigian 4
ET - Etiopia 4
IL - Israele 4
PE - Perù 4
AM - Armenia 3
BO - Bolivia 3
CH - Svizzera 3
CR - Costa Rica 3
GR - Grecia 3
HR - Croazia 3
HU - Ungheria 3
KZ - Kazakistan 3
LA - Repubblica Popolare Democratica del Laos 3
NO - Norvegia 3
PY - Paraguay 3
RS - Serbia 3
TN - Tunisia 3
AL - Albania 2
BY - Bielorussia 2
DO - Repubblica Dominicana 2
EG - Egitto 2
GD - Grenada 2
JM - Giamaica 2
LV - Lettonia 2
MD - Moldavia 2
ME - Montenegro 2
MW - Malawi 2
OM - Oman 2
PH - Filippine 2
PR - Porto Rico 2
PT - Portogallo 2
RO - Romania 2
SN - Senegal 2
YE - Yemen 2
AF - Afghanistan, Repubblica islamica di 1
BG - Bulgaria 1
BS - Bahamas 1
CL - Cile 1
CW - ???statistics.table.value.countryCode.CW??? 1
DJ - Gibuti 1
EU - Europa 1
GF - Guiana Francese 1
HN - Honduras 1
ID - Indonesia 1
KG - Kirghizistan 1
KW - Kuwait 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
MZ - Mozambico 1
Totale 10.553
Città #
Moscow 900
Singapore 423
Boardman 336
New York 278
Ashburn 258
Hong Kong 219
The Dalles 215
Chandler 198
Dallas 192
Beijing 148
Shanghai 123
Milan 119
Los Angeles 117
Chicago 112
Hefei 101
Seoul 101
Munich 88
Istanbul 77
Dong Ket 74
Brno 69
L’Aquila 60
Kyiv 54
Santa Clara 48
Buenos Aires 38
São Paulo 38
Amsterdam 36
Warsaw 36
Kitzingen 33
Guangzhou 30
Hanoi 29
San Mateo 29
Montreal 28
Tokyo 27
Denver 26
Helsinki 26
Dublin 25
Orem 25
Ho Chi Minh City 24
Stockholm 24
Poplar 23
Johannesburg 22
Wilmington 20
Brooklyn 19
Chennai 19
Atlanta 18
Ogden 18
Ann Arbor 16
Shenzhen 16
Boston 15
Frankfurt am Main 15
Manchester 15
Phoenix 15
Xi'an 15
Toronto 14
London 13
Mexico City 13
Seattle 13
Turin 12
Turku 12
Ankara 11
Houston 10
Rio de Janeiro 10
San Francisco 10
Wuxi 10
Baghdad 9
Nuremberg 9
Rome 9
Strasbourg 9
Clifton 8
Dhaka 8
Erbil 8
Mumbai 8
New Delhi 8
Charlotte 7
Curitiba 7
Haiphong 7
Querétaro 7
Tashkent 7
Brussels 6
Las Vegas 6
Porto Alegre 6
Raleigh 6
Roubaix 6
Amman 5
Bridgetown 5
Cape Town 5
Carney 5
Jiaxing 5
Miami 5
Montevideo 5
Paris 5
Piscataway 5
Quanzhou 5
Quito 5
Addis Ababa 4
Annapolis 4
Belo Horizonte 4
Bexley 4
Calgary 4
Cincinnati 4
Totale 5.378
Nome #
CHARMY: A Framework for Designing and Verifying Architectural Specifications 365
A framework for integration of functional and non-functional analysis of software architectures 201
A framework for integration of functional and non-functional analysis of software architectures 181
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 180
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 172
Ad-Opera: Music-inspired Self-adaptive Systems 151
Hey, my data are mine! Active data to empower the user 148
A Scenario Based Notation for Specifying Temporal Properties 136
ModelLAND: Where do models come from? 133
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 133
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 129
Automatic synthesis of behavior protocols for composable web-services 122
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 118
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 117
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 117
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 117
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach 111
A programming model for adaptable Java applications 110
Introducing Trust in Service-oriented Distributed Systems through Blockchain 109
CHOREOS: Large scale choreographies for the future internet 109
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 109
A Model-Based Synthesis Process for Choreography Realizability Enforcement 109
Don't You Agree with My Ethics? Let's Negotiate! 108
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 107
DUALLY: Putting in Synergy UML 2.0 and ADLs 107
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 106
In Search of Clarity: Discerning Between Human Replacement and Augmentation 106
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 105
Synthesis and Verification of Self-aware Computing Systems 105
Towards An Assume-Guarantee Theory for Adaptable Systems 105
Automated Check of Architectural Models Consistency using Spin 105
Engineering Digital Systems for Humanity: A Research Roadmap 105
AI Act and Individual Rights: A Juridical and Technical Perspective 104
Achieving functional and non functional interoperability through synthesized connectors 104
An investigation into Android run-time permissions from the end users' perspective 103
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 103
The Future of Software: Adaptation and Dependability 102
A development process for requirements based service choreography 102
CHARMY: An Extensible Tool for Architectural Analysis 102
A Development Process for Context-Aware Adaptive Services 101
Formal Analysis of Architectural Patterns 101
Automated Synthesis of Service Choreographies 101
A statistical approach for context-awareness of mobile applications 100
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 100
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 100
A self-configuring and adaptive privacy-aware permission system for Android apps 100
Checking consistency between architectural models using SPIN 100
Context-Aware Adaptive Services: The PLASTIC Approach 100
Charmy: A Framework for Designing and Validating Architectural Specifications 99
An Experience in Architectural Extensions: Active Objects in J2EE 99
A hybrid approach for resource-based comparison of adaptable Java applications 98
Developing highly complex distributed systems: A software engineering perspective 98
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 98
An empirical study of privacy labels on the Apple iOS mobile app store 97
Self-aware Computing Systems: Related Concepts and Research Areas 97
Guest Editor's Introduction: International Conference on Software Engineering 96
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 96
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 95
An Experience in Architectural Extension: Active Object in J2EE 95
Using UML for SA-based Modeling and Analysis 95
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 95
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 94
Producing software by integration: challenges and research directions (keynote) 94
A publication culture in software engineering (panel) 93
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 92
Compositional Verification of Middleware-Based Software Architecture descriptions 92
Engineering Ethical-Aware Collective Adaptive Systems 90
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 90
Human empowerment in self-adaptive socio-technical systems 90
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 89
Synthesis of concurrent and distributed adaptors for component-based systems 88
Failure-free coordinators synthesis for component-based architectures 88
Application-Layer Connector Synthesis 87
Living with Uncertainty in the Age of Runtime Models 87
Exploring user privacy awareness on GitHub: an empirical study 85
The Challenge of Human Dignity in the Era of Autonomous Systems 84
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 84
On the elicitation of privacy and ethics preferences of mobile users 82
Systematic review on privacy categorisation 82
Software engineering for self-adaptive systems: A second research roadmap 82
Synthesizing self-adaptive connectors meeting functional and performance concerns 82
Exploiting software architecture to support requirements satisfaction testing 81
Automated integration of service-oriented software systems 80
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 78
Software architecture-based analysis and testing: a look into achievements and future challenges 78
The European Perspective on Responsible Computing 77
Is Really IoT Technology Gender Neutral? 77
Towards a Stem Architecture Description Language for Self-Adaptive Systems 77
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 76
Leveraging privacy profiles to empower users in the digital society 74
User-centric android flexible permissions 74
Software Engineering Processes for Self-Adaptive Systems 74
Software of the future is the future of Software? 73
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 73
An empirical approach for determining context of mobile systems 73
Mediating Connector Patterns for Components Interoperability 73
Towards Adaptable and Evolving Service Choreography in the Future Internet 72
Towards a formalization of mediating connectors for on the fly interoperability 71
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 69
Software performance model-driven architecture 67
Totale 10.289
Categoria #
all - tutte 52.430
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 52.430


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/2022193 3 1 0 154 5 0 1 1 2 15 0 11
2022/2023449 1 7 21 62 47 65 25 71 76 20 54 0
2023/2024629 8 10 48 9 10 39 13 41 50 52 163 186
2024/20252.641 107 251 506 162 154 128 206 59 188 383 315 182
2025/20266.617 678 508 339 786 706 3.600 0 0 0 0 0 0
Totale 10.693