Griggio, Alberto
 Distribuzione geografica
Continente #
EU - Europa 34
NA - Nord America 2
Totale 36
Nazione #
IT - Italia 33
US - Stati Uniti d'America 2
IE - Irlanda 1
Totale 36
Città #
Trento 17
Rovereto 7
Bolzano 3
Fleming Island 2
Milan 2
Vigolo Vattaro 2
Dublin 1
Totale 34
Nome #
COMPASTA: Integrating COMPASS Functionality into TASTE, file 76a4f9be-f2b5-4815-a683-c3773617c888 8
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation, file ddb241a5-8904-ba8a-e053-3a05fe0afd55 7
COMPASTA = COMPASS + TASTE, file dece9782-653c-4df6-ade4-193ea0514c0a 7
COMPASTA: Extending TASTE with Formal Design and Verification Functionality, file 273b0fc0-46a7-4681-9a31-e05bde1dcfdf 5
Analysis of Cyclic Fault Propagation via ASP, file 51bbe364-3f4a-48e8-aa95-f12dba37e819 2
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems, file c5531db4-172f-4b93-aa00-22ec4cf837d9 2
Optimization Modulo Non-linear Arithmetic via Incremental Linearization, file ddb241a5-8638-ba8a-e053-3a05fe0afd55 2
Verilog2SMV: A Tool for Word-level Verification, file ddb241a5-32df-ba8a-e053-3a05fe0afd55 1
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System, file ddb241a5-78b6-ba8a-e053-3a05fe0afd55 1
Efficient SMT-Based Analysis of Failure Propagation, file ddb241a5-7a72-ba8a-e053-3a05fe0afd55 1
Totale 36
Categoria #
all - tutte 92
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 92


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20225 1 1 0 0 0 0 0 1 1 0 0 1
2022/202311 0 0 1 2 0 0 3 3 2 0 0 0
2023/202419 0 0 1 2 1 6 0 0 9 0 0 0
Totale 36