INVERARDI, PAOLA
 Distribuzione geografica
Continente #
EU - Europa 3.228
NA - Nord America 2.738
AS - Asia 2.459
SA - Sud America 341
AF - Africa 61
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.838
Nazione #
US - Stati Uniti d'America 2.630
RU - Federazione Russa 2.034
CN - Cina 875
SG - Singapore 806
IT - Italia 262
BR - Brasile 256
HK - Hong Kong 225
DE - Germania 205
UA - Ucraina 150
VN - Vietnam 137
SE - Svezia 120
KR - Corea 101
TR - Turchia 91
GB - Regno Unito 87
CZ - Repubblica Ceca 71
CA - Canada 62
FR - Francia 62
IN - India 58
AR - Argentina 47
NL - Olanda 46
BD - Bangladesh 39
PL - Polonia 39
FI - Finlandia 38
MX - Messico 29
ZA - Sudafrica 26
IE - Irlanda 25
IQ - Iraq 25
JP - Giappone 25
ES - Italia 23
LT - Lituania 14
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
MA - Marocco 6
VE - Venezuela 6
AU - Australia 5
BB - Barbados 5
CO - Colombia 5
JO - Giordania 5
AO - Angola 4
ET - Etiopia 4
IL - Israele 4
KE - Kenya 4
NP - Nepal 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
AZ - Azerbaigian 2
BY - Bielorussia 2
EG - Egitto 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
DO - Repubblica Dominicana 1
EU - Europa 1
GD - Grenada 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 8.826
Città #
Moscow 500
Singapore 419
Boardman 336
New York 273
Ashburn 238
Hong Kong 218
The Dalles 215
Chandler 198
Dallas 192
Beijing 148
Shanghai 123
Milan 119
Chicago 112
Los Angeles 111
Hefei 101
Seoul 101
Munich 88
Istanbul 77
Dong Ket 74
Brno 69
L’Aquila 60
Kyiv 54
Santa Clara 47
Buenos Aires 38
São Paulo 37
Amsterdam 34
Warsaw 34
Kitzingen 33
Guangzhou 30
San Mateo 29
Montreal 27
Denver 26
Helsinki 26
Dublin 25
Tokyo 25
Hanoi 21
Johannesburg 20
Poplar 20
Wilmington 20
Brooklyn 19
Orem 19
Stockholm 19
Ogden 18
Atlanta 17
Chennai 17
Ann Arbor 16
Shenzhen 16
Frankfurt am Main 15
Manchester 15
Xi'an 15
Toronto 14
Boston 13
Ho Chi Minh City 13
Seattle 13
Mexico City 12
Phoenix 12
Turin 12
Turku 12
London 11
San Francisco 10
Wuxi 10
Ankara 9
Baghdad 9
Houston 9
Nuremberg 9
Rio de Janeiro 9
Rome 9
Strasbourg 9
Clifton 8
Dhaka 8
Erbil 8
Curitiba 7
Mumbai 7
Tashkent 7
Brussels 6
Charlotte 6
Haiphong 6
Las Vegas 6
New Delhi 6
Porto Alegre 6
Querétaro 6
Raleigh 6
Roubaix 6
Amman 5
Bridgetown 5
Cape Town 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
Cincinnati 4
Dammam 4
Lahore 4
Totale 4.876
Nome #
CHARMY: A Framework for Designing and Verifying Architectural Specifications 348
A framework for integration of functional and non-functional analysis of software architectures 180
A framework for integration of functional and non-functional analysis of software architectures 162
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 161
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 155
Ad-Opera: Music-inspired Self-adaptive Systems 132
Hey, my data are mine! Active data to empower the user 129
ModelLAND: Where do models come from? 118
A Scenario Based Notation for Specifying Temporal Properties 118
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 114
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 108
Automatic synthesis of behavior protocols for composable web-services 105
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 103
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 100
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 100
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 100
Automated Check of Architectural Models Consistency using Spin 95
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 94
Introducing Trust in Service-oriented Distributed Systems through Blockchain 93
DUALLY: Putting in Synergy UML 2.0 and ADLs 92
CHOREOS: Large scale choreographies for the future internet 91
A programming model for adaptable Java applications 91
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach 91
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 90
Towards An Assume-Guarantee Theory for Adaptable Systems 90
Don't You Agree with My Ethics? Let's Negotiate! 90
A Model-Based Synthesis Process for Choreography Realizability Enforcement 90
Formal Analysis of Architectural Patterns 89
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 88
In Search of Clarity: Discerning Between Human Replacement and Augmentation 88
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 88
An investigation into Android run-time permissions from the end users' perspective 87
CHARMY: An Extensible Tool for Architectural Analysis 87
Engineering Digital Systems for Humanity: A Research Roadmap 87
AI Act and Individual Rights: A Juridical and Technical Perspective 86
A development process for requirements based service choreography 86
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 86
The Future of Software: Adaptation and Dependability 85
A Development Process for Context-Aware Adaptive Services 85
An Experience in Architectural Extensions: Active Objects in J2EE 85
Synthesis and Verification of Self-aware Computing Systems 84
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 84
Achieving functional and non functional interoperability through synthesized connectors 84
A statistical approach for context-awareness of mobile applications 83
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 83
Developing highly complex distributed systems: A software engineering perspective 83
Checking consistency between architectural models using SPIN 83
Automated Synthesis of Service Choreographies 83
Context-Aware Adaptive Services: The PLASTIC Approach 83
A hybrid approach for resource-based comparison of adaptable Java applications 82
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 82
A self-configuring and adaptive privacy-aware permission system for Android apps 82
Charmy: A Framework for Designing and Validating Architectural Specifications 82
An Experience in Architectural Extension: Active Object in J2EE 82
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 81
Using UML for SA-based Modeling and Analysis 81
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 81
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 80
Compositional Verification of Middleware-Based Software Architecture descriptions 80
Producing software by integration: challenges and research directions (keynote) 80
An empirical study of privacy labels on the Apple iOS mobile app store 79
Self-aware Computing Systems: Related Concepts and Research Areas 79
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 78
Guest Editor's Introduction: International Conference on Software Engineering 78
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 78
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 76
A publication culture in software engineering (panel) 76
Failure-free coordinators synthesis for component-based architectures 76
Engineering Ethical-Aware Collective Adaptive Systems 74
Human empowerment in self-adaptive socio-technical systems 74
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 74
Application-Layer Connector Synthesis 71
Living with Uncertainty in the Age of Runtime Models 70
Synthesis of concurrent and distributed adaptors for component-based systems 70
The Challenge of Human Dignity in the Era of Autonomous Systems 68
Exploring user privacy awareness on GitHub: an empirical study 68
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 67
Automated integration of service-oriented software systems 67
Software engineering for self-adaptive systems: A second research roadmap 67
Synthesizing self-adaptive connectors meeting functional and performance concerns 66
On the elicitation of privacy and ethics preferences of mobile users 65
Systematic review on privacy categorisation 65
Exploiting software architecture to support requirements satisfaction testing 63
Towards a Stem Architecture Description Language for Self-Adaptive Systems 63
Software Engineering Processes for Self-Adaptive Systems 63
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 62
Software of the future is the future of Software? 61
The European Perspective on Responsible Computing 61
Software architecture-based analysis and testing: a look into achievements and future challenges 61
An empirical approach for determining context of mobile systems 61
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 60
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 60
Is Really IoT Technology Gender Neutral? 59
User-centric android flexible permissions 59
Mediating Connector Patterns for Components Interoperability 59
Leveraging privacy profiles to empower users in the digital society 58
Towards a formalization of mediating connectors for on the fly interoperability 57
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 57
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 55
Software performance model-driven architecture 54
Totale 8.669
Categoria #
all - tutte 50.046
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 50.046


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/20264.890 678 508 339 786 706 1.873 0 0 0 0 0 0
Totale 8.966