CATALOGO DEI PRODOTTI DELLA RICERCA

DANESE, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 902
EU - Europa 814
AS - Asia 517
SA - Sud America 52
Continente sconosciuto - Info sul continente non disponibili 52
AF - Africa 15
OC - Oceania 1
Totale 2.353
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 885
RU - Federazione Russa 334
SG - Singapore 193
CN - Cina 151
IT - Italia 146
GB - Regno Unito 118
SE - Svezia 49
DE - Germania 48
HK - Hong Kong 46
VN - Vietnam 46
BR - Brasile 39
IE - Irlanda 35
FR - Francia 30
FI - Finlandia 24
KR - Corea 20
BD - Bangladesh 13
IN - India 11
TR - Turchia 10
AR - Argentina 6
CA - Canada 6
MX - Messico 6
UA - Ucraina 5
ZA - Sudafrica 5
BE - Belgio 4
JP - Giappone 4
PL - Polonia 4
AT - Austria 3
ID - Indonesia 3
IQ - Iraq 3
NL - Olanda 3
AZ - Azerbaigian 2
EE - Estonia 2
JM - Giamaica 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
AL - Albania 1
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
JO - Giordania 1
KG - Kirghizistan 1
MD - Moldavia 1
ME - Montenegro 1
NI - Nicaragua 1
OM - Oman 1
PH - Filippine 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
Totale 2.301
Salva come PNG Salva come JPEG
Città #
Ashburn 123
Moscow 123
Chandler 109
Singapore 106
Southend 102
San Jose 81
Dallas 75
Verona 71
Hong Kong 46
New York 43
Woodbridge 41
Ann Arbor 39
Dublin 33
Beijing 22
Council Bluffs 22
Jacksonville 21
The Dalles 17
Lawrence 15
Munich 15
Princeton 15
Wilmington 15
Ho Chi Minh City 14
Houston 12
Milan 11
Buffalo 9
Jinan 9
Dong Ket 8
Helsinki 8
Los Angeles 8
Santa Clara 7
Hebei 6
Istanbul 6
Tianjin 6
Cagliari 5
Chicago 5
Mumbai 5
Redondo Beach 5
Redwood City 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
Conegliano 3
Denver 3
Jakarta 3
Ningbo 3
Phoenix 3
Rome 3
Shenyang 3
Stockholm 3
Sunnyvale 3
Toronto 3
Abuja 2
Almaty 2
Amsterdam 2
Asunción 2
Baku 2
Basingstoke 2
Brooklyn 2
Castel 2
Cesenatico 2
Charlotte 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
San Diego 2
Seattle 2
Shanghai 2
Sindelfingen 2
Tallinn 2
Tashkent 2
Washington 2
Addis Ababa 1
Aigaleo 1
Almirante Tamandaré 1
Amman 1
Anderson 1
Arab 1
Arapiraca 1
Assis 1
Astrakhan 1
Ba Dinh 1
Basra 1
Totale 1.410
Salva come PNG Salva come JPEG
Nome #
A-TEAM: Automatic template-based assertion miner 191
Fault model qualification by assertion mining 187
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 184
System-level functional and extra-functional characterization of SoCs through assertion mining 182
Exploiting GPU Architectures for Dynamic Invariant Mining 161
Automatic generation of power state machines through dynamic mining of temporal assertions 158
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 155
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 154
Automatic extraction of assertions from execution traces of behavioural models 148
A parallelizable approach for mining likely invariants 148
A time-window based approach for dynamic assertions mining on control signals 145
RTL assertion mining with automated RTLto-TLM abstraction 142
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 139
Symbolic assertion mining for security validation 134
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 125
Totale 2.353
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.127
article - articoli 1.157
book - libri 0
conference - conferenze 5.920
curatela - curatele 0
other - altro 509
patent - brevetti 0
selected - selezionate 0
volume - volumi 541
Totale 16.254
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202282 0 0 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
2026/2027114 7 18 42 47 0 0 0 0 0 0 0 0
Totale 2.353