CNR Institutional Research Information System

BASILE, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.328
NA - Nord America 1.370
EU - Europa 720
SA - Sud America 372
AF - Africa 41
OC - Oceania 4
Totale 4.835
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.318
SG - Singapore 1.027
CN - Cina 560
BR - Brasile 307
VN - Vietnam 254
HK - Hong Kong 187
RU - Federazione Russa 166
IT - Italia 147
FR - Francia 121
JP - Giappone 103
DE - Germania 100
KR - Corea 58
FI - Finlandia 43
AT - Austria 35
GB - Regno Unito 31
AR - Argentina 29
IN - India 29
CA - Canada 21
EC - Ecuador 16
NL - Olanda 16
MX - Messico 15
BD - Bangladesh 12
ID - Indonesia 12
IL - Israele 12
ZA - Sudafrica 12
SA - Arabia Saudita 9
SE - Svezia 9
TR - Turchia 9
PK - Pakistan 8
CO - Colombia 7
ES - Italia 7
IQ - Iraq 7
EG - Egitto 5
UA - Ucraina 5
UZ - Uzbekistan 5
AL - Albania 4
CI - Costa d'Avorio 4
CY - Cipro 4
DZ - Algeria 4
GR - Grecia 4
KE - Kenya 4
LV - Lettonia 4
MA - Marocco 4
PE - Perù 4
PY - Paraguay 4
TH - Thailandia 4
AO - Angola 3
AZ - Azerbaigian 3
CH - Svizzera 3
CZ - Repubblica Ceca 3
IE - Irlanda 3
JM - Giamaica 3
JO - Giordania 3
PH - Filippine 3
PL - Polonia 3
PT - Portogallo 3
RS - Serbia 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
CR - Costa Rica 2
DK - Danimarca 2
LC - Santa Lucia 2
MN - Mongolia 2
MY - Malesia 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
VE - Venezuela 2
AU - Australia 1
BN - Brunei Darussalam 1
CG - Congo 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GT - Guatemala 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 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
PA - Panama 1
PG - Papua Nuova Guinea 1
QA - Qatar 1
TJ - Tagikistan 1
TL - Timor Orientale 1
UY - Uruguay 1
Totale 4.835
Salva come PNG Salva come JPEG
Città #
Singapore 697
Santa Clara 473
San Jose 252
Hong Kong 183
Hefei 167
Beijing 119
Dallas 106
Lauterbourg 105
Ashburn 100
Tokyo 91
Ho Chi Minh City 84
Hanoi 61
Moscow 58
Seoul 58
Pisa 48
Los Angeles 36
Frankfurt am Main 34
New York 29
Nuremberg 28
Lappeenranta 27
Guangzhou 21
Cascina 19
Helsinki 16
São Paulo 16
Rio de Janeiro 15
Haiphong 14
Vienna 13
Da Nang 11
Belo Horizonte 10
Orem 10
Milan 9
Minamishinagawa 9
Bengaluru 8
Chicago 8
Rome 8
Stockholm 8
Chennai 7
Council Bluffs 7
Falkenstein 7
Florence 7
London 7
Montreal 7
Quận Bình Thạnh 7
Atlanta 6
Buffalo 6
Johannesburg 6
Juiz de Fora 6
Phoenix 6
Quito 6
Baghdad 5
Brasília 5
Brooklyn 5
Curitiba 5
Houston 5
Livorno 5
Manchester 5
Porto Alegre 5
Tashkent 5
Aracaju 4
Düsseldorf 4
Fortaleza 4
Guayaquil 4
Ha Long 4
Istanbul 4
Joinville 4
Manassas 4
Mexico City 4
Mumbai 4
Nairobi 4
Oroklini 4
Poplar 4
Riyadh 4
Santa Maria 4
Tirana 4
Toronto 4
Abidjan 3
Amman 3
Amsterdam 3
Ankara 3
Athens 3
Baku 3
Biên Hòa 3
Campinas 3
Canoas 3
Denver 3
Dhaka 3
Dublin 3
Karachi 3
Las Vegas 3
Madrid 3
Newark 3
Ninh Bình 3
Ourinhos 3
Philadelphia 3
Portsmouth 3
Recife 3
Shanghai 3
Sorocaba 3
São Gonçalo 3
São José dos Campos 3
Totale 3.224
Salva come PNG Salva come JPEG
Nome #
Coherent modal transition systems refinement 98
A toolchain for strategy synthesis with spatial properties - Complementary material 90
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 88
Secure multi-party computation with service contract automata 83
Mutant equivalence as monotonicity in parametric timed games 83
An integrated perspective on the evaluation of complex railway systems 79
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL 79
Stratego formal models and experiments for the paper published at FORTE2020 78
A toolchain for strategy synthesis with spatial properties 77
Advanced integrated evaluation of railway systems 72
Advancing orchestration synthesis for contract automata 71
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 70
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data 68
4SECURail D 2.2: Sparx EA artifacts and technical documentation 67
Dependable dynamic routing for urban transport systems through integer linear programming 67
A runtime environment for contract automata 62
Supervisory synthesis of configurable behavioural contracts with modalities 61
Systematic evaluation and usability analysis of formal tools for railway system design 60
Comparing formal tools for system design: a judgment study 60
4SECURail - D.2.1: Specification of formal development demonstrator 59
Sustainable mobility: increase of capacity and digitisation of railway transport 59
Orchestration synthesis for real-time service contracts 57
Modelling, verifying and testing the contract automata runtime environment with UPPAAL 57
ASTrail - Deliverable D4.3 - Validation Report 56
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 55
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 55
Modelling, verifying and testing the contract automata runtime environment with Uppaal 55
Designing a demonstrator of formal methods for railways infrastructure managers 55
A runtime environment for contract automata 54
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 54
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 54
A runtime environment for contract automata 51
Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces 51
A sound and complete refinement relation for non-reducible modal transition systems 51
Controller synthesis of service contracts with variability 50
ASTRail D4.2 - Preliminary Trial Report 49
Research challenges in orchestration synthesis 49
Time for networks: mutation testing for timed automata networks 48
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data 48
Formal methods for railway systems: a survey of research and technology transfer projects 47
Empirical software engineering and formal methods for IoT systems 46
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems 46
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 46
From orchestration to choreography through contract automata 45
The Stochastic Activity Network models of the rail road switch heating system for Moebius tool 45
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 45
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA 45
Publicity chair tools 44
An experimental toolchain for strategy synthesis with spatial properties 43
Comparing model checking and model-based simulation 43
Experiments reproducibility package for the paper static detection of equivalent mutants in real-time model-based mutation testing: an empirical evaluation 42
Contract automata library 40
Contract automata library 40
Supporting the design of intelligent railway stations 40
Model-based evaluation of energy saving systems 40
4SECURail video presentation of Sparx EA and demonstrator of formal methods 38
Comparing model checking and model-based simulation: presentation 38
A Formal Methods Demonstrator for Railways 37
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016 36
Automata for specifying and orchestrating service contracts 36
Research challenges in orchestration synthesis 36
Safe adaptation through implicit effect coercion 36
ISTI Young Research Award 2017 36
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services 35
Contract automata runtime environment (v.1.0.0 - February 2022) 35
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 35
Specifying variability in service contracts 35
A refinement approach to analyse critical cyber-physical systems 35
Relating two automata-based models of orchestration and choreography 34
FMCAT: Supporting dynamic service-based product lines 34
Static detection of equivalent mutants in real-time model-based mutation testing 34
Statistical model checking of an energy-saving cyber-physical system in the railway domain 34
Stochastic model-based evaluation of reliable energy-saving rail road switch heating systems 34
The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019 34
Enhancing models correctness through formal verification: a case study from the railway domain 33
Controller synthesis of contract-based service product lines: extended version 33
AMPL model for the dependable dynamic vehicle routing problem 33
Timed service contract automata 32
CN MOST SP4 D1.3.1: Report on formal models 32
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 32
A refinement approach to analyse critical cyber-physical systems. Extended Version 32
Orchestration of dynamic service product lines with featured modal contract automata 32
Contract automata application 31
Tackling the Equivalent Mutant Problem in Real-Time Systems: The 12 Commandments of Model-Based Mutation Testing 31
Applying supervisory control synthesis to priced featured automata and energy problems 31
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 30
On the industrial uptake of formal methods in the railway domain: a survey with stakeholders 30
Tuning energy consumption strategies in the railway domain: A model-based approach 30
A formal framework for secure and complying services 29
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego 29
On quantitative assessment of reliability and energy consumption indicators in railway systems 29
Stochastic model-based analysis of energy consumption in a rail road switch heating system 28
Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook 28
A clean and efficient implementation of choreography synthesis for behavioural contracts 28
Survey on formal methods and tools in railways: the ASTRail approach 28
Models and experiments logs for the article published at "Formal Aspects of Computing 2021" 27
Playing with our CAT and communication-centric applications 27
Automata for analysing service contracts 26
Modelling and analysis with featured modal contract automata 26
The Uppaal SMC model and experiments published at RSSRail 2019 26
Totale 4.622
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.662
article - articoli 3.639
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.074
Totale 21.375
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.104 138 226 276 353 470 143 500 219 296 393 90 0
Totale 4.906