TIVOLI, MASSIMO
 Distribuzione geografica
Continente #
NA - Nord America 3.184
EU - Europa 1.967
AS - Asia 1.195
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 8
SA - Sud America 8
AF - Africa 4
Totale 6.378
Nazione #
US - Stati Uniti d'America 3.172
IE - Irlanda 686
CN - Cina 658
TR - Turchia 406
DE - Germania 289
IT - Italia 237
SE - Svezia 212
UA - Ucraina 190
GB - Regno Unito 155
FI - Finlandia 96
FR - Francia 64
SG - Singapore 63
IN - India 22
KR - Corea 18
BE - Belgio 13
CA - Canada 9
AU - Australia 8
BR - Brasile 6
EU - Europa 6
PK - Pakistan 6
RU - Federazione Russa 6
IL - Israele 5
JP - Giappone 5
RO - Romania 5
IR - Iran 4
NL - Olanda 4
NZ - Nuova Zelanda 4
AT - Austria 3
MY - Malesia 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
DK - Danimarca 2
HK - Hong Kong 2
MX - Messico 2
VN - Vietnam 2
AR - Argentina 1
CL - Cile 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
GR - Grecia 1
IQ - Iraq 1
MD - Moldavia 1
PT - Portogallo 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 6.378
Città #
Jacksonville 777
Chandler 714
Dublin 686
Izmir 224
Nanjing 167
Boardman 132
San Mateo 131
Lawrence 103
Princeton 103
Wilmington 95
New York 89
Nanchang 81
Ann Arbor 69
Ashburn 60
Beijing 57
Bremen 52
Seattle 52
Milan 49
Dearborn 47
L'aquila 47
Singapore 47
Hangzhou 46
Kunming 37
Tianjin 36
Verona 36
Shenyang 35
Mountain View 32
Woodbridge 32
Hebei 30
Berlin 25
Jinan 23
Changsha 22
Houston 20
Norwalk 20
Rome 16
Des Moines 14
Ningbo 14
Brussels 13
Helsinki 13
Changchun 12
Jiaxing 12
Los Angeles 12
L’Aquila 12
Shanghai 11
Zhengzhou 11
Aquila 9
Falls Church 9
Dallas 6
Lappeenranta 6
Paris 6
Taizhou 6
Tappahannock 6
Haikou 5
Lanzhou 5
Le Chesnay 5
Pescara 5
Fremont 4
Fuzhou 4
Pune 4
Termoli 4
Venezia 4
Auburn Hills 3
Chennai 3
Clifton 3
Dearborn Heights 3
Fairfield 3
Hefei 3
Redwood City 3
Santa Clara 3
Shah Alam 3
Washington 3
Amsterdam 2
Celano 2
Chieti 2
Christchurch 2
Dong Ket 2
Edinburgh 2
Ercolano 2
Grafing 2
Guangzhou 2
Islamabad 2
Lahore 2
Latina 2
Manaus 2
Mannheim 2
Milton Keynes 2
Montreal 2
Munich 2
Orange 2
Ottawa 2
Pau 2
San Francisco 2
Thiais 2
Torrevecchia Teatina 2
Vienna 2
West Jordan 2
Albenga 1
Atlanta 1
Auckland 1
Birmingham 1
Totale 4.488
Nome #
Editorial to theme issue on model-driven engineering of component-based software systems 126
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 119
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 100
Model-driven Adaptation of Service Choreographies 100
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 94
Synthesis and Verification of Self-aware Computing Systems 88
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 87
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 85
Thematic series on Verification and Composition for the Internet of Services and Things 84
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 84
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 80
Biological immunity and software resilience: two faces of the same coin? 79
ModelLAND: Where do models come from? 79
Automated Synthesis of Service Choreographies 78
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 78
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 76
Towards a Connector Algebra 74
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors 73
Failure-free Connector Synthesis for Correct Components Assembly 73
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering 73
Automatic failures-free connector synthesis: An example 72
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 72
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 72
Self-aware Computing Systems: Related Concepts and Research Areas 71
A model-based synthesis process for choreography realizability enforcement 70
Adaptor synthesis for real-time components 70
Automated integration of service-oriented software systems 70
INCIPICT - Innovating City Planning through Information ad Communication Technologies 70
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems 70
A Development Process for Self-adapting Service Oriented Applications 70
On the Model-driven Synthesis of Adaptable Choreographies 69
Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems 69
Coordination and Adaptation Techniques: Bridging the gap between design and implementation 68
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 68
Introducing Trust in Service-oriented Distributed Systems through Blockchain 68
A Framework for Analyzing and Testing the Performance of Software Services 67
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 67
Towards an architectural approach for the dynamic and automatic composition of software components 67
Automatic synthesis of coordinators of COTS group-ware applications: an example 66
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 66
The Future of Software: Adaptation and Dependability 66
Deadlock-free software architectures for COM/DCOM Applications 65
A component-based development framework for supporting functional and non-functional analysis in control system design 65
Towards an Engineering Approach to Component Adaptation 64
Preface 63
Software Engineering for Self-Adaptive Systems: A Research Roadmap 62
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 62
Application-Layer Connector Synthesis 62
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 62
CHOREOS: Large scale choreographies for the future internet 62
A component-based approach for supporting functional and non-functional analysis in control loop design 62
Automatic synthesis of behavior protocols for composable web-services 61
Automated Inference of Models for Black Box Systems based on Interface Descriptions 61
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 61
Synthesis of context-aware business-to-business processes for location-based services through choreographies 61
The SAVE approach to component-based development of vehicular systems 60
An Adaptation-based Approach to Incrementally Build Component Systems 60
Synthesis of concurrent and distributed adaptors for component-based systems 59
Third International Workshop for Coordination and Adaptation Techniques for Software Entities 59
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/ 59
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface 59
A Development Process for Context-Aware Adaptive Services 58
Automatic adaptor synthesis for protocol transformation 58
Aiding the Realization of Service-oriented Distributed Systems 58
Towards the synthesis of context-aware choreographies 58
Software Architecture for Correct Components Assembly 57
A Development Process for Requirements Based Service Choreography 57
Thematic Series on Service Composition for the Future Internet 57
Distributed Enforcement of Service Choreographies 56
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 56
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 56
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 56
Towards An Assume-Guarantee Theory for Adaptable Systems 56
Producing software by integration: challenges and research directions (keynote) 55
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 55
Architectural Style for the Development of Choreographies in the Future Internet 55
On the Model-driven Synthesis of Evolvable Service Choreographies 55
An architectural approach to the correct and automatic assembly of evolving component-based systems 54
Correct components assembly for a Product Data Management cooperative system 53
Adaptor synthesis for protocol-enhanced component based architectures 53
A compositional synthesis of failure-free connectors for correct components assembly 53
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 53
Synthesis of "correct" adaptors for protocol enhancement in component based systems 53
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems 53
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 52
Failure-free coordinators synthesis for component-based architectures 51
Synthesizing adapters for conversational web-services from their WSDL interface 51
Correct and automatic assembly of COTS components: an architectural approach 50
Developing highly complex distributed systems: a software engineering perspective 50
On dynamic reconfiguration of behavioral adaptations 50
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 50
Run time models in adaptive service infrastructure 49
Synthesis of resilient choreographies 49
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 49
A reuse-based approach to the correct and automatic composition of web-services 48
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 48
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems 47
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 45
Highly collaborative distributed systems: Synthesis and enactment at work 45
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 44
Totale 6.460
Categoria #
all - tutte 24.844
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 24.844


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020693 0 6 112 9 11 102 163 40 116 28 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/202592 61 31 0 0 0 0 0 0 0 0 0 0
Totale 6.668