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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022282 10 5 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/202743 43 0 0 0 0 0 0 0 0 0 0 0
Totale 6.945