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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021104 0 0 0 0 0 0 0 0 0 0 0 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/202611.248 678 508 339 786 706 5.109 961 261 804 345 345 406
Totale 15.324