CNR Institutional Research Information System

BASILE, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.394
NA - Nord America 2.386
EU - Europa 916
SA - Sud America 403
Continente sconosciuto - Info sul continente non disponibili 74
AF - Africa 49
OC - Oceania 4
Totale 6.226
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.262
SG - Singapore 1.048
CN - Cina 562
IT - Italia 321
BR - Brasile 315
VN - Vietnam 258
HK - Hong Kong 197
RU - Federazione Russa 166
FR - Francia 124
JP - Giappone 105
DE - Germania 102
CA - Canada 59
KR - Corea 59
FI - Finlandia 43
GB - Regno Unito 38
AT - Austria 35
AR - Argentina 33
IN - India 29
EC - Ecuador 23
BD - Bangladesh 21
MX - Messico 18
NL - Olanda 18
ID - Indonesia 14
IL - Israele 14
CR - Costa Rica 12
ZA - Sudafrica 12
JM - Giamaica 10
PK - Pakistan 10
SE - Svezia 10
CO - Colombia 9
SA - Arabia Saudita 9
TR - Turchia 9
VE - Venezuela 9
ES - Italia 8
IQ - Iraq 8
SC - Seychelles 8
MY - Malesia 6
UA - Ucraina 6
EG - Egitto 5
GR - Grecia 5
PE - Perù 5
PH - Filippine 5
PY - Paraguay 5
TH - Thailandia 5
UZ - Uzbekistan 5
AL - Albania 4
CI - Costa d'Avorio 4
CY - Cipro 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
KE - Kenya 4
LV - Lettonia 4
MA - Marocco 4
PL - Polonia 4
AO - Angola 3
AZ - Azerbaigian 3
CH - Svizzera 3
GT - Guatemala 3
HN - Honduras 3
IE - Irlanda 3
JO - Giordania 3
LC - Santa Lucia 3
PT - Portogallo 3
RS - Serbia 3
SV - El Salvador 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BE - Belgio 2
BG - Bulgaria 2
CL - Cile 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
IS - Islanda 2
KZ - Kazakistan 2
MN - Mongolia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PR - Porto Rico 2
QA - Qatar 2
SK - Slovacchia (Repubblica Slovacca) 2
UY - Uruguay 2
AM - Armenia 1
AU - Australia 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
GE - Georgia 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LK - Sri Lanka 1
MM - Myanmar 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 1
Totale 6.149
Salva come PNG Salva come JPEG
Città #
Singapore 712
Santa Clara 485
San Jose 330
Hong Kong 192
Ashburn 167
Hefei 167
Dallas 127
Beijing 119
Lauterbourg 105
Tokyo 93
Ho Chi Minh City 86
Council Bluffs 62
Hanoi 62
Seoul 59
Moscow 58
Pisa 50
Los Angeles 49
New York 37
Frankfurt am Main 34
Phoenix 33
Nuremberg 28
Lappeenranta 27
Milan 25
Princeton 25
Rome 24
Guangzhou 21
Chicago 20
Abbeville 19
Cascina 19
Naples 18
Brooklyn 16
Helsinki 16
Rio de Janeiro 16
São Paulo 16
Toronto 16
Vienna 15
Haiphong 14
Montreal 13
Da Nang 12
Atlanta 11
Houston 11
Belo Horizonte 10
Florence 10
Orem 10
Queens 10
San Francisco 10
Las Vegas 9
Memphis 9
Minamishinagawa 9
Bengaluru 8
Buffalo 8
Denver 8
Miami 8
Philadelphia 8
Stockholm 8
Turin 8
Chennai 7
Falkenstein 7
Guayaquil 7
Jacksonville 7
London 7
Quito 7
Quận Bình Thạnh 7
San José 7
Detroit 6
Johannesburg 6
Juiz de Fora 6
Kingston 6
Livorno 6
Manchester 6
Newark 6
Seattle 6
Baghdad 5
Brasília 5
Curitiba 5
Mexico City 5
Porto Alegre 5
San Diego 5
St Louis 5
Tashkent 5
The Bronx 5
Washington 5
Amsterdam 4
Aracaju 4
Bologna 4
Düsseldorf 4
Fortaleza 4
Ha Long 4
Istanbul 4
Joinville 4
Madrid 4
Manassas 4
Mumbai 4
Nairobi 4
Oroklini 4
Perugia 4
Pittsburgh 4
Poplar 4
Richmond 4
Riyadh 4
Totale 3.768
Salva come PNG Salva come JPEG
Nome #
Coherent modal transition systems refinement 109
A toolchain for strategy synthesis with spatial properties - Complementary material 107
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 103
Mutant equivalence as monotonicity in parametric timed games 95
An integrated perspective on the evaluation of complex railway systems 95
A toolchain for strategy synthesis with spatial properties 94
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL 93
Secure multi-party computation with service contract automata 92
Stratego formal models and experiments for the paper published at FORTE2020 89
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 85
Dependable dynamic routing for urban transport systems through integer linear programming 82
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data 82
Advancing orchestration synthesis for contract automata 81
Advanced integrated evaluation of railway systems 80
A runtime environment for contract automata 78
4SECURail D 2.2: Sparx EA artifacts and technical documentation 77
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 74
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 74
Supervisory synthesis of configurable behavioural contracts with modalities 73
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 72
Systematic evaluation and usability analysis of formal tools for railway system design 71
4SECURail - D.2.1: Specification of formal development demonstrator 71
Comparing formal tools for system design: a judgment study 70
A runtime environment for contract automata 69
Formal methods for railway systems: a survey of research and technology transfer projects 69
Modelling, verifying and testing the contract automata runtime environment with UPPAAL 69
ASTrail - Deliverable D4.3 - Validation Report 67
Designing a demonstrator of formal methods for railways infrastructure managers 67
Sustainable mobility: increase of capacity and digitisation of railway transport 66
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 66
Orchestration synthesis for real-time service contracts 64
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces 64
A sound and complete refinement relation for non-reducible modal transition systems 64
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 64
A runtime environment for contract automata 62
Empirical software engineering and formal methods for IoT systems 62
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 62
An experimental toolchain for strategy synthesis with spatial properties 61
Modelling, verifying and testing the contract automata runtime environment with Uppaal 60
Contract automata library 59
Controller synthesis of service contracts with variability 59
Time for networks: mutation testing for timed automata networks 59
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems 58
Comparing model checking and model-based simulation 58
Contract automata library 57
Research challenges in orchestration synthesis 56
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data 56
ASTRail D4.2 - Preliminary Trial Report 54
The Stochastic Activity Network models of the rail road switch heating system for Moebius tool 54
Experiments reproducibility package for the paper static detection of equivalent mutants in real-time model-based mutation testing: an empirical evaluation 54
Model-based evaluation of energy saving systems 53
ISTI Young Research Award 2017 53
From orchestration to choreography through contract automata 52
Publicity chair tools 52
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA 52
Supporting the design of intelligent railway stations 51
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker 51
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016 50
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services 50
Automata for specifying and orchestrating service contracts 50
CN MOST SP4 D1.3.1: Report on formal models 49
4SECURail video presentation of Sparx EA and demonstrator of formal methods 48
Comparing model checking and model-based simulation: presentation 48
Relating two automata-based models of orchestration and choreography 48
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 48
A Formal Methods Demonstrator for Railways 48
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 47
FMCAT: Supporting dynamic service-based product lines 46
Research challenges in orchestration synthesis 46
Safe adaptation through implicit effect coercion 46
Controller synthesis of contract-based service product lines: extended version 46
Tuning energy consumption strategies in the railway domain: A model-based approach 46
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 45
Enhancing models correctness through formal verification: a case study from the railway domain 45
Orchestration of dynamic service product lines with featured modal contract automata 45
Static detection of equivalent mutants in real-time model-based mutation testing 44
Specifying variability in service contracts 44
Stochastic model-based evaluation of reliable energy-saving rail road switch heating systems 44
Contract automata runtime environment (v.1.0.0 - February 2022) 43
Stochastic model-based analysis of energy consumption in a rail road switch heating system 43
Playing with our CAT and communication-centric applications 43
AMPL model for the dependable dynamic vehicle routing problem 43
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 42
A refinement approach to analyse critical cyber-physical systems 41
Applying supervisory control synthesis to priced featured automata and energy problems 41
On quantitative assessment of reliability and energy consumption indicators in railway systems 41
Tackling the Equivalent Mutant Problem in Real-Time Systems: The 12 Commandments of Model-Based Mutation Testing 40
The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019 40
Contract automata application 39
Statistical model checking of an energy-saving cyber-physical system in the railway domain 39
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego 39
Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook 39
A refinement approach to analyse critical cyber-physical systems. Extended Version 39
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 39
Timed service contract automata 38
Modelling and analysis with featured modal contract automata 36
The Uppaal SMC model and experiments published at RSSRail 2019 36
Survey on formal methods and tools in railways: the ASTRail approach 36
Automata for analysing service contracts 35
Reproduction package: a runtime environment for contract automata 35
Totale 5.821
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.464
article - articoli 4.685
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.417
Totale 27.566
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202448 0 0 0 0 0 0 0 0 10 2 21 15
2024/20251.754 40 7 115 76 390 123 17 83 56 83 410 354
2025/20263.232 138 226 276 353 470 143 500 219 296 393 114 104
2026/20271.192 256 133 521 282 0 0 0 0 0 0 0 0
Totale 6.226