IRIS
TIVOLI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.610
EU - Europa 2.368
AS - Asia 1.898
SA - Sud America 178
AF - Africa 19
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 8
Totale 8.093
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.589
CN - Cina 705
IE - Irlanda 687
SG - Singapore 457
TR - Turchia 410
IT - Italia 336
DE - Germania 304
RU - Federazione Russa 242
HK - Hong Kong 227
SE - Svezia 214
UA - Ucraina 193
BR - Brasile 164
GB - Regno Unito 157
FI - Finlandia 130
FR - Francia 64
IN - India 22
KR - Corea 18
BE - Belgio 14
CA - Canada 11
IL - Israele 9
AU - Australia 8
BD - Bangladesh 7
PK - Pakistan 7
AR - Argentina 6
EU - Europa 6
IQ - Iraq 6
TN - Tunisia 6
JP - Giappone 5
MA - Marocco 5
MX - Messico 5
NL - Olanda 5
RO - Romania 5
IR - Iran 4
LT - Lituania 4
NZ - Nuova Zelanda 4
VN - Vietnam 4
AT - Austria 3
DK - Danimarca 3
KE - Kenya 3
MY - Malesia 3
UZ - Uzbekistan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AZ - Azerbaigian 2
CO - Colombia 2
EC - Ecuador 2
JM - Giamaica 2
KG - Kirghizistan 2
KZ - Kazakistan 2
NP - Nepal 2
UY - Uruguay 2
ZA - Sudafrica 2
BH - Bahrain 1
CL - Cile 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GA - Gabon 1
GR - Grecia 1
JO - Giordania 1
MD - Moldavia 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
PL - Polonia 1
PT - Portogallo 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 8.093
Salva come PNG Salva come JPEG
Città #
Jacksonville 777
Chandler 714
Dublin 687
Boardman 240
Hong Kong 225
Izmir 224
Santa Clara 219
Singapore 218
Nanjing 167
San Mateo 131
Lawrence 103
Princeton 103
Wilmington 95
New York 89
Nanchang 81
Milan 79
Ann Arbor 69
Ashburn 60
Beijing 59
Moscow 53
Bremen 52
Seattle 52
Dearborn 47
L'aquila 47
Hangzhou 46
The Dalles 45
Rome 41
Kunming 39
Tianjin 37
Shenyang 36
Verona 36
Helsinki 35
Mountain View 32
Woodbridge 32
Hebei 30
Berlin 25
L’Aquila 25
Changsha 23
Jinan 23
Houston 20
Norwalk 20
Council Bluffs 19
Shanghai 16
Ningbo 15
Brussels 14
Des Moines 14
Los Angeles 13
Changchun 12
Jiaxing 12
Zhengzhou 12
Munich 10
Aquila 9
Falls Church 9
São Paulo 9
Espoo 8
Dallas 6
Falkenstein 6
Lappeenranta 6
Paris 6
Taizhou 6
Tappahannock 6
Baghdad 5
Haikou 5
Lanzhou 5
Le Chesnay 5
Pescara 5
Belo Horizonte 4
Contagem 4
Dhaka 4
Fremont 4
Fuzhou 4
Porto Alegre 4
Pune 4
Termoli 4
Turku 4
Venezia 4
Aparecida de Goiânia 3
Auburn Hills 3
Casablanca 3
Chennai 3
Clifton 3
Curitiba 3
Dearborn Heights 3
Fairfield 3
Guangzhou 3
Hefei 3
Lahore 3
Piracicaba 3
Redwood City 3
Rio de Janeiro 3
Shah Alam 3
Tashkent 3
Tel Aviv 3
Toronto 3
Washington 3
Amsterdam 2
Baku 2
Bologna 2
Buenos Aires 2
Campinas 2
Totale 5.476
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 168
Editorial to theme issue on model-driven engineering of component-based software systems 153
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 128
Synthesis and Verification of Self-aware Computing Systems 113
Model-driven Adaptation of Service Choreographies 113
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 107
Towards a Connector Algebra 107
Synthesis of context-aware business-to-business processes for location-based services through choreographies 105
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 104
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 104
ModelLAND: Where do models come from? 103
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 101
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 100
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 95
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems 94
Thematic series on Verification and Composition for the Internet of Services and Things 94
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 93
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 93
Biological immunity and software resilience: two faces of the same coin? 93
Automated Synthesis of Service Choreographies 91
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors 88
Automated integration of service-oriented software systems 88
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 88
INCIPICT - Innovating City Planning through Information ad Communication Technologies 86
Introducing Trust in Service-oriented Distributed Systems through Blockchain 86
Automatic failures-free connector synthesis: An example 85
Failure-free Connector Synthesis for Correct Components Assembly 85
On the Model-driven Synthesis of Adaptable Choreographies 85
Deadlock-free software architectures for COM/DCOM Applications 83
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering 83
Adaptor synthesis for real-time components 83
A Development Process for Self-adapting Service Oriented Applications 83
Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems 83
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 82
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 82
Coordination and Adaptation Techniques: Bridging the gap between design and implementation 82
Thematic Series on Automated and Verifiable Internet Services and Applications Development 82
A model-based synthesis process for choreography realizability enforcement 81
Self-aware Computing Systems: Related Concepts and Research Areas 80
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 80
A Framework for Analyzing and Testing the Performance of Software Services 79
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 79
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 79
Application-Layer Connector Synthesis 78
Towards an architectural approach for the dynamic and automatic composition of software components 78
Automatic synthesis of coordinators of COTS group-ware applications: an example 77
Automated Inference of Models for Black Box Systems based on Interface Descriptions 77
Preface 77
Aiding the Realization of Service-oriented Distributed Systems 76
A component-based development framework for supporting functional and non-functional analysis in control system design 75
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 75
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 75
Towards the synthesis of context-aware choreographies 75
The Future of Software: Adaptation and Dependability 75
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 75
The SAVE approach to component-based development of vehicular systems 74
CHOREOS: Large scale choreographies for the future internet 74
Software Engineering for Self-Adaptive Systems: A Research Roadmap 73
Towards an Engineering Approach to Component Adaptation 73
A Development Process for Context-Aware Adaptive Services 72
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 72
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface 72
An Adaptation-based Approach to Incrementally Build Component Systems 71
Automatic synthesis of behavior protocols for composable web-services 71
Third International Workshop for Coordination and Adaptation Techniques for Software Entities 71
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 71
A component-based approach for supporting functional and non-functional analysis in control loop design 71
Automatic adaptor synthesis for protocol transformation 70
On the Model-driven Synthesis of Evolvable Service Choreographies 70
An architectural approach to the correct and automatic assembly of evolving component-based systems 69
Software Architecture for Correct Components Assembly 69
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/ 69
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 69
Highly collaborative distributed systems: Synthesis and enactment at work 69
Towards An Assume-Guarantee Theory for Adaptable Systems 69
Synthesis of concurrent and distributed adaptors for component-based systems 68
Distributed Enforcement of Service Choreographies 68
Thematic Series on Service Composition for the Future Internet 68
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 68
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems 68
A Development Process for Requirements Based Service Choreography 67
Architectural Style for the Development of Choreographies in the Future Internet 67
Failure-free coordinators synthesis for component-based architectures 66
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 65
Synthesis of "correct" adaptors for protocol enhancement in component based systems 65
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems 65
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 65
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 65
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 64
Adaptor synthesis for protocol-enhanced component based architectures 63
Developing highly complex distributed systems: a software engineering perspective 63
Producing software by integration: challenges and research directions (keynote) 63
Correct components assembly for a Product Data Management cooperative system 62
A compositional synthesis of failure-free connectors for correct components assembly 62
CHOReVOLUTION: Service choreography in practice 62
Run time models in adaptive service infrastructure 61
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 61
On dynamic reconfiguration of behavioral adaptations 60
Correct and automatic assembly of COTS components: an architectural approach 59
A reuse-based approach to the correct and automatic composition of web-services 59
Totale 8.007
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.557
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 35.557
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020106 0 0 0 0 0 0 0 0 0 0 10 96
2020/2021836 24 99 5 110 108 26 110 5 109 30 190 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/20251.808 61 51 184 105 219 157 272 275 382 86 16 0
Totale 8.384