IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.730
EU - Europa 4.012
AS - Asia 2.833
SA - Sud America 27
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 11
AF - Africa 6
Totale 13.639
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.710
CN - Cina 1.370
IE - Irlanda 1.347
TR - Turchia 871
IT - Italia 534
DE - Germania 513
SG - Singapore 489
UA - Ucraina 402
SE - Svezia 384
GB - Regno Unito 360
FI - Finlandia 238
FR - Francia 135
IN - India 51
BE - Belgio 37
BR - Brasile 21
CA - Canada 16
EU - Europa 16
RU - Federazione Russa 13
NL - Olanda 12
AU - Australia 9
IL - Israele 9
AT - Austria 8
KR - Corea 8
GR - Grecia 5
HK - Hong Kong 5
JP - Giappone 5
RO - Romania 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AR - Argentina 4
VN - Vietnam 4
IR - Iran 3
MX - Messico 3
MY - Malesia 3
PK - Pakistan 3
TN - Tunisia 3
UZ - Uzbekistan 3
CZ - Repubblica Ceca 2
DK - Danimarca 2
IQ - Iraq 2
NZ - Nuova Zelanda 2
PL - Polonia 2
PT - Portogallo 2
SA - Arabia Saudita 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ES - Italia 1
HU - Ungheria 1
IM - Isola di Man 1
IS - Islanda 1
JO - Giordania 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
ME - Montenegro 1
PE - Perù 1
PH - Filippine 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
VE - Venezuela 1
Totale 13.639
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.612
Dublin 1.343
Chandler 1.236
Boardman 499
Santa Clara 436
Izmir 432
Singapore 402
Nanjing 371
San Mateo 302
Wilmington 226
L’Aquila 221
Lawrence 206
Princeton 206
Nanchang 145
New York 144
Hangzhou 132
Ann Arbor 126
Ashburn 125
Beijing 118
Milan 93
Kunming 72
Shenyang 71
Seattle 70
Verona 66
Tianjin 65
Bremen 57
Dearborn 56
Hebei 56
Mountain View 54
L'aquila 50
Helsinki 41
Woodbridge 41
Norwalk 40
Brussels 37
Shanghai 34
Jinan 33
Des Moines 32
Jiaxing 32
Ningbo 32
Changsha 26
Los Angeles 26
Zhengzhou 22
Paris 20
Changchun 19
Lanzhou 16
Houston 15
Falls Church 14
Tappahannock 14
Dallas 13
Düsseldorf 13
Munich 13
Taizhou 13
Orange 12
Fremont 11
Auburn Hills 10
Berlin 10
Guangzhou 10
Venezia 8
Rome 7
Aquila 6
Grafing 6
Pune 6
Espoo 5
Fuzhou 5
Melbourne 5
Pescara 5
Andover 4
Haikou 4
London 4
Milton Keynes 4
Montesilvano Marina 4
Ottawa 4
Philadelphia 4
Phoenix 4
Redmond 4
Wuhan 4
Canterbury 3
Dearborn Heights 3
Hefei 3
Lappeenranta 3
Le Chesnay 3
Shah Alam 3
Tashkent 3
Vienna 3
Washington 3
Auckland 2
Augsburg 2
Buenos Aires 2
Cedar Knolls 2
Copenhagen 2
Dalian 2
Dong Ket 2
Giulianova 2
Harbin 2
Islamabad 2
Manaus 2
Mannheim 2
Martinsicuro 2
Montreal 2
Mumbai 2
Totale 9.741
Salva come PNG Salva come JPEG
Nome #
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 165
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 159
Model-Based Software Performance Analysis 151
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 151
Software engineering for self-adaptive systems: A second research roadmap 132
User-centric Android Flexible Permissions 116
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 110
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 102
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 102
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 102
Synthesis and Verification of Self-aware Computing Systems 97
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 91
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 90
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 86
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 85
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 85
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 84
ModelLAND: Where do models come from? 84
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 83
Automated Synthesis of Service Choreographies 83
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 83
Software architecture-based analysis and testing: a look into achievements and future challenges 81
Towards Self-evolving Context-aware Services 80
A programming model for adaptable Java applications 80
Achieving functional and non functional interoperability through synthesized connectors 80
A Development Process for Self-adapting Service Oriented Applications 79
A hybrid approach for resource-based comparison of adaptable Java applications 78
CHARMY: A Framework for Designing and Verifying Architectural Specifications 78
Failure-free Connector Synthesis for Correct Components Assembly 78
Integrating performance and reliability analysis in a Non-Functional MDA framework 78
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 77
Towards a Connector Algebra 77
Combining Interaction and Automation in Process Algebra Verification 77
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 76
The Teleservices and Remote Medical Care System (TRMCS) 76
Automated Check of Architectural Models Consistency using Spin 76
Automatic failures-free connector synthesis: An example 75
A model-based synthesis process for choreography realizability enforcement 75
An Experience in Architectural Extensions: Active Objects in J2EE 75
Automated integration of service-oriented software systems 75
On the adaptation of context-aware services 75
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 75
Self-aware Computing Systems: Related Concepts and Research Areas 74
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 74
Introducing Trust in Service-oriented Distributed Systems through Blockchain 74
Software Architectures and Coordination models 74
Compositional Generation of Software Architecture Performance QN Models 74
Mediating Connector Patterns for Components Interoperability 73
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 73
Graphics by a Logic Database Management System 72
Charmy: A Framework for Designing and Validating Architectural Specifications 72
A Framework for Analyzing and Testing the Performance of Software Services 72
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 72
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 72
Automatic synthesis of coordinators of COTS group-ware applications: an example 72
Automated Performance Validation of Software Design: An Industrial Experience 72
An empirical approach for determining context of mobile systems 72
A Rewriting Strategy to Verify Observational Congruence 72
Infinite Normal Forms for Non-Linear Term Rewritting Systems 71
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 71
Infinite Normal Forms for Non-linear Term Rewriting Systems 70
A framework for integration of functional and non-functional analysis of software architectures 70
Application-Layer Connector Synthesis 70
The Future of Software: Adaptation and Dependability 70
Deadlock-free software architectures for COM/DCOM Applications 69
An `Executable' Impredicative Semantics for the Ada Configuration. 69
Towards a Stem Architecture Description Language for Self-Adaptive Systems 69
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 69
A Conceptual Model for Adaptable Context-aware Services 69
Living with Uncertainty in the Age of Runtime Models 68
Infinite Normal Forms for Non-linear Term Rewriting Systems 68
An Approach to Integration Testing Based on Architectural Descriptions 68
Software Engineering Education in the Modern Age 68
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm 68
Formal Analysis of Architectural Patterns 68
Automatic synthesis of behavior protocols for composable web-services 67
A Strategy to Deal with Divergent Rewrite Systems 67
A Coordination Process Based on UML and a Software Architectural Description 67
Using Logic Databases in Software Development Environments 67
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 67
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 67
CHOREOS: Large scale choreographies for the future internet 67
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 67
Software Engineering for Self-Adaptive Systems: A Research Roadmap 66
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 66
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 66
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 66
Model-Based System Reconfiguration for Dynamic Performance Management 65
Context-Aware Adaptive Services: The PLASTIC Approach 65
A GEO TIME AUTHENTICATION SYSTEM 65
Software performance model-driven architecture 65
A Development Process for Context-Aware Adaptive Services 65
CHARMY: An Extensible Tool for Architectural Analysis 65
Transformations of software models into performance models 65
Adding sorts to TRSs: a result on modularity of termination 65
Formal Methods in Testing Software Architectures 65
ESP-MC: An Experiment in the Use of Verification Tools 64
Run-time Performance Management of the Siena Publish/Subscribe Middleware 64
A Semantic Driven Method to Check the Finiteness of CCS Processes 64
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 64
Totale 7.842
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.123
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 57.123
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020868 0 0 0 0 0 0 299 44 251 39 20 215
2020/20211.668 80 207 7 217 212 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/20251.376 114 89 348 123 412 287 3 0 0 0 0 0
Totale 13.917