IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.022
EU - Europa 6.450
AS - Asia 6.334
SA - Sud America 768
Continente sconosciuto - Info sul continente non disponibili 329
AF - Africa 92
OC - Oceania 13
Totale 26.008
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.805
SG - Singapore 2.406
CN - Cina 1.704
IT - Italia 1.510
IE - Irlanda 1.350
RU - Federazione Russa 948
TR - Turchia 891
BR - Brasile 654
DE - Germania 602
HK - Hong Kong 580
GB - Regno Unito 439
UA - Ucraina 414
SE - Svezia 395
VN - Vietnam 384
FR - Francia 317
FI - Finlandia 274
CA - Canada 114
IN - India 97
BD - Bangladesh 58
AR - Argentina 41
MX - Messico 41
BE - Belgio 40
JP - Giappone 39
NL - Olanda 34
IQ - Iraq 27
ES - Italia 25
PL - Polonia 25
ZA - Sudafrica 25
EC - Ecuador 19
MA - Marocco 18
EU - Europa 16
UZ - Uzbekistan 16
JM - Giamaica 14
KR - Corea 14
CO - Colombia 13
IL - Israele 13
PK - Pakistan 13
CR - Costa Rica 11
MY - Malesia 11
RO - Romania 11
SA - Arabia Saudita 11
TN - Tunisia 11
VE - Venezuela 11
AT - Austria 10
AU - Australia 10
KE - Kenya 10
HN - Honduras 9
NP - Nepal 9
CL - Cile 8
PY - Paraguay 8
LT - Lituania 7
PH - Filippine 7
SC - Seychelles 7
DZ - Algeria 6
GR - Grecia 6
LB - Libano 6
AZ - Azerbaigian 5
EG - Egitto 5
GT - Guatemala 5
ID - Indonesia 5
IR - Iran 5
NI - Nicaragua 5
OM - Oman 5
PE - Perù 5
TT - Trinidad e Tobago 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AE - Emirati Arabi Uniti 4
BO - Bolivia 4
CH - Svizzera 4
UY - Uruguay 4
AL - Albania 3
DK - Danimarca 3
HU - Ungheria 3
JO - Giordania 3
PR - Porto Rico 3
PS - Palestinian Territory 3
PT - Portogallo 3
RS - Serbia 3
SI - Slovenia 3
AO - Angola 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BG - Bulgaria 2
BH - Bahrain 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
EE - Estonia 2
ET - Etiopia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LV - Lettonia 2
ME - Montenegro 2
MN - Mongolia 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
SV - El Salvador 2
TH - Thailandia 2
XK - ???statistics.table.value.countryCode.XK??? 2
Totale 25.678
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.616
Dublin 1.344
Singapore 1.307
Chandler 1.236
San Jose 1.198
Ashburn 896
Dallas 815
Council Bluffs 669
Hong Kong 560
Santa Clara 517
Boardman 507
Izmir 433
Nanjing 371
San Mateo 302
Milan 268
The Dalles 250
L’Aquila 233
Wilmington 227
New York 220
Lawrence 206
Princeton 206
Moscow 180
Beijing 174
Lauterbourg 160
Nanchang 145
Hangzhou 133
Ann Arbor 126
Ho Chi Minh City 125
Los Angeles 110
Staranzano 108
Hanoi 106
Rome 83
Seattle 76
Kunming 72
São Paulo 72
Shenyang 71
Verona 71
Tianjin 66
Hefei 60
Bremen 57
Dearborn 56
Hebei 56
Helsinki 56
Mountain View 54
Miano 53
Munich 51
L'aquila 50
Naples 47
Woodbridge 41
Norwalk 40
Brussels 39
Shanghai 39
Des Moines 37
Columbus 35
Houston 34
Jinan 33
Tokyo 33
Toronto 33
Washington 33
Jiaxing 32
Montreal 32
Ningbo 32
Chicago 31
Frankfurt am Main 31
Changsha 28
Atlanta 27
Turin 27
Orem 26
Brooklyn 25
Da Nang 24
Paris 24
Rio de Janeiro 24
Phoenix 22
Zhengzhou 22
Belo Horizonte 21
Denver 21
Warsaw 21
Changchun 19
Chennai 19
Padua 19
London 18
Mexico City 17
Guangzhou 16
Johannesburg 16
Lanzhou 16
Poplar 16
San Francisco 16
Buffalo 14
Falls Church 14
Lappeenranta 14
Newark 14
Pescara 14
Tappahannock 14
Tashkent 14
Düsseldorf 13
Florence 13
Stockholm 13
Taizhou 13
Amsterdam 12
Boston 12
Totale 17.012
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 215
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency 212
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 210
Model-Based Software Performance Analysis 197
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 196
An empirical study of privacy labels on the Apple iOS mobile app store 191
Software engineering for self-adaptive systems: A second research roadmap 188
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 183
User-centric Android Flexible Permissions 180
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 163
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 162
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 162
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 160
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 156
Model-Based System Reconfiguration for Dynamic Performance Management 156
Synthesis and Verification of Self-aware Computing Systems 154
Introducing Trust in Service-oriented Distributed Systems through Blockchain 150
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 149
A programming model for adaptable Java applications 147
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 147
An empirical approach for determining context of mobile systems 146
Towards a Connector Algebra 145
ModelLAND: Where do models come from? 144
Deadlock-free software architectures for COM/DCOM Applications 143
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 143
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 142
Towards Self-evolving Context-aware Services 141
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 140
Software architecture-based analysis and testing: a look into achievements and future challenges 139
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 139
CHARMY: A Framework for Designing and Verifying Architectural Specifications 139
A Framework for Analyzing and Testing the Performance of Software Services 139
On Representing Humans’ Soft-Ethics Preferences As Dispositions 138
Automated Synthesis of Service Choreographies 138
Automated integration of service-oriented software systems 138
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 137
An investigation into Android run-time permissions from the end users' perspective 137
Proving Finiteness of CCS Processes by Non-Standard Semantics 136
A Development Process for Self-adapting Service Oriented Applications 136
Software Engineering for Self-Adaptive Systems: A Research Roadmap 134
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 134
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 134
A hybrid approach for resource-based comparison of adaptable Java applications 133
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 133
A model-based synthesis process for choreography realizability enforcement 133
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 132
A framework for integration of functional and non-functional analysis of software architectures 132
Failure-free Connector Synthesis for Correct Components Assembly 132
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 131
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 130
I'm Trustworthy! Don't you Trust me? 130
Hey, my data are mine! Active data to empower the user 130
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 129
Combining Interaction and Automation in Process Algebra Verification 129
Infinite Normal Forms for Non-Linear Term Rewritting Systems 128
Achieving functional and non functional interoperability through synthesized connectors 128
Mediating Connector Patterns for Components Interoperability 127
Automatic failures-free connector synthesis: An example 126
On the adaptation of context-aware services 126
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 126
A self-configuring and adaptive privacy-aware permission system for Android apps 126
In Search of Clarity: Discerning Between Human Replacement and Augmentation 125
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 125
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 125
Is Type Checking Practical for System Configuration? 125
Automated Check of Architectural Models Consistency using Spin 124
Automatic synthesis of coordinators of COTS group-ware applications: an example 124
An Approach to Integration Testing Based on Architectural Descriptions 124
Application-Layer Connector Synthesis 124
Is Really IoT Technology Gender Neutral? 124
AI Act and Individual Rights: A Juridical and Technical Perspective 123
Transformations of software models into performance models 123
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance 123
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 123
A Scenario Based Notation for Specifying Temporal Properties 122
A Strategy to Deal with Divergent Rewrite Systems 122
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 122
Graphics by a Logic Database Management System 121
Infinite Normal Forms for Non-linear Term Rewriting Systems 121
An `Executable' Impredicative Semantics for the Ada Configuration. 121
Integrating performance and reliability analysis in a Non-Functional MDA framework 121
Charmy: A Framework for Designing and Validating Architectural Specifications 120
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 120
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 120
Self-aware Computing Systems: Related Concepts and Research Areas 120
Compositional Generation of Software Architecture Performance QN Models 120
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 119
Systematic review on privacy categorisation 118
Synthesis of concurrent and distributed adaptors for component-based systems 118
Automatic synthesis of behavior protocols for composable web-services 118
Failure-free coordinators synthesis for component-based architectures 117
Context-Aware Adaptive Services: The PLASTIC Approach 117
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 117
Automated Performance Validation of Software Design: An Industrial Experience 117
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 117
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm 117
Exosoul: Ethical Profiling in the Digital World 116
Living with Uncertainty in the Age of Runtime Models 116
Rational Rewriting 116
Formal Methods in Testing Software Architectures 116
Totale 13.702
Salva come PNG Salva come JPEG
Categoria #
all - tutte 103.656
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 103.656
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022831 0 0 0 90 68 20 17 71 83 44 87 351
2022/20233.723 272 156 38 376 408 384 2 232 1.694 20 84 57
2023/20241.018 321 59 25 147 67 181 12 86 0 26 36 58
2024/20253.795 114 89 348 123 412 287 451 439 798 227 287 220
2025/20266.952 336 695 567 802 633 549 1.164 306 632 707 458 103
2026/20272.720 192 428 646 1.454 0 0 0 0 0 0 0 0
Totale 26.008