BASILE, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.899
EU - Europa 1.692
AS - Asia 1.085
SA - Sud America 296
Continente sconosciuto - Info sul continente non disponibili 57
AF - Africa 51
OC - Oceania 17
Totale 7.097
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.861
RU - Federazione Russa 687
IT - Italia 486
SG - Singapore 311
BR - Brasile 233
CN - Cina 233
HK - Hong Kong 149
VN - Vietnam 145
IE - Irlanda 134
GB - Regno Unito 89
KR - Corea 86
SE - Svezia 83
PL - Polonia 77
IN - India 44
FR - Francia 43
DE - Germania 29
JO - Giordania 29
AR - Argentina 27
CA - Canada 23
CI - Costa d'Avorio 18
AU - Australia 17
ES - Italia 15
JP - Giappone 15
ID - Indonesia 14
BD - Bangladesh 13
NL - Olanda 13
EC - Ecuador 11
IQ - Iraq 9
ZA - Sudafrica 9
CO - Colombia 8
UA - Ucraina 8
GR - Grecia 6
MX - Messico 6
PK - Pakistan 6
TN - Tunisia 6
TR - Turchia 6
CL - Cile 5
NG - Nigeria 5
UZ - Uzbekistan 5
VE - Venezuela 5
EG - Egitto 4
FI - Finlandia 4
PY - Paraguay 4
BE - Belgio 3
JM - Giamaica 3
KZ - Kazakistan 3
MA - Marocco 3
PE - Perù 3
PH - Filippine 3
PT - Portogallo 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
AZ - Azerbaigian 2
EU - Europa 2
IL - Israele 2
NP - Nepal 2
RO - Romania 2
AL - Albania 1
BB - Barbados 1
BG - Bulgaria 1
BJ - Benin 1
CG - Congo 1
CH - Svizzera 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GE - Georgia 1
HU - Ungheria 1
IR - Iran 1
IS - Islanda 1
KE - Kenya 1
KG - Kirghizistan 1
MU - Mauritius 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PR - Porto Rico 1
QA - Qatar 1
SA - Arabia Saudita 1
SC - Seychelles 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.043
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.283
Ashburn 401
Fairfield 348
Singapore 221
Woodbridge 183
Seattle 156
Houston 145
Dublin 134
Cambridge 126
Hong Kong 115
Wilmington 107
San Jose 104
Altamura 94
Milan 89
Seoul 86
Chandler 77
Warsaw 75
Beijing 74
Lawrence 73
Southend 67
Ho Chi Minh City 51
Florence 47
Ann Arbor 41
Los Angeles 39
Princeton 39
Rome 37
Lauterbourg 35
Clifton 34
The Dalles 34
Boston 33
Moscow 33
Hanoi 29
Mumbai 25
Abidjan 18
Buffalo 18
Council Bluffs 18
New York 18
Melbourne 17
Shanghai 17
Medford 16
São Paulo 16
San Diego 15
Tokyo 14
Dallas 13
Hefei 13
Barcelona 12
Chicago 10
Naples 10
Norwalk 10
Palermo 9
Tianjin 8
Belo Horizonte 7
Brooklyn 7
Curitiba 7
Falls Church 7
Guangzhou 7
Miano 7
Munich 7
Phoenix 7
Redondo Beach 7
Bari 6
Figino 6
Frankfurt am Main 6
Jakarta 6
London 6
Orem 6
Pontedera 6
Quito 6
Salvador 6
Abuja 5
Baghdad 5
Bologna 5
Brescia 5
Chennai 5
Detroit 5
Groningen 5
Modena 5
Montreal 5
Queenstown Estate 5
Redmond 5
Andover 4
Arezzo 4
Boardman 4
Boulder 4
Brasília 4
Cagliari 4
Chiusi 4
Da Nang 4
Dong Ket 4
Fortaleza 4
Guayaquil 4
Haiphong 4
Helsinki 4
Jacksonville 4
Kent 4
Monroe 4
Perugia 4
Porto Alegre 4
Redwood City 4
Rio de Janeiro 4
Totale 4.939
Salva come PNG Salva come JPEG
Nome #
Controller synthesis of service contracts with variability 237
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 231
Relating two automata-based models of orchestration and choreography 226
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems 217
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC 215
Playing with our CAT and communication-centric applications 201
Automata-based Behavioural Contracts with Action Correlation 197
Applying supervisory control synthesis to priced featured automata and energy problems 197
A refinement approach to analyse critical cyber-physical systems 197
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC 194
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 191
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain 190
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming 184
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 183
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 182
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 177
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 177
Orchestration of dynamic service product lines with featured modal contract automata 175
Automata for specifying and orchestrating service contracts 175
Automata for analysing service contracts 174
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 171
Timed service contract automata 171
FMCAT: Supporting dynamic service-based product lines 170
A formal framework for secure and complying services 167
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 167
Model-based evaluation of energy saving systems 164
Specifying variability in service contracts 164
From orchestration to choreography through contract automata 162
Secure and unfailing services 161
Tuning energy consumption strategies in the railway domain: A model-based approach 159
Stochastic model-based analysis of energy consumption in a rail road switch heating system 159
On quantitative assessment of reliability and energy consumption indicators in railway systems 158
Comparing formal tools for system design: A judgment study 156
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces 155
Orchestration Synthesis for Real-Time Service Contracts 154
Safe adaptation through implicit effect coercion 152
Statistical model checking of an energy-saving cyber-physical system in the railway domain 147
Specification and Verification of Contract-Based Applications 140
Coherent modal transition systems refinement 121
Modelling and analysis with featured modal contract automata 114
null 65
Totale 7.097
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.347
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 20.347
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022267 0 0 41 9 9 15 8 29 19 12 33 92
2022/2023595 61 204 39 30 7 83 75 11 54 2 24 5
2023/2024196 11 24 35 12 12 11 18 42 7 13 6 5
2024/20252.322 83 199 138 233 852 530 33 42 90 31 54 37
2025/20262.034 138 252 151 285 235 75 219 111 125 112 44 287
2026/2027195 83 37 75 0 0 0 0 0 0 0 0 0
Totale 7.097