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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022189 0 0 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/202611.270 678 508 339 786 706 5.109 961 261 804 345 345 428
2026/20271.911 274 513 674 450 0 0 0 0 0 0 0 0
Totale 17.257