CATALOGO DEI PRODOTTI DELLA RICERCA

DANESE, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 811
NA - Nord America 793
AS - Asia 516
SA - Sud America 51
AF - Africa 15
OC - Oceania 1
Totale 2.187
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 780
RU - Federazione Russa 334
SG - Singapore 193
CN - Cina 151
IT - Italia 145
GB - Regno Unito 118
SE - Svezia 49
DE - Germania 48
HK - Hong Kong 46
VN - Vietnam 46
BR - Brasile 38
IE - Irlanda 34
FR - Francia 30
FI - Finlandia 24
KR - Corea 20
BD - Bangladesh 13
IN - India 11
TR - Turchia 10
AR - Argentina 6
CA - Canada 6
UA - Ucraina 5
ZA - Sudafrica 5
BE - Belgio 4
JP - Giappone 4
MX - Messico 4
PL - Polonia 4
AT - Austria 3
ID - Indonesia 3
IQ - Iraq 3
NL - Olanda 3
AZ - Azerbaigian 2
EE - Estonia 2
KE - Kenya 2
KZ - Kazakistan 2
MA - Marocco 2
NG - Nigeria 2
PK - Pakistan 2
PY - Paraguay 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
VE - Venezuela 2
AU - Australia 1
BG - Bulgaria 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
EG - Egitto 1
ES - Italia 1
ET - Etiopia 1
GI - Gibilterra 1
GR - Grecia 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
MD - Moldavia 1
ME - Montenegro 1
OM - Oman 1
PH - Filippine 1
SY - Repubblica araba siriana 1
Totale 2.187
Salva come PNG Salva come JPEG
Città #
Moscow 123
Chandler 109
Singapore 106
Southend 102
Ashburn 93
Verona 71
San Jose 69
Dallas 63
Hong Kong 46
New York 43
Woodbridge 41
Ann Arbor 39
Dublin 32
Beijing 22
Jacksonville 21
The Dalles 17
Lawrence 15
Munich 15
Princeton 15
Wilmington 15
Ho Chi Minh City 14
Houston 12
Milan 11
Council Bluffs 10
Jinan 9
Buffalo 8
Dong Ket 8
Helsinki 8
Los Angeles 8
Hebei 6
Istanbul 6
Tianjin 6
Cagliari 5
Mumbai 5
Redondo Beach 5
Redwood City 5
Santa Clara 5
Seoul 5
São Paulo 5
Brussels 4
London 4
Nanjing 4
Orem 4
San Francisco 4
Tokyo 4
Warsaw 4
Atlanta 3
Cambridge 3
Changsha 3
Chennai 3
Chicago 3
Conegliano 3
Jakarta 3
Ningbo 3
Phoenix 3
Shenyang 3
Stockholm 3
Sunnyvale 3
Toronto 3
Abuja 2
Almaty 2
Amsterdam 2
Asunción 2
Baku 2
Basingstoke 2
Castel 2
Cesenatico 2
City of London 2
Falkenstein 2
Hangzhou 2
Jiaxing 2
Johannesburg 2
Kunming 2
Mexico City 2
Miami 2
Nairobi 2
Nanchang 2
Norwalk 2
Rome 2
Seattle 2
Shanghai 2
Sindelfingen 2
Tallinn 2
Tashkent 2
Addis Ababa 1
Aigaleo 1
Almirante Tamandaré 1
Amman 1
Anderson 1
Arapiraca 1
Assis 1
Astrakhan 1
Ba Dinh 1
Basra 1
Beaumont 1
Bellach 1
Bishkek 1
Boardman 1
Bologna 1
Bovolone 1
Totale 1.331
Salva come PNG Salva come JPEG
Nome #
A-TEAM: Automatic template-based assertion miner 182
Fault model qualification by assertion mining 180
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 178
Exploiting GPU Architectures for Dynamic Invariant Mining 157
System-level functional and extra-functional characterization of SoCs through assertion mining 157
Automatic generation of power state machines through dynamic mining of temporal assertions 150
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 148
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 145
Automatic extraction of assertions from execution traces of behavioural models 144
A time-window based approach for dynamic assertions mining on control signals 141
A parallelizable approach for mining likely invariants 141
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 135
RTL assertion mining with automated RTLto-TLM abstraction 132
Symbolic assertion mining for security validation 128
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 121
Totale 2.239
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.466
article - articoli 1.068
book - libri 0
conference - conferenze 5.443
curatela - curatele 0
other - altro 455
patent - brevetti 0
selected - selezionate 0
volume - volumi 500
Totale 14.932
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202114 0 0 0 0 0 0 0 0 0 0 0 14
2021/202296 4 10 0 23 2 3 2 10 1 4 4 33
2022/2023265 16 31 22 41 34 44 10 25 35 2 2 3
2023/2024139 8 13 9 10 10 43 2 12 1 8 18 5
2024/2025285 13 18 7 50 17 18 6 19 37 16 29 55
2025/2026942 66 30 79 153 253 67 91 70 42 62 7 22
Totale 2.239