IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.361
AS - Asia 5.342
EU - Europa 4.861
SA - Sud America 685
AF - Africa 69
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 13
Totale 19.353
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.253
SG - Singapore 1.977
CN - Cina 1.580
IE - Irlanda 1.349
TR - Turchia 886
IT - Italia 679
BR - Brasile 595
DE - Germania 569
HK - Hong Kong 537
RU - Federazione Russa 484
GB - Regno Unito 413
UA - Ucraina 409
SE - Svezia 393
FI - Finlandia 265
FR - Francia 145
VN - Vietnam 85
IN - India 77
CA - Canada 52
BD - Bangladesh 43
BE - Belgio 38
MX - Messico 38
AR - Argentina 36
IQ - Iraq 23
PL - Polonia 23
JP - Giappone 22
ZA - Sudafrica 21
NL - Olanda 20
ES - Italia 18
EC - Ecuador 17
EU - Europa 16
MA - Marocco 16
KR - Corea 14
UZ - Uzbekistan 14
IL - Israele 11
PK - Pakistan 11
AT - Austria 10
AU - Australia 10
TN - Tunisia 9
CO - Colombia 8
LT - Lituania 7
PY - Paraguay 7
SA - Arabia Saudita 7
VE - Venezuela 7
KE - Kenya 6
MY - Malesia 6
NP - Nepal 6
GR - Grecia 5
IR - Iran 5
JM - Giamaica 5
LB - Libano 5
RO - Romania 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BO - Bolivia 4
CL - Cile 4
DZ - Algeria 4
EG - Egitto 4
OM - Oman 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
CH - Svizzera 3
CR - Costa Rica 3
JO - Giordania 3
PE - Perù 3
PS - Palestinian Territory 3
PT - Portogallo 3
AZ - Azerbaigian 2
BG - Bulgaria 2
BN - Brunei Darussalam 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
ID - Indonesia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
ME - Montenegro 2
MN - Mongolia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
RS - Serbia 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
BY - Bielorussia 1
CD - Congo 1
CI - Costa d'Avorio 1
DM - Dominica 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
HN - Honduras 1
HU - Ungheria 1
IM - Isola di Man 1
IS - Islanda 1
KH - Cambogia 1
LC - Santa Lucia 1
Totale 19.339
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.615
Dublin 1.343
Chandler 1.236
Singapore 1.005
Dallas 787
Hong Kong 532
Boardman 500
Santa Clara 460
Izmir 432
Nanjing 371
San Mateo 302
Ashburn 266
L’Aquila 226
Wilmington 226
Lawrence 206
Princeton 206
New York 171
Beijing 160
Nanchang 145
Milan 135
Hangzhou 132
The Dalles 132
Ann Arbor 126
Moscow 107
Kunming 72
Los Angeles 72
Seattle 72
Shenyang 71
Verona 67
Tianjin 66
Hefei 60
Bremen 57
Dearborn 56
Hebei 56
Helsinki 54
Mountain View 54
Munich 51
L'aquila 50
São Paulo 42
Woodbridge 41
Norwalk 40
Brussels 38
Shanghai 36
Des Moines 33
Jinan 33
Jiaxing 32
Ningbo 32
Columbus 31
Council Bluffs 29
Changsha 28
Ho Chi Minh City 25
Rio de Janeiro 24
Houston 23
Paris 22
Rome 22
Zhengzhou 22
Belo Horizonte 21
Warsaw 20
Brooklyn 19
Changchun 19
Denver 19
Hanoi 19
Tokyo 17
Guangzhou 16
Lanzhou 16
Montreal 16
Poplar 15
Atlanta 14
Falls Church 14
Johannesburg 14
London 14
Mexico City 14
Tappahannock 14
Düsseldorf 13
Taizhou 13
Dhaka 12
Orange 12
Phoenix 12
Tashkent 12
Boston 11
Chennai 11
Fremont 11
Pescara 11
San Francisco 11
Stockholm 11
Auburn Hills 10
Berlin 10
Frankfurt am Main 10
Padua 9
Salvador 9
Toronto 9
Turku 9
Baghdad 8
Brasília 8
Lappeenranta 8
Venezia 8
Buenos Aires 7
Campinas 7
Casablanca 7
Charlotte 7
Totale 12.779
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 184
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 182
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 170
Model-Based Software Performance Analysis 167
Software engineering for self-adaptive systems: A second research roadmap 162
User-centric Android Flexible Permissions 156
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 150
Synthesis and Verification of Self-aware Computing Systems 136
Model-Based System Reconfiguration for Dynamic Performance Management 135
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 128
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 128
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 126
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 126
Towards a Connector Algebra 125
A programming model for adaptable Java applications 121
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 119
ModelLAND: Where do models come from? 118
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 115
Introducing Trust in Service-oriented Distributed Systems through Blockchain 115
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 115
An empirical approach for determining context of mobile systems 114
Towards Self-evolving Context-aware Services 112
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 111
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 111
Proving Finiteness of CCS Processes by Non-Standard Semantics 110
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 109
A Development Process for Self-adapting Service Oriented Applications 108
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 108
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 107
An investigation into Android run-time permissions from the end users' perspective 107
Automated Synthesis of Service Choreographies 106
Automated integration of service-oriented software systems 106
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 106
An empirical study of privacy labels on the Apple iOS mobile app store 105
CHARMY: A Framework for Designing and Verifying Architectural Specifications 105
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 105
Hey, my data are mine! Active data to empower the user 105
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 104
A hybrid approach for resource-based comparison of adaptable Java applications 103
Mediating Connector Patterns for Components Interoperability 102
Achieving functional and non functional interoperability through synthesized connectors 102
Combining Interaction and Automation in Process Algebra Verification 102
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 101
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 101
Compositional Generation of Software Architecture Performance QN Models 101
Deadlock-free software architectures for COM/DCOM Applications 100
A framework for integration of functional and non-functional analysis of software architectures 100
Failure-free Connector Synthesis for Correct Components Assembly 100
Application-Layer Connector Synthesis 100
Integrating performance and reliability analysis in a Non-Functional MDA framework 100
Transformations of software models into performance models 99
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 99
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 99
A self-configuring and adaptive privacy-aware permission system for Android apps 99
Charmy: A Framework for Designing and Validating Architectural Specifications 98
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 98
On the adaptation of context-aware services 98
Software architecture-based analysis and testing: a look into achievements and future challenges 97
Graphics by a Logic Database Management System 97
Self-aware Computing Systems: Related Concepts and Research Areas 97
Is Really IoT Technology Gender Neutral? 97
Infinite Normal Forms for Non-Linear Term Rewritting Systems 96
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 96
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 96
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 96
A model-based synthesis process for choreography realizability enforcement 96
An Experience in Architectural Extensions: Active Objects in J2EE 96
Automatic failures-free connector synthesis: An example 94
A Strategy to Deal with Divergent Rewrite Systems 94
The Teleservices and Remote Medical Care System (TRMCS) 94
Automated Check of Architectural Models Consistency using Spin 94
Automatic synthesis of coordinators of COTS group-ware applications: an example 94
Is Type Checking Practical for System Configuration? 94
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 94
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 93
Infinite Normal Forms for Non-linear Term Rewriting Systems 93
A Scenario Based Notation for Specifying Temporal Properties 93
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 93
Automated Performance Validation of Software Design: An Industrial Experience 93
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 93
An `Executable' Impredicative Semantics for the Ada Configuration. 92
Software Engineering for Self-Adaptive Systems: A Research Roadmap 92
ESP-MC: An Experiment in the Use of Verification Tools 92
Infinite Normal Forms for Non-linear Term Rewriting Systems 92
Towards Adaptable and Evolving Service Choreography in the Future Internet 92
Software Engineering Education in the Modern Age 92
Experimenting with Dynamic Linking with Ada 91
Context-Aware Adaptive Services: The PLASTIC Approach 91
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 91
Formal Analysis of Architectural Patterns 91
A Rewriting Strategy to Verify Observational Congruence 91
Software Architectures and Coordination models 91
In Search of Clarity: Discerning Between Human Replacement and Augmentation 90
Living with Uncertainty in the Age of Runtime Models 90
A Framework for Analyzing and Testing the Performance of Software Services 90
An Approach to Integration Testing Based on Architectural Descriptions 90
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture 90
Adding sorts to TRSs: a result on modularity of termination 89
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 89
A Context-Aware Approach to Infer Trust in Public Key Infrastructures 89
Totale 10.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.341
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 83.341
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021945 0 0 0 0 0 33 219 5 214 47 392 35
2021/20221.124 38 124 131 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/20263.304 336 695 567 802 633 271 0 0 0 0 0 0
Totale 19.640