IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.082
EU - Europa 3.898
AS - Asia 2.271
Continente sconosciuto - Info sul continente non disponibili 21
SA - Sud America 21
OC - Oceania 15
AF - Africa 7
Totale 12.315
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.064
IE - Irlanda 1.356
CN - Cina 1.291
TR - Turchia 874
DE - Germania 498
IT - Italia 475
UA - Ucraina 403
SE - Svezia 388
GB - Regno Unito 368
FI - Finlandia 207
FR - Francia 114
IN - India 53
BE - Belgio 37
BR - Brasile 17
EU - Europa 17
AU - Australia 13
CA - Canada 13
NL - Olanda 13
RU - Federazione Russa 13
KR - Corea 9
IL - Israele 8
GR - Grecia 5
HK - Hong Kong 5
JP - Giappone 5
MY - Malesia 5
RO - Romania 5
A2 - ???statistics.table.value.countryCode.A2??? 4
IR - Iran 4
MX - Messico 4
AR - Argentina 3
AT - Austria 3
PK - Pakistan 3
TN - Tunisia 3
VN - Vietnam 3
DK - Danimarca 2
IQ - Iraq 2
NZ - Nuova Zelanda 2
SA - Arabia Saudita 2
BD - Bangladesh 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ES - Italia 1
GH - Ghana 1
GN - Guinea 1
HU - Ungheria 1
IM - Isola di Man 1
JO - Giordania 1
LU - Lussemburgo 1
MD - Moldavia 1
ME - Montenegro 1
PE - Perù 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
SC - Seychelles 1
SG - Singapore 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 12.315
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.620
Dublin 1.349
Chandler 1.239
Izmir 433
Nanjing 375
San Mateo 303
Boardman 276
Wilmington 227
Lawrence 207
Princeton 207
L’Aquila 184
Nanchang 145
New York 144
Hangzhou 132
Ann Arbor 126
Ashburn 126
Beijing 118
Milan 90
Seattle 73
Kunming 72
Shenyang 68
Verona 66
Tianjin 65
Bremen 57
Dearborn 56
Hebei 56
Mountain View 54
L'aquila 50
Woodbridge 41
Norwalk 40
Brussels 37
Des Moines 33
Jiaxing 33
Ningbo 33
Jinan 32
Los Angeles 27
Changsha 26
Zhengzhou 22
Houston 21
Changchun 19
Lanzhou 16
Helsinki 15
Falls Church 14
Shanghai 14
Tappahannock 14
Düsseldorf 13
Taizhou 13
Orange 12
Fremont 11
Auburn Hills 10
Guangzhou 8
Venezia 8
Pune 7
Aquila 6
Grafing 6
Melbourne 5
Rome 5
Andover 4
Fuzhou 4
Haikou 4
Milton Keynes 4
Ottawa 4
Pescara 4
Philadelphia 4
Phoenix 4
Redmond 4
Amsterdam 3
Canterbury 3
Dearborn Heights 3
Lappeenranta 3
Le Chesnay 3
Monash 3
Shah Alam 3
Växjö 3
Auckland 2
Augsburg 2
Batu Caves 2
Birmingham 2
Buenos Aires 2
Cedar Knolls 2
Copenhagen 2
Dong Ket 2
Giulianova 2
Göteborg 2
Hefei 2
Islamabad 2
Kaiserslautern 2
Manaus 2
Mannheim 2
Montreal 2
Mumbai 2
Paderborn 2
Redwood City 2
Scordia 2
Taiyuan 2
Walnut 2
Washington 2
Wuhan 2
Amherst 1
Amman 1
Totale 8.569
Salva come PNG Salva come JPEG
Nome #
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems 156
Model-Based Software Performance Analysis 145
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 141
Software Engineering for Self-Adaptive Systems 138
Software engineering for self-adaptive systems: A second research roadmap 120
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 115
User-centric Android Flexible Permissions 108
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 100
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 92
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 91
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 89
Synthesis and Verification of Self-aware Computing Systems 86
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 84
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 83
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 80
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 78
Automated Synthesis of Service Choreographies 78
Software architecture-based analysis and testing: a look into achievements and future challenges 76
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 76
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy 76
Achieving functional and non functional interoperability through synthesized connectors 76
ModelLAND: Where do models come from? 76
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 75
A hybrid approach for resource-based comparison of adaptable Java applications 73
Failure-free Connector Synthesis for Correct Components Assembly 73
Towards Self-evolving Context-aware Services 72
CHARMY: A Framework for Designing and Verifying Architectural Specifications 72
Automatic failures-free connector synthesis: An example 72
A programming model for adaptable Java applications 72
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model 71
The Teleservices and Remote Medical Care System (TRMCS) 71
Automated Check of Architectural Models Consistency using Spin 71
A model-based synthesis process for choreography realizability enforcement 70
Automated integration of service-oriented software systems 70
Towards a Connector Algebra 70
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 69
An Experience in Architectural Extensions: Active Objects in J2EE 69
Self-aware Computing Systems: Related Concepts and Research Areas 69
Software Architectures and Coordination models 69
Integrating performance and reliability analysis in a Non-Functional MDA framework 69
Graphics by a Logic Database Management System 68
On the adaptation of context-aware services 68
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 68
Combining Interaction and Automation in Process Algebra Verification 68
Charmy: A Framework for Designing and Validating Architectural Specifications 67
A Framework for Analyzing and Testing the Performance of Software Services 67
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 67
Automated Performance Validation of Software Design: An Industrial Experience 67
A Development Process for Self-adapting Service Oriented Applications 67
Compositional Generation of Software Architecture Performance QN Models 67
Automatic synthesis of coordinators of COTS group-ware applications: an example 66
Deadlock-free software architectures for COM/DCOM Applications 65
An `Executable' Impredicative Semantics for the Ada Configuration. 65
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 65
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 65
An empirical approach for determining context of mobile systems 65
Introducing Trust in Service-oriented Distributed Systems through Blockchain 65
The Future of Software: Adaptation and Dependability 65
A framework for integration of functional and non-functional analysis of software architectures 64
Living with Uncertainty in the Age of Runtime Models 64
Mediating Connector Patterns for Components Interoperability 64
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 64
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 64
Software Engineering Education in the Modern Age 63
A Conceptual Model for Adaptable Context-aware Services 63
A Rewriting Strategy to Verify Observational Congruence 63
Infinite Normal Forms for Non-linear Term Rewriting Systems 62
A Coordination Process Based on UML and a Software Architectural Description 62
Infinite Normal Forms for Non-linear Term Rewriting Systems 62
An Approach to Integration Testing Based on Architectural Descriptions 62
Towards a Stem Architecture Description Language for Self-Adaptive Systems 62
CHOREOS: Large scale choreographies for the future internet 62
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm 62
Automatic synthesis of behavior protocols for composable web-services 61
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 61
A Strategy to Deal with Divergent Rewrite Systems 61
Using Logic Databases in Software Development Environments 61
Application-Layer Connector Synthesis 61
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 61
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 61
Model-Based System Reconfiguration for Dynamic Performance Management 60
Infinite Normal Forms for Non-Linear Term Rewritting Systems 60
Software Engineering for Self-Adaptive Systems: A Research Roadmap 60
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 60
CHARMY: An Extensible Tool for Architectural Analysis 60
A Semantic Driven Method to Check the Finiteness of CCS Processes 60
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 60
Formal Methods in Testing Software Architectures 60
Formal Analysis of Architectural Patterns 60
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 60
Software performance model-driven architecture 59
Transformations of software models into performance models 59
Run-time Performance Management of the Siena Publish/Subscribe Middleware 59
A publication culture in software engineering (panel) 59
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 59
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency 59
Proving Finiteness of CCS Processes by Non-Standard Semantics 58
Experimenting with Dynamic Linking with Ada 58
A Review on Using Queueing Network Models with finite capacity queues for Software Architectures Performance Prediction 58
Context-Aware Adaptive Services: The PLASTIC Approach 58
Totale 7.192
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.234
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 40.234
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019671 0 0 0 0 0 0 0 0 0 0 88 583
2019/20201.716 323 54 225 15 8 220 300 44 252 39 20 216
2020/20211.675 80 208 7 218 213 33 220 5 215 47 394 35
2021/20221.127 38 124 131 91 68 20 17 71 83 44 88 352
2022/20233.736 273 156 38 376 409 386 2 234 1.700 20 85 57
2023/2024928 321 59 25 147 68 181 13 86 0 27 1 0
Totale 12.586