BASILE, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.418
EU - Europa 1.365
AS - Asia 806
SA - Sud America 263
AF - Africa 35
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.906
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.404
RU - Federazione Russa 686
SG - Singapore 231
IT - Italia 228
BR - Brasile 212
CN - Cina 157
HK - Hong Kong 140
IE - Irlanda 134
VN - Vietnam 91
KR - Corea 86
GB - Regno Unito 85
SE - Svezia 77
PL - Polonia 75
JO - Giordania 28
IN - India 27
AR - Argentina 25
DE - Germania 24
CI - Costa d'Avorio 18
AU - Australia 17
ES - Italia 15
ID - Indonesia 12
NL - Olanda 11
EC - Ecuador 9
CA - Canada 7
UA - Ucraina 7
ZA - Sudafrica 7
PK - Pakistan 6
BD - Bangladesh 5
CO - Colombia 5
GR - Grecia 5
IQ - Iraq 5
FI - Finlandia 4
FR - Francia 4
JP - Giappone 4
MX - Messico 4
PY - Paraguay 4
TR - Turchia 4
CL - Cile 3
EG - Egitto 3
PE - Perù 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
EU - Europa 2
KZ - Kazakistan 2
TN - Tunisia 2
VE - Venezuela 2
AL - Albania 1
BG - Bulgaria 1
BJ - Benin 1
CH - Svizzera 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GA - Gabon 1
HU - Ungheria 1
KE - Kenya 1
KG - Kirghizistan 1
MA - Marocco 1
MU - Mauritius 1
NO - Norvegia 1
PH - Filippine 1
PR - Porto Rico 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
Totale 5.906
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.277
Fairfield 348
Ashburn 240
Woodbridge 183
Seattle 156
Singapore 147
Houston 142
Dublin 134
Cambridge 126
Hong Kong 107
Wilmington 107
Altamura 94
Seoul 86
Chandler 77
Warsaw 75
Lawrence 73
Beijing 70
Southend 67
Florence 42
Ann Arbor 41
Ho Chi Minh City 39
Princeton 39
Clifton 34
Boston 33
Los Angeles 33
Moscow 33
Mumbai 22
Abidjan 18
Buffalo 18
Melbourne 17
The Dalles 17
Medford 16
São Paulo 16
San Diego 15
Hanoi 14
New York 14
Shanghai 14
Hefei 13
Barcelona 12
Milan 11
Chicago 10
Dallas 10
Norwalk 10
Belo Horizonte 7
Curitiba 7
Falls Church 7
Munich 7
Redondo Beach 7
Jakarta 6
London 6
Pontedera 6
Rome 6
Groningen 5
Queenstown Estate 5
Quito 5
Redmond 5
Salvador 5
Tianjin 5
Andover 4
Arezzo 4
Boulder 4
Brooklyn 4
Cagliari 4
Chiusi 4
Dong Ket 4
Fortaleza 4
Haiphong 4
Helsinki 4
Kent 4
Montreal 4
Phoenix 4
Porto Alegre 4
Redwood City 4
Tokyo 4
Yubileyny 4
Asunción 3
Atlanta 3
Boardman 3
Brasília 3
Buenos Aires 3
Campinas 3
Conselheiro Lafaiete 3
Da Nang 3
Dearborn 3
Denver 3
Elk Grove Village 3
Guarulhos 3
Guayaquil 3
Hounslow 3
Hải Dương 3
Islamabad 3
Jacksonville 3
Lima 3
Paulo Afonso 3
Perugia 3
Rio de Janeiro 3
Saarbrücken 3
Shibîn el-Qanâṭir 3
Siena 3
Thái Bình 3
Totale 4.282
Salva come PNG Salva come JPEG
Nome #
Controller synthesis of service contracts with variability 206
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 203
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC 188
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems 185
Relating two automata-based models of orchestration and choreography 183
A refinement approach to analyse critical cyber-physical systems 168
Playing with our CAT and communication-centric applications 165
Applying supervisory control synthesis to priced featured automata and energy problems 163
Orchestration of dynamic service product lines with featured modal contract automata 160
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain 160
Automata-based Behavioural Contracts with Action Correlation 158
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 158
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC 158
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming 157
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 149
Specifying variability in service contracts 148
Automata for analysing service contracts 147
Timed service contract automata 147
Stochastic model-based analysis of energy consumption in a rail road switch heating system 147
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 147
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 145
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 142
Tuning energy consumption strategies in the railway domain: A model-based approach 141
From orchestration to choreography through contract automata 140
Secure and unfailing services 140
A formal framework for secure and complying services 139
Model-based evaluation of energy saving systems 139
On quantitative assessment of reliability and energy consumption indicators in railway systems 139
Automata for specifying and orchestrating service contracts 138
Orchestration Synthesis for Real-Time Service Contracts 137
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 137
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 137
Safe adaptation through implicit effect coercion 131
Statistical model checking of an energy-saving cyber-physical system in the railway domain 130
FMCAT: Supporting dynamic service-based product lines 128
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces 121
Specification and Verification of Contract-Based Applications 116
Comparing formal tools for system design: A judgment study 112
Modelling and analysis with featured modal contract automata 100
Coherent modal transition systems refinement 86
null 65
Totale 5.960
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.948
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 16.948
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021333 0 0 0 0 0 33 48 33 68 86 37 28
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/20261.092 138 252 151 285 235 31 0 0 0 0 0 0
Totale 5.960