TIVOLI, MASSIMO
 Distribuzione geografica
Continente #
NA - Nord America 5.556
AS - Asia 3.101
EU - Europa 2.930
SA - Sud America 340
Continente sconosciuto - Info sul continente non disponibili 302
AF - Africa 51
OC - Oceania 12
Totale 12.292
Nazione #
US - Stati Uniti d'America 5.471
SG - Singapore 1.158
CN - Cina 858
IE - Irlanda 692
RU - Federazione Russa 526
TR - Turchia 417
IT - Italia 373
DE - Germania 336
BR - Brasile 299
HK - Hong Kong 275
SE - Svezia 223
UA - Ucraina 201
GB - Regno Unito 196
VN - Vietnam 190
FR - Francia 149
FI - Finlandia 134
CA - Canada 49
IN - India 43
JP - Giappone 25
BD - Bangladesh 23
KR - Corea 23
MX - Messico 21
AR - Argentina 17
ES - Italia 17
PL - Polonia 16
BE - Belgio 15
IQ - Iraq 14
NL - Olanda 14
MA - Marocco 13
IL - Israele 11
PK - Pakistan 11
ZA - Sudafrica 10
TN - Tunisia 9
AU - Australia 8
KE - Kenya 7
LT - Lituania 7
EC - Ecuador 6
EU - Europa 6
IR - Iran 6
RO - Romania 6
UZ - Uzbekistan 6
VE - Venezuela 5
AT - Austria 4
CL - Cile 4
DK - Danimarca 4
ID - Indonesia 4
JM - Giamaica 4
MY - Malesia 4
NP - Nepal 4
NZ - Nuova Zelanda 4
AZ - Azerbaigian 3
CO - Colombia 3
DZ - Algeria 3
HN - Honduras 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
GA - Gabon 2
HR - Croazia 2
KG - Kirghizistan 2
KZ - Kazakistan 2
MD - Moldavia 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
RS - Serbia 2
SC - Seychelles 2
AG - Antigua e Barbuda 1
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
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 1
ME - Montenegro 1
MN - Mongolia 1
MT - Malta 1
MZ - Mozambico 1
NI - Nicaragua 1
NO - Norvegia 1
PH - Filippine 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SO - Somalia 1
Totale 11.996
Città #
Jacksonville 778
Chandler 714
Dublin 690
Singapore 618
San Jose 564
Dallas 388
Ashburn 300
Hong Kong 267
Santa Clara 248
Boardman 240
Izmir 224
Nanjing 168
The Dalles 157
New York 131
San Mateo 131
Council Bluffs 110
Beijing 103
Lawrence 103
Princeton 103
Wilmington 95
Moscow 92
Milan 81
Nanchang 81
Ho Chi Minh City 70
Ann Arbor 69
Los Angeles 65
Lauterbourg 62
Seattle 54
Bremen 52
Dearborn 47
Hangzhou 47
L'aquila 47
Rome 47
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
São Paulo 25
Changsha 23
Jinan 23
Montreal 20
Norwalk 20
Tokyo 19
Shanghai 18
Atlanta 16
Des Moines 15
Ningbo 15
Brussels 14
Denver 14
Hefei 14
Munich 14
Changchun 13
Poplar 13
Warsaw 13
Jiaxing 12
Orem 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
Toronto 6
Baghdad 5
Boston 5
Haikou 5
Kharkiv 5
Lahore 5
Lanzhou 5
Totale 7.967
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 199
Synthesis of context-aware business-to-business processes for location-based services through choreographies 176
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 171
Model-driven Adaptation of Service Choreographies 157
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 154
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems 149
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 147
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 147
Synthesis and Verification of Self-aware Computing Systems 145
Biological immunity and software resilience: two faces of the same coin? 144
Introducing Trust in Service-oriented Distributed Systems through Blockchain 142
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 140
Towards a Connector Algebra 139
Deadlock-free software architectures for COM/DCOM Applications 134
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 134
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 134
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 134
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 133
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems 131
ModelLAND: Where do models come from? 130
On the Model-driven Synthesis of Adaptable Choreographies 129
INCIPICT - Innovating City Planning through Information ad Communication Technologies 128
Thematic Series on Automated and Verifiable Internet Services and Applications Development 128
Automated integration of service-oriented software systems 126
A Development Process for Self-adapting Service Oriented Applications 126
Aiding the Realization of Service-oriented Distributed Systems 126
An architectural style for scalable choreography-based microservice-oriented distributed systems 125
Software Engineering for Self-Adaptive Systems: A Research Roadmap 124
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 124
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 124
Automated Synthesis of Service Choreographies 123
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 123
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 123
Towards the synthesis of context-aware choreographies 123
Failure-free Connector Synthesis for Correct Components Assembly 122
CHOReVOLUTION: Service choreography in practice 122
Highly collaborative distributed systems: Synthesis and enactment at work 121
A Framework for Analyzing and Testing the Performance of Software Services 119
Thematic series on Verification and Composition for the Internet of Services and Things 119
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors 118
Coordination and Adaptation Techniques: Bridging the gap between design and implementation 118
Automatic failures-free connector synthesis: An example 117
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 117
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 117
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization 116
Automatic synthesis of coordinators of COTS group-ware applications: an example 116
A model-based synthesis process for choreography realizability enforcement 115
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 115
Application-Layer Connector Synthesis 114
The SAVE approach to component-based development of vehicular systems 113
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 113
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 113
Migrating from monoliths to microservices: enforcing correct coordination 112
On the Model-driven Synthesis of Evolvable Service Choreographies 112
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 111
Automatic synthesis of behavior protocols for composable web-services 110
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering 109
Adaptor synthesis for real-time components 109
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 108
Self-aware Computing Systems: Related Concepts and Research Areas 108
An architectural approach to the correct and automatic assembly of evolving component-based systems 107
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 107
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 106
Synthesis of concurrent and distributed adaptors for component-based systems 105
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 105
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 104
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 103
Automated Inference of Models for Black Box Systems based on Interface Descriptions 103
A component-based development framework for supporting functional and non-functional analysis in control system design 102
Thematic Series on Service Composition for the Future Internet 102
CHOREOS: Large scale choreographies for the future internet 101
A Development Process for Context-Aware Adaptive Services 100
The Future of Software: Adaptation and Dependability 100
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 99
Developing highly complex distributed systems: a software engineering perspective 98
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 98
Towards an architectural approach for the dynamic and automatic composition of software components 98
Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems 98
Failure-free coordinators synthesis for component-based architectures 96
An Adaptation-based Approach to Incrementally Build Component Systems 96
Automatic adaptor synthesis for protocol transformation 96
Towards an Engineering Approach to Component Adaptation 96
Towards An Assume-Guarantee Theory for Adaptable Systems 96
Distributed Enforcement of Service Choreographies 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/ 95
Third International Workshop for Coordination and Adaptation Techniques for Software Entities 94
On dynamic reconfiguration of behavioral adaptations 94
Preface 94
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface 92
Run time models in adaptive service infrastructure 91
Synthesis of "correct" adaptors for protocol enhancement in component based systems 91
Architectural Style for the Development of Choreographies in the Future Internet 91
A component-based approach for supporting functional and non-functional analysis in control loop design 91
A Development Process for Requirements Based Service Choreography 90
Software Architecture for Correct Components Assembly 89
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 88
Producing software by integration: challenges and research directions (keynote) 87
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems 87
A compositional synthesis of failure-free connectors for correct components assembly 86
Totale 11.662
Categoria #
all - tutte 50.454
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 50.454


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022606 0 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.526 164 348 277 426 353 328 552 152 301 385 197 43
2026/2027160 58 102 0 0 0 0 0 0 0 0 0 0
Totale 12.292