IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.655
AS - Asia 6.316
EU - Europa 5.706
SA - Sud America 759
Continente sconosciuto - Info sul continente non disponibili 322
AF - Africa 90
OC - Oceania 13
Totale 23.861
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.488
SG - Singapore 2.399
CN - Cina 1.701
IE - Irlanda 1.350
RU - Federazione Russa 947
TR - Turchia 891
IT - Italia 789
BR - Brasile 647
DE - Germania 600
HK - Hong Kong 578
GB - Regno Unito 429
UA - Ucraina 414
SE - Svezia 395
VN - Vietnam 384
FR - Francia 316
FI - Finlandia 273
IN - India 97
CA - Canada 91
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 18
MA - Marocco 18
EU - Europa 16
UZ - Uzbekistan 16
KR - Corea 14
PK - Pakistan 13
CO - Colombia 12
IL - Israele 11
MY - Malesia 11
TN - Tunisia 11
VE - Venezuela 11
AT - Austria 10
AU - Australia 10
KE - Kenya 10
JM - Giamaica 9
NP - Nepal 9
SA - Arabia Saudita 9
CL - Cile 8
PY - Paraguay 8
LT - Lituania 7
CR - Costa Rica 6
DZ - Algeria 6
GR - Grecia 6
LB - Libano 6
PH - Filippine 6
RO - Romania 6
AZ - Azerbaigian 5
EG - Egitto 5
IR - Iran 5
OM - Oman 5
PE - Perù 5
SC - Seychelles 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AE - Emirati Arabi Uniti 4
BO - Bolivia 4
CH - Svizzera 4
HN - Honduras 4
ID - Indonesia 4
UY - Uruguay 4
AL - Albania 3
HU - Ungheria 3
JO - Giordania 3
NI - Nicaragua 3
PS - Palestinian Territory 3
PT - Portogallo 3
RS - Serbia 3
SI - Slovenia 3
TT - Trinidad e Tobago 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
DK - Danimarca 2
DO - Repubblica Dominicana 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
TH - Thailandia 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BY - Bielorussia 1
CD - Congo 1
DM - Dominica 1
Totale 23.540
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.616
Dublin 1.344
Singapore 1.306
Chandler 1.236
San Jose 1.052
Dallas 809
Ashburn 613
Hong Kong 559
Boardman 507
Santa Clara 505
Izmir 433
Nanjing 371
San Mateo 302
Council Bluffs 283
The Dalles 249
L’Aquila 232
Wilmington 226
New York 211
Lawrence 206
Princeton 206
Moscow 180
Beijing 172
Lauterbourg 160
Milan 154
Nanchang 145
Hangzhou 133
Ann Arbor 126
Ho Chi Minh City 125
Hanoi 106
Los Angeles 103
Seattle 75
Kunming 72
Shenyang 71
São Paulo 70
Verona 68
Tianjin 66
Hefei 60
Bremen 57
Dearborn 56
Hebei 56
Helsinki 56
Mountain View 54
Munich 51
L'aquila 50
Woodbridge 41
Norwalk 40
Brussels 39
Shanghai 39
Des Moines 37
Columbus 34
Jinan 33
Tokyo 33
Jiaxing 32
Ningbo 32
Rome 32
Frankfurt am Main 31
Houston 30
Changsha 28
Montreal 26
Toronto 26
Orem 25
Da Nang 24
Paris 24
Rio de Janeiro 24
Chicago 23
Zhengzhou 22
Belo Horizonte 21
Warsaw 21
Brooklyn 20
Changchun 19
Chennai 19
Denver 19
London 18
Atlanta 17
Mexico City 17
Guangzhou 16
Johannesburg 16
Lanzhou 16
Poplar 16
San Francisco 16
Phoenix 15
Falls Church 14
Lappeenranta 14
Padua 14
Tappahannock 14
Tashkent 14
Düsseldorf 13
Stockholm 13
Taizhou 13
Amsterdam 12
Boston 12
Buffalo 12
Dhaka 12
Haiphong 12
Orange 12
Pescara 12
Fremont 11
Auburn Hills 10
Baghdad 10
Berlin 10
Totale 15.707
Salva come PNG Salva come JPEG
Nome #
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency 206
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 199
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 197
Model-Based Software Performance Analysis 186
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 184
Software engineering for self-adaptive systems: A second research roadmap 174
An empirical study of privacy labels on the Apple iOS mobile app store 172
User-centric Android Flexible Permissions 172
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 171
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 153
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 151
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 150
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 149
Model-Based System Reconfiguration for Dynamic Performance Management 148
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 148
Synthesis and Verification of Self-aware Computing Systems 145
Introducing Trust in Service-oriented Distributed Systems through Blockchain 142
A programming model for adaptable Java applications 141
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 140
Towards a Connector Algebra 139
Towards Self-evolving Context-aware Services 134
Deadlock-free software architectures for COM/DCOM Applications 134
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 134
An empirical approach for determining context of mobile systems 134
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 133
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 133
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 132
ModelLAND: Where do models come from? 131
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 129
On Representing Humans’ Soft-Ethics Preferences As Dispositions 128
Automated integration of service-oriented software systems 127
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 127
A Development Process for Self-adapting Service Oriented Applications 127
CHARMY: A Framework for Designing and Verifying Architectural Specifications 126
Proving Finiteness of CCS Processes by Non-Standard Semantics 125
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 125
Software architecture-based analysis and testing: a look into achievements and future challenges 124
Automated Synthesis of Service Choreographies 124
Software Engineering for Self-Adaptive Systems: A Research Roadmap 124
Combining Interaction and Automation in Process Algebra Verification 124
Mediating Connector Patterns for Components Interoperability 123
Failure-free Connector Synthesis for Correct Components Assembly 123
An investigation into Android run-time permissions from the end users' perspective 123
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 123
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 122
Hey, my data are mine! Active data to empower the user 121
A Framework for Analyzing and Testing the Performance of Software Services 120
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 120
A hybrid approach for resource-based comparison of adaptable Java applications 119
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 119
I'm Trustworthy! Don't you Trust me? 118
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 117
Infinite Normal Forms for Non-Linear Term Rewritting Systems 117
A framework for integration of functional and non-functional analysis of software architectures 117
Automatic failures-free connector synthesis: An example 117
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 117
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 116
Automatic synthesis of coordinators of COTS group-ware applications: an example 116
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 116
Achieving functional and non functional interoperability through synthesized connectors 116
On the adaptation of context-aware services 116
Transformations of software models into performance models 115
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 115
A model-based synthesis process for choreography realizability enforcement 115
Is Really IoT Technology Gender Neutral? 115
Charmy: A Framework for Designing and Validating Architectural Specifications 114
A Strategy to Deal with Divergent Rewrite Systems 114
Application-Layer Connector Synthesis 114
A self-configuring and adaptive privacy-aware permission system for Android apps 114
Integrating performance and reliability analysis in a Non-Functional MDA framework 114
Infinite Normal Forms for Non-linear Term Rewriting Systems 113
Automated Check of Architectural Models Consistency using Spin 113
An Approach to Integration Testing Based on Architectural Descriptions 113
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 113
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 113
In Search of Clarity: Discerning Between Human Replacement and Augmentation 112
Graphics by a Logic Database Management System 112
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance 112
Compositional Generation of Software Architecture Performance QN Models 112
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 111
The Teleservices and Remote Medical Care System (TRMCS) 111
Adding sorts to TRSs: a result on modularity of termination 111
Is Type Checking Practical for System Configuration? 111
Context-Aware Adaptive Services: The PLASTIC Approach 110
Automatic synthesis of behavior protocols for composable web-services 110
A Scenario Based Notation for Specifying Temporal Properties 110
An `Executable' Impredicative Semantics for the Ada Configuration. 109
Rational Rewriting 109
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 109
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 109
Self-aware Computing Systems: Related Concepts and Research Areas 109
Infinite Normal Forms for Non-linear Term Rewriting Systems 108
The Future of Software: Adaptation and Dependability 108
An Experience in Architectural Extensions: Active Objects in J2EE 108
AI Act and Individual Rights: A Juridical and Technical Perspective 107
Towards Ethical Prompt Engineering for Generative AI in SE: Limitations, Challenges and Research Roadmap 107
A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture 107
A Context-Aware Approach to Infer Trust in Public Key Infrastructures 107
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 107
Automated Performance Validation of Software Design: An Industrial Experience 106
Totale 12.665
Salva come PNG Salva come JPEG
Categoria #
all - tutte 97.546
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 97.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.086 0 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/20266.952 336 695 567 802 633 549 1.164 306 632 707 458 103
2026/2027573 192 381 0 0 0 0 0 0 0 0 0 0
Totale 23.861