IRIS
TIVOLI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.440
AS - Asia 3.081
EU - Europa 2.908
SA - Sud America 327
AF - Africa 50
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 8
Totale 11.826
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.364
SG - Singapore 1.149
CN - Cina 851
IE - Irlanda 692
RU - Federazione Russa 526
TR - Turchia 417
IT - Italia 363
DE - Germania 336
BR - Brasile 290
HK - Hong Kong 273
SE - Svezia 223
UA - Ucraina 201
GB - Regno Unito 195
VN - Vietnam 190
FR - Francia 148
FI - Finlandia 134
CA - Canada 45
IN - India 43
JP - Giappone 25
KR - Corea 23
BD - Bangladesh 21
MX - Messico 20
AR - Argentina 17
PL - Polonia 16
BE - Belgio 15
IQ - Iraq 14
MA - Marocco 13
ES - Italia 12
NL - Olanda 12
IL - Israele 11
PK - Pakistan 11
ZA - Sudafrica 10
TN - Tunisia 9
AU - Australia 8
KE - Kenya 7
LT - Lituania 7
EU - Europa 6
IR - Iran 6
RO - Romania 6
UZ - Uzbekistan 6
EC - Ecuador 5
AT - Austria 4
DK - Danimarca 4
ID - Indonesia 4
MY - Malesia 4
NP - Nepal 4
NZ - Nuova Zelanda 4
VE - Venezuela 4
AZ - Azerbaigian 3
CL - Cile 3
DZ - Algeria 3
JM - Giamaica 3
JO - Giordania 3
SA - Arabia Saudita 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
CO - Colombia 2
GA - Gabon 2
HR - Croazia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
RS - Serbia 2
AM - Armenia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 1
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 1
MD - Moldavia 1
ME - Montenegro 1
MN - Mongolia 1
MT - Malta 1
MZ - Mozambico 1
NI - Nicaragua 1
PH - Filippine 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SO - Somalia 1
TT - Trinidad e Tobago 1
YE - Yemen 1
Totale 11.826
Salva come PNG Salva come JPEG
Città #
Jacksonville 778
Chandler 714
Dublin 690
Singapore 616
San Jose 560
Dallas 388
Ashburn 279
Hong Kong 266
Boardman 240
Santa Clara 240
Izmir 224
Nanjing 168
The Dalles 157
San Mateo 131
New York 125
Council Bluffs 109
Lawrence 103
Princeton 103
Beijing 102
Wilmington 95
Moscow 92
Nanchang 81
Milan 79
Ho Chi Minh City 70
Ann Arbor 69
Lauterbourg 62
Seattle 54
Bremen 52
Los Angeles 52
Dearborn 47
Hangzhou 47
L'aquila 47
Rome 46
Hanoi 43
Kunming 39
Tianjin 37
Shenyang 36
Verona 36
Helsinki 35
Columbus 33
Mountain View 32
Woodbridge 32
Hebei 30
Houston 28
Frankfurt am Main 27
L’Aquila 27
Berlin 25
Changsha 23
Jinan 23
São Paulo 21
Norwalk 20
Montreal 19
Tokyo 19
Shanghai 18
Atlanta 15
Des Moines 15
Ningbo 15
Brussels 14
Denver 14
Hefei 14
Munich 14
Poplar 13
Changchun 12
Jiaxing 12
Orem 12
Warsaw 12
Zhengzhou 12
Stockholm 11
Haiphong 10
San Francisco 10
Aquila 9
Chennai 9
Falls Church 9
Phoenix 9
Rio de Janeiro 9
Amsterdam 8
Chicago 8
Dhaka 8
Espoo 8
Belo Horizonte 7
Brooklyn 7
Casablanca 7
Lappeenranta 7
London 7
Manchester 7
Paris 7
Turku 7
Buenos Aires 6
Contagem 6
Falkenstein 6
New Delhi 6
Taizhou 6
Tappahannock 6
Baghdad 5
Boston 5
Haikou 5
Kharkiv 5
Lahore 5
Lanzhou 5
Le Chesnay 5
Totale 7.898
Salva come PNG Salva come JPEG
Nome #
Editorial to theme issue on model-driven engineering of component-based software systems 215
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 198
Synthesis of context-aware business-to-business processes for location-based services through choreographies 174
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 169
Model-driven Adaptation of Service Choreographies 156
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 153
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 146
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 145
Synthesis and Verification of Self-aware Computing Systems 144
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems 143
Introducing Trust in Service-oriented Distributed Systems through Blockchain 141
Biological immunity and software resilience: two faces of the same coin? 141
Towards a Connector Algebra 139
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 134
Deadlock-free software architectures for COM/DCOM Applications 133
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 133
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 132
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 132
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 132
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems 129
On the Model-driven Synthesis of Adaptable Choreographies 128
Thematic Series on Automated and Verifiable Internet Services and Applications Development 128
ModelLAND: Where do models come from? 128
INCIPICT - Innovating City Planning through Information ad Communication Technologies 127
A Development Process for Self-adapting Service Oriented Applications 126
Aiding the Realization of Service-oriented Distributed Systems 125
Automated integration of service-oriented software systems 124
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 124
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 123
Towards the synthesis of context-aware choreographies 123
Software Engineering for Self-Adaptive Systems: A Research Roadmap 122
Failure-free Connector Synthesis for Correct Components Assembly 122
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 122
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 122
CHOReVOLUTION: Service choreography in practice 121
Highly collaborative distributed systems: Synthesis and enactment at work 121
Automated Synthesis of Service Choreographies 120
Thematic series on Verification and Composition for the Internet of Services and Things 119
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 117
Coordination and Adaptation Techniques: Bridging the gap between design and implementation 116
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors 114
Automatic synthesis of coordinators of COTS group-ware applications: an example 114
Application-Layer Connector Synthesis 114
A model-based synthesis process for choreography realizability enforcement 114
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 114
An architectural style for scalable choreography-based microservice-oriented distributed systems 114
Automatic failures-free connector synthesis: An example 113
A Framework for Analyzing and Testing the Performance of Software Services 113
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 113
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 113
The SAVE approach to component-based development of vehicular systems 112
On the Model-driven Synthesis of Evolvable Service Choreographies 112
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 112
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization 111
Migrating from monoliths to microservices: enforcing correct coordination 111
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 110
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering 108
Self-aware Computing Systems: Related Concepts and Research Areas 108
Automatic synthesis of behavior protocols for composable web-services 107
Adaptor synthesis for real-time components 107
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 106
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 106
An architectural approach to the correct and automatic assembly of evolving component-based systems 105
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 105
Synthesis of concurrent and distributed adaptors for component-based systems 103
A component-based development framework for supporting functional and non-functional analysis in control system design 102
Automated Inference of Models for Black Box Systems based on Interface Descriptions 102
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 102
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 101
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 100
The Future of Software: Adaptation and Dependability 100
CHOREOS: Large scale choreographies for the future internet 99
Thematic Series on Service Composition for the Future Internet 99
A Development Process for Context-Aware Adaptive Services 98
Developing highly complex distributed systems: a software engineering perspective 98
Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems 98
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 97
Towards an architectural approach for the dynamic and automatic composition of software components 97
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 96
Towards An Assume-Guarantee Theory for Adaptable Systems 96
Automatic adaptor synthesis for protocol transformation 95
Towards an Engineering Approach to Component Adaptation 95
ModComp’14, Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 29, 2014, Vol. 1281, urn:nbn:de:0074-1281-7, http://ceur-ws.org/Vol-1281/ 94
Failure-free coordinators synthesis for component-based architectures 93
Distributed Enforcement of Service Choreographies 93
Third International Workshop for Coordination and Adaptation Techniques for Software Entities 93
Preface 93
On dynamic reconfiguration of behavioral adaptations 92
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface 92
An Adaptation-based Approach to Incrementally Build Component Systems 91
Synthesis of "correct" adaptors for protocol enhancement in component based systems 90
Architectural Style for the Development of Choreographies in the Future Internet 90
A component-based approach for supporting functional and non-functional analysis in control loop design 90
Software Architecture for Correct Components Assembly 89
Run time models in adaptive service infrastructure 89
A Development Process for Requirements Based Service Choreography 89
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 87
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems 86
A compositional synthesis of failure-free connectors for correct components assembly 85
Producing software by integration: challenges and research directions (keynote) 84
Totale 11.501
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.840
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 48.840
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202120 0 0 0 0 0 0 0 0 0 0 0 20
2021/2022629 23 46 88 54 27 10 12 46 42 28 41 212
2022/20232.002 131 115 30 207 214 218 2 135 852 15 55 28
2023/2024488 69 23 25 63 39 121 11 30 0 19 30 58
2024/20252.030 61 51 184 105 219 157 272 275 382 86 150 88
2025/20263.513 164 348 277 426 353 328 552 152 301 385 197 30
Totale 12.119