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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022190 0 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.270 678 508 339 786 706 5.109 961 261 804 345 345 428
2026/2027581 274 307 0 0 0 0 0 0 0 0 0 0
Totale 15.927