BASILE, DAVIDE
 Distribuzione geografica
Continente #
EU - Europa 31
AS - Asia 21
NA - Nord America 1
Totale 53
Nazione #
IT - Italia 31
CN - Cina 20
SG - Singapore 1
US - Stati Uniti d'America 1
Totale 53
Città #
Guangzhou 20
Pisa 20
Cascina 5
Rome 3
Capannori 1
Cesenatico 1
Council Bluffs 1
Livorno 1
Totale 52
Nome #
Coherent modal transition systems refinement 14
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL 10
Modelling, verifying and testing the contract automata runtime environment with UPPAAL 7
Sustainable mobility: increase of capacity and digitisation of railway transport 7
Advanced integrated evaluation of railway systems 7
Time for networks: mutation testing for timed automata networks 5
Modelling, verifying and testing the contract automata runtime environment with Uppaal 4
A toolchain for strategy synthesis with spatial properties - Complementary material 3
A runtime environment for contract automata 2
4SECURail - D.2.1: Specification of formal development demonstrator 2
A clean and efficient implementation of choreography synthesis for behavioural contracts 2
4SECURail D 2.2: Sparx EA artifacts and technical documentation 1
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016 1
4SECURail video presentation of Sparx EA and demonstrator of formal methods 1
A runtime environment for contract automata 1
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems 1
Contract automata library 1
Static detection of equivalent mutants in real-time model-based mutation testing 1
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 1
A formal framework for secure and complying services 1
A runtime environment for contract automata 1
A toolchain for strategy synthesis with spatial properties 1
A refinement approach to analyse critical cyber-physical systems. Extended Version 1
A refinement approach to analyse critical cyber-physical systems 1
4SECURail - D.2.2 : Formal development Demonstrator prototype - 1st release 1
A Formal Methods Demonstrator for Railways 1
A sound and complete refinement relation for non-reducible modal transition systems 1
AMPL model for the dependable dynamic vehicle routing problem 1
Totale 80
Categoria #
all - tutte 1.019
article - articoli 247
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 68
Totale 1.334


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202444 0 0 0 0 0 0 0 0 10 2 21 11
2024/202536 36 0 0 0 0 0 0 0 0 0 0 0
Totale 80