DANESE, ALESSANDRO
 Distribuzione geografica
Continente #
NA - Nord America 475
EU - Europa 403
AS - Asia 188
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 1.069
Nazione #
US - Stati Uniti d'America 474
CN - Cina 108
GB - Regno Unito 105
IT - Italia 93
SG - Singapore 50
SE - Svezia 46
IE - Irlanda 34
DE - Germania 30
FR - Francia 30
RU - Federazione Russa 30
FI - Finlandia 21
VN - Vietnam 14
KR - Corea 6
UA - Ucraina 5
BE - Belgio 4
ID - Indonesia 3
TR - Turchia 3
EE - Estonia 2
IN - India 2
TW - Taiwan 2
AU - Australia 1
CA - Canada 1
CL - Cile 1
GR - Grecia 1
NL - Olanda 1
PL - Polonia 1
ZA - Sudafrica 1
Totale 1.069
Città #
Chandler 109
Southend 102
Singapore 43
New York 41
Woodbridge 41
Ann Arbor 39
Dublin 32
Verona 32
Ashburn 23
Jacksonville 21
Beijing 18
Lawrence 15
Princeton 15
Wilmington 15
Houston 12
Jinan 9
Dong Ket 8
Helsinki 7
Hebei 6
Milan 5
Redwood City 5
Seoul 5
Brussels 4
Cagliari 4
Nanjing 4
Santa Clara 4
Tianjin 4
Changsha 3
Conegliano 3
Jakarta 3
Ningbo 3
San Francisco 3
Shenyang 3
Sunnyvale 3
Castel 2
Cesenatico 2
Chicago 2
Hangzhou 2
Jiaxing 2
Kunming 2
Los Angeles 2
Nanchang 2
Norwalk 2
Seattle 2
Sindelfingen 2
Tallinn 2
Aigaleo 1
Bovolone 1
Cambridge 1
Changle 1
Chions 1
Dallas 1
Fairfield 1
Gauteng 1
Guangzhou 1
Haikou 1
Hsinchu 1
Kent 1
Lanzhou 1
Melbourne 1
Montignoso 1
Moscow 1
Mumbai 1
Naaldwijk 1
Nettuno 1
Nizhniy Novgorod 1
Nürnberg 1
Osnabrück 1
Ottawa 1
Redmond 1
Rosà 1
San Diego 1
Santiago 1
Schio 1
Shelton 1
Taipei 1
Taizhou 1
Trapani 1
Varenna 1
Warsaw 1
Washington 1
Totale 703
Nome #
A-TEAM: Automatic template-based assertion miner 112
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 86
Fault model qualification by assertion mining 84
Automatic generation of power state machines through dynamic mining of temporal assertions 83
Automatic extraction of assertions from execution traces of behavioural models 82
Exploiting GPU Architectures for Dynamic Invariant Mining 82
System-level functional and extra-functional characterization of SoCs through assertion mining 81
A time-window based approach for dynamic assertions mining on control signals 76
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 74
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 70
Symbolic assertion mining for security validation 66
A parallelizable approach for mining likely invariants 62
RTL assertion mining with automated RTLto-TLM abstraction 59
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 57
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 43
Totale 1.117
Categoria #
all - tutte 4.090
article - articoli 539
book - libri 0
conference - conferenze 3.060
curatela - curatele 0
other - altro 232
patent - brevetti 0
selected - selezionate 0
volume - volumi 259
Totale 8.180


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202075 0 0 0 0 24 11 16 0 4 11 4 5
2020/2021114 11 12 3 18 11 17 6 3 14 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/2025105 13 18 7 50 17 0 0 0 0 0 0 0
Totale 1.117