CATALOGO DEI PRODOTTI DELLA RICERCA

DANESE, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 807
NA - Nord America 770
AS - Asia 513
SA - Sud America 51
AF - Africa 15
OC - Oceania 1
Totale 2.157
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 759
RU - Federazione Russa 334
SG - Singapore 193
CN - Cina 151
IT - Italia 142
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
IN - India 11
BD - Bangladesh 10
TR - Turchia 10
AR - Argentina 6
UA - Ucraina 5
ZA - Sudafrica 5
BE - Belgio 4
CA - Canada 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
OM - Oman 1
PH - Filippine 1
SY - Repubblica araba siriana 1
Totale 2.157
Salva come PNG Salva come JPEG
Città #
Moscow 123
Chandler 109
Singapore 106
Southend 102
Ashburn 92
Verona 71
San Jose 67
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 10
Jinan 9
Buffalo 8
Dong Ket 8
Helsinki 8
Los Angeles 8
Hebei 6
Istanbul 6
Tianjin 6
Mumbai 5
Redondo Beach 5
Redwood City 5
Santa Clara 5
Seoul 5
São Paulo 5
Brussels 4
Cagliari 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
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
Nairobi 2
Nanchang 2
Norwalk 2
Seattle 2
Shanghai 2
Sindelfingen 2
Tallinn 2
Tashkent 2
Toronto 2
Addis Ababa 1
Aigaleo 1
Almirante Tamandaré 1
Amman 1
Anderson 1
Arapiraca 1
Assis 1
Astrakhan 1
Ba Dinh 1
Basra 1
Bellach 1
Bishkek 1
Boardman 1
Bologna 1
Bovolone 1
Brooklyn 1
Buenos Aires 1
Bến Tre 1
Cairo 1
Totale 1.314
Salva come PNG Salva come JPEG
Nome #
A-TEAM: Automatic template-based assertion miner 180
Fault model qualification by assertion mining 179
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 173
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 149
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 147
Automatic extraction of assertions from execution traces of behavioural models 144
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 142
A parallelizable approach for mining likely invariants 139
A time-window based approach for dynamic assertions mining on control signals 138
RTL assertion mining with automated RTLto-TLM abstraction 130
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 127
Symbolic assertion mining for security validation 126
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 121
Totale 2.209
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.070
article - articoli 988
book - libri 0
conference - conferenze 5.172
curatela - curatele 0
other - altro 439
patent - brevetti 0
selected - selezionate 0
volume - volumi 471
Totale 14.140
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202119 0 0 0 0 0 0 0 0 0 0 5 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/2026912 66 30 79 153 253 67 91 70 42 61 0 0
Totale 2.209