IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.747
NA - Nord America 3.769
AS - Asia 3.273
SA - Sud America 459
AF - Africa 100
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 2
Totale 14.359
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 4.910
US - Stati Uniti d'America 3.640
SG - Singapore 1.014
CN - Cina 1.013
IT - Italia 699
VN - Vietnam 421
BR - Brasile 328
HK - Hong Kong 254
DE - Germania 220
UA - Ucraina 159
FR - Francia 157
SE - Svezia 128
GB - Regno Unito 112
KR - Corea 102
TR - Turchia 97
IN - India 94
CZ - Repubblica Ceca 75
CA - Canada 66
AR - Argentina 61
NL - Olanda 54
BD - Bangladesh 49
PL - Polonia 43
FI - Finlandia 42
MX - Messico 41
IQ - Iraq 39
ZA - Sudafrica 37
JP - Giappone 31
ES - Italia 29
IE - Irlanda 29
LT - Lituania 19
PK - Pakistan 16
UZ - Uzbekistan 16
CO - Colombia 15
SA - Arabia Saudita 15
AE - Emirati Arabi Uniti 14
EC - Ecuador 12
PH - Filippine 12
VE - Venezuela 12
AT - Austria 11
MA - Marocco 11
UY - Uruguay 11
JO - Giordania 10
KE - Kenya 9
TN - Tunisia 9
BE - Belgio 8
CL - Cile 8
ID - Indonesia 8
NP - Nepal 8
AZ - Azerbaigian 7
KZ - Kazakistan 7
ET - Etiopia 6
OM - Oman 6
AO - Angola 5
AU - Australia 5
BB - Barbados 5
EE - Estonia 5
HU - Ungheria 5
IL - Israele 5
LB - Libano 5
RO - Romania 5
DZ - Algeria 4
PE - Perù 4
PY - Paraguay 4
RS - Serbia 4
SN - Senegal 4
AL - Albania 3
AM - Armenia 3
BO - Bolivia 3
CH - Svizzera 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
EG - Egitto 3
GR - Grecia 3
HR - Croazia 3
JM - Giamaica 3
LA - Repubblica Popolare Democratica del Laos 3
NO - Norvegia 3
PT - Portogallo 3
BG - Bulgaria 2
BH - Bahrain 2
BY - Bielorussia 2
CI - Costa d'Avorio 2
GD - Grenada 2
GE - Georgia 2
HN - Honduras 2
KH - Cambogia 2
KW - Kuwait 2
LU - Lussemburgo 2
LV - Lettonia 2
MD - Moldavia 2
ME - Montenegro 2
MW - Malawi 2
PR - Porto Rico 2
PS - Palestinian Territory 2
YE - Yemen 2
AF - Afghanistan, Repubblica islamica di 1
BA - Bosnia-Erzegovina 1
BS - Bahamas 1
CW - ???statistics.table.value.countryCode.CW??? 1
DJ - Gibuti 1
Totale 14.332
Salva come PNG Salva come JPEG
Città #
Moscow 1.210
Singapore 534
San Jose 498
Ashburn 451
Rome 401
Boardman 338
New York 294
Hong Kong 245
Chicago 236
The Dalles 216
Chandler 198
Dallas 192
Beijing 163
Milan 128
Shanghai 123
Los Angeles 118
Ho Chi Minh City 102
Hefei 101
Seoul 101
Hanoi 92
Lauterbourg 90
Munich 88
Istanbul 77
Dong Ket 74
Brno 69
L’Aquila 65
Santa Clara 59
Kyiv 57
São Paulo 45
Orem 43
Amsterdam 41
Buenos Aires 39
Warsaw 37
Chennai 34
Kitzingen 33
Guangzhou 31
Tokyo 31
Montreal 30
San Mateo 29
Helsinki 28
Denver 27
Johannesburg 27
Da Nang 26
Dublin 26
Stockholm 25
Poplar 24
Frankfurt am Main 23
Brooklyn 21
Haiphong 21
Atlanta 20
Wilmington 20
Manchester 19
Ogden 18
Boston 17
Ann Arbor 16
Baghdad 16
Mexico City 16
Phoenix 16
Shenzhen 16
Xi'an 15
London 14
Seattle 14
Toronto 14
Turku 14
Mumbai 13
Tashkent 13
Nuremberg 12
Rio de Janeiro 12
Turin 12
Ankara 11
Council Bluffs 11
Houston 11
New Delhi 11
Erbil 10
San Francisco 10
Wuxi 10
Amman 9
Montevideo 9
Strasbourg 9
Belo Horizonte 8
Clifton 8
Dhaka 8
Nairobi 8
Reading 8
Charlotte 7
Curitiba 7
Querétaro 7
Raleigh 7
Addis Ababa 6
Brussels 6
Hải Dương 6
Las Vegas 6
Medellín 6
Paris 6
Piscataway 6
Porto Alegre 6
Prague 6
Quito 6
Roubaix 6
Santiago 6
Totale 7.509
Salva come PNG Salva come JPEG
Nome #
CHARMY: A Framework for Designing and Verifying Architectural Specifications 400
A framework for integration of functional and non-functional analysis of software architectures 244
A framework for integration of functional and non-functional analysis of software architectures 220
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 217
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 204
Ad-Opera: Music-inspired Self-adaptive Systems 198
Hey, my data are mine! Active data to empower the user 193
A Scenario Based Notation for Specifying Temporal Properties 173
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 172
ModelLAND: Where do models come from? 166
Don't You Agree with My Ethics? Let's Negotiate! 166
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 163
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 161
Automatic synthesis of behavior protocols for composable web-services 160
Engineering Digital Systems for Humanity: A Research Roadmap 156
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 154
Context-Aware Adaptive Services: The PLASTIC Approach 154
AI Act and Individual Rights: A Juridical and Technical Perspective 153
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 152
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 152
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 152
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 152
Introducing Trust in Service-oriented Distributed Systems through Blockchain 151
The Future of Software: Adaptation and Dependability 150
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach 149
Automated Synthesis of Service Choreographies 148
A Model-Based Synthesis Process for Choreography Realizability Enforcement 148
Achieving functional and non functional interoperability through synthesized connectors 145
A programming model for adaptable Java applications 144
CHOREOS: Large scale choreographies for the future internet 142
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 142
An investigation into Android run-time permissions from the end users' perspective 142
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 142
A statistical approach for context-awareness of mobile applications 141
A development process for requirements based service choreography 141
In Search of Clarity: Discerning Between Human Replacement and Augmentation 141
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 140
Towards An Assume-Guarantee Theory for Adaptable Systems 140
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 138
A Development Process for Context-Aware Adaptive Services 137
Automated Check of Architectural Models Consistency using Spin 137
A self-configuring and adaptive privacy-aware permission system for Android apps 136
Checking consistency between architectural models using SPIN 136
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 135
Developing highly complex distributed systems: A software engineering perspective 135
CHARMY: An Extensible Tool for Architectural Analysis 135
Self-aware Computing Systems: Related Concepts and Research Areas 135
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 133
Guest Editor's Introduction: International Conference on Software Engineering 133
Charmy: A Framework for Designing and Validating Architectural Specifications 133
DUALLY: Putting in Synergy UML 2.0 and ADLs 133
A publication culture in software engineering (panel) 132
A hybrid approach for resource-based comparison of adaptable Java applications 131
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 130
Synthesis and Verification of Self-aware Computing Systems 130
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 130
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 130
Formal Analysis of Architectural Patterns 128
The Challenge of Human Dignity in the Era of Autonomous Systems 126
Failure-free coordinators synthesis for component-based architectures 126
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 125
An empirical study of privacy labels on the Apple iOS mobile app store 125
Producing software by integration: challenges and research directions (keynote) 125
Engineering Ethical-Aware Collective Adaptive Systems 124
An Experience in Architectural Extensions: Active Objects in J2EE 124
Synthesis of concurrent and distributed adaptors for component-based systems 123
An Experience in Architectural Extension: Active Object in J2EE 123
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 122
fRAme: an evaluation framework for human augmentation or replacement by autonomous intelligent systems 121
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 121
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 121
Exploring user privacy awareness on GitHub: an empirical study 120
On the elicitation of privacy and ethics preferences of mobile users 117
Using UML for SA-based Modeling and Analysis 117
Systematic review on privacy categorisation 116
Human empowerment in self-adaptive socio-technical systems 115
Compositional Verification of Middleware-Based Software Architecture descriptions 115
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 114
Living with Uncertainty in the Age of Runtime Models 114
Application-Layer Connector Synthesis 113
Exploiting software architecture to support requirements satisfaction testing 112
Software engineering for self-adaptive systems: A second research roadmap 112
Towards a formalization of mediating connectors for on the fly interoperability 108
Automated integration of service-oriented software systems 108
Is Really IoT Technology Gender Neutral? 107
User-centric android flexible permissions 107
Software architecture-based analysis and testing: a look into achievements and future challenges 107
Synthesizing self-adaptive connectors meeting functional and performance concerns 106
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 105
The European Perspective on Responsible Computing 105
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 103
Mediating Connector Patterns for Components Interoperability 103
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 102
Towards a Stem Architecture Description Language for Self-Adaptive Systems 101
Software Engineering Processes for Self-Adaptive Systems 99
Software of the future is the future of Software? 98
Leveraging privacy profiles to empower users in the digital society 97
Towards Adaptable and Evolving Service Choreography in the Future Internet 96
An empirical approach for determining context of mobile systems 96
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems 95
Totale 13.749
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.872
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 57.872
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021134 0 0 0 0 0 0 0 0 0 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/202610.416 678 508 339 786 706 5.109 961 261 804 264 0 0
Totale 14.492