DANESE, ALESSANDRO
 Distribuzione geografica
Continente #
NA - Nord America 466
EU - Europa 394
AS - Asia 129
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 992
Nazione #
US - Stati Uniti d'America 465
GB - Regno Unito 105
IT - Italia 93
CN - Cina 91
SE - Svezia 46
IE - Irlanda 34
DE - Germania 30
FR - Francia 30
RU - Federazione Russa 22
FI - Finlandia 20
VN - Vietnam 14
SG - Singapore 11
KR - Corea 6
UA - Ucraina 5
BE - Belgio 4
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 992
Città #
Chandler 109
Southend 102
New York 41
Woodbridge 41
Ann Arbor 39
Dublin 32
Verona 32
Ashburn 22
Jacksonville 21
Beijing 18
Lawrence 15
Princeton 15
Wilmington 15
Houston 12
Jinan 9
Dong Ket 8
Hebei 6
Helsinki 6
Singapore 6
Milan 5
Redwood City 5
Seoul 5
Brussels 4
Cagliari 4
Nanjing 4
Tianjin 4
Changsha 3
Conegliano 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 657
Nome #
A-TEAM: Automatic template-based assertion miner 108
Fault model qualification by assertion mining 81
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 81
Automatic extraction of assertions from execution traces of behavioural models 77
Exploiting GPU Architectures for Dynamic Invariant Mining 76
System-level functional and extra-functional characterization of SoCs through assertion mining 74
Automatic generation of power state machines through dynamic mining of temporal assertions 73
A time-window based approach for dynamic assertions mining on control signals 71
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 70
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 64
Symbolic assertion mining for security validation 59
A parallelizable approach for mining likely invariants 57
RTL assertion mining with automated RTLto-TLM abstraction 55
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 54
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 39
Totale 1.039
Categoria #
all - tutte 3.566
article - articoli 453
book - libri 0
conference - conferenze 2.680
curatela - curatele 0
other - altro 206
patent - brevetti 0
selected - selezionate 0
volume - volumi 227
Totale 7.132


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020101 0 2 12 12 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/202527 13 14 0 0 0 0 0 0 0 0 0 0
Totale 1.039