DANESE, ALESSANDRO
 Distribuzione geografica
Continente #
NA - Nord America 485
EU - Europa 403
AS - Asia 190
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 1.081
Nazione #
US - Stati Uniti d'America 484
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
KZ - Kazakistan 1
NL - Olanda 1
PL - Polonia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 1.081
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
Los Angeles 3
Ningbo 3
San Francisco 3
Shenyang 3
Sunnyvale 3
Castel 2
Cesenatico 2
Chicago 2
Hangzhou 2
Jiaxing 2
Kunming 2
Nanchang 2
Norwalk 2
Seattle 2
Sindelfingen 2
Tallinn 2
Aigaleo 1
Almaty 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
Lincoln 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
Tashkent 1
Trapani 1
Varenna 1
Warsaw 1
Washington 1
Totale 707
Nome #
A-TEAM: Automatic template-based assertion miner 113
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 86
Fault model qualification by assertion mining 85
Automatic generation of power state machines through dynamic mining of temporal assertions 84
Automatic extraction of assertions from execution traces of behavioural models 83
Exploiting GPU Architectures for Dynamic Invariant Mining 83
System-level functional and extra-functional characterization of SoCs through assertion mining 82
A time-window based approach for dynamic assertions mining on control signals 77
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 75
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 71
Symbolic assertion mining for security validation 67
A parallelizable approach for mining likely invariants 63
RTL assertion mining with automated RTLto-TLM abstraction 60
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.129
Categoria #
all - tutte 4.128
article - articoli 545
book - libri 0
conference - conferenze 3.087
curatela - curatele 0
other - altro 234
patent - brevetti 0
selected - selezionate 0
volume - volumi 262
Totale 8.256


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202051 0 0 0 0 0 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/2025117 13 18 7 50 17 12 0 0 0 0 0 0
Totale 1.129