BASILE, DAVIDE
 Distribuzione geografica
Continente #
NA - Nord America 3.131
EU - Europa 1.121
AS - Asia 294
AF - Africa 21
OC - Oceania 17
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.589
Nazione #
US - Stati Uniti d'America 3.131
RU - Federazione Russa 505
IT - Italia 210
IE - Irlanda 132
HK - Hong Kong 91
GB - Regno Unito 80
SG - Singapore 77
SE - Svezia 75
PL - Polonia 70
CN - Cina 61
JO - Giordania 27
IN - India 22
CI - Costa d'Avorio 18
AU - Australia 17
ES - Italia 13
DE - Germania 11
NL - Olanda 7
GR - Grecia 5
FI - Finlandia 4
ID - Indonesia 4
UA - Ucraina 4
VN - Vietnam 4
EG - Egitto 3
PK - Pakistan 3
BR - Brasile 2
EU - Europa 2
FR - Francia 2
IQ - Iraq 2
AR - Argentina 1
AT - Austria 1
DK - Danimarca 1
KG - Kirghizistan 1
KZ - Kazakistan 1
NO - Norvegia 1
TR - Turchia 1
Totale 4.589
Città #
Santa Clara 1.273
Fairfield 348
Woodbridge 183
Ashburn 179
Seattle 156
Houston 141
Dublin 132
Cambridge 126
Wilmington 107
Altamura 94
Chandler 77
Lawrence 72
Warsaw 70
Southend 67
Singapore 61
Hong Kong 58
Ann Arbor 41
Princeton 39
Florence 36
Beijing 33
Boston 32
Moscow 25
Mumbai 22
Abidjan 18
Melbourne 17
Medford 16
San Diego 15
Shanghai 14
Barcelona 12
New York 10
Norwalk 10
Falls Church 7
Milan 6
Pontedera 6
Rome 6
Los Angeles 5
Redmond 5
Andover 4
Arezzo 4
Boulder 4
Cagliari 4
Chiusi 4
Dong Ket 4
Helsinki 4
Jakarta 4
London 4
Redwood City 4
Yubileyny 4
Boardman 3
Dearborn 3
Hounslow 3
Islamabad 3
Kent 3
Perugia 3
Shibîn el-Qanâṭir 3
Siena 3
Atlanta 2
Central District 2
Copertino 2
Fremont 2
Goran 2
Groningen 2
Hillsboro 2
Jacksonville 2
Monza 2
Ningbo 2
Prescot 2
Quarto 2
Scuola 2
Almaty 1
Athens 1
Bagnolet 1
Bishkek 1
Brasília 1
Buffalo 1
Cedar Knolls 1
Coppell 1
Council Bluffs 1
Dallas 1
Genova 1
Guangzhou 1
Islington 1
Jiujiang 1
Kilburn 1
Leawood 1
Maarssen 1
Nagold 1
Nanjing 1
Phoenix 1
Pisa 1
Pontevedra 1
Quercegrossa 1
Rotterdam 1
Rui'an 1
San Jose 1
Sobral 1
Southwark 1
Torre Del Lago 1
Veldhoven 1
Xuzhou 1
Totale 3.644
Nome #
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 174
Controller synthesis of service contracts with variability 171
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems 159
Relating two automata-based models of orchestration and choreography 149
A refinement approach to analyse critical cyber-physical systems 139
Applying supervisory control synthesis to priced featured automata and energy problems 135
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC 135
Automata-based Behavioural Contracts with Action Correlation 134
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC 134
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming 124
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain 124
Automata for analysing service contracts 122
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 122
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 121
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 119
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 118
Orchestration Synthesis for Real-Time Service Contracts 117
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 116
Specifying variability in service contracts 115
Playing with our CAT and communication-centric applications 114
Model-based evaluation of energy saving systems 114
From orchestration to choreography through contract automata 113
Orchestration of dynamic service product lines with featured modal contract automata 113
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 113
A formal framework for secure and complying services 112
Stochastic model-based analysis of energy consumption in a rail road switch heating system 112
Statistical model checking of an energy-saving cyber-physical system in the railway domain 107
Secure and unfailing services 106
On quantitative assessment of reliability and energy consumption indicators in railway systems 105
Timed service contract automata 103
Automata for specifying and orchestrating service contracts 102
Safe adaptation through implicit effect coercion 100
Tuning energy consumption strategies in the railway domain: A model-based approach 99
FMCAT: Supporting dynamic service-based product lines 94
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 94
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces 93
Comparing formal tools for system design: A judgment study 90
Specification and Verification of Contract-Based Applications 85
null 65
Modelling and analysis with featured modal contract automata 61
Coherent modal transition systems refinement 20
Totale 4.643
Categoria #
all - tutte 13.363
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 13.363


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020295 0 0 0 0 0 0 0 95 90 48 41 21
2020/2021465 27 36 13 39 17 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.097 83 199 138 233 852 530 33 29 0 0 0 0
Totale 4.643