DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Continente #
NA - Nord America 1.197
EU - Europa 764
AS - Asia 226
SA - Sud America 4
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.194
Nazione #
US - Stati Uniti d'America 1.196
GB - Regno Unito 288
CN - Cina 181
SE - Svezia 114
FI - Finlandia 72
FR - Francia 62
IE - Irlanda 62
IT - Italia 58
DE - Germania 57
SG - Singapore 20
UA - Ucraina 20
KR - Corea 18
BE - Belgio 12
RU - Federazione Russa 8
NL - Olanda 3
VN - Vietnam 3
AU - Australia 2
CL - Cile 2
IN - India 2
LU - Lussemburgo 2
AL - Albania 1
AT - Austria 1
BR - Brasile 1
CA - Canada 1
CO - Colombia 1
ES - Italia 1
EU - Europa 1
JP - Giappone 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
TH - Thailandia 1
Totale 2.194
Città #
Jacksonville 253
Southend 245
Chandler 235
Woodbridge 203
Ann Arbor 113
Dublin 62
Houston 62
Ashburn 38
Wilmington 33
Lawrence 31
Princeton 31
Verona 24
Beijing 23
Jinan 21
Nanjing 18
Seoul 18
Hebei 16
New York 16
Sindelfingen 14
Brussels 12
Boardman 10
Singapore 10
Tianjin 10
Shenyang 9
Nanchang 8
Taizhou 8
Helsinki 7
Milan 7
Ningbo 7
Haikou 6
Kent 6
Changsha 5
Jiaxing 5
Cagliari 4
Guangzhou 4
Hangzhou 4
Lancaster 4
Norwalk 4
Seattle 4
Duncan 3
Lappeenranta 3
Los Angeles 3
San Francisco 3
Taiyuan 3
Tremezzo 3
Trento 3
Zhengzhou 3
Ansbach 2
Auburn Hills 2
Dallas 2
Lanzhou 2
London 2
Luxembourg 2
Almere Stad 1
Bangkok 1
Bogotá 1
Canberra 1
Chicago 1
Delhi 1
Dong Ket 1
Edinburgh 1
Frankfurt am Main 1
Fuzhou 1
Groningen 1
Gunzenhausen 1
Kemerovo 1
Lisbon 1
Madrid 1
Moscow 1
Novokuznetsk 1
Numana 1
Ospedaletto Euganeo 1
Qingdao 1
Redwood City 1
Scandolara Ravara 1
Secaucus 1
Shanghai 1
Stockholm 1
Sydney 1
São Paulo 1
Tappahannock 1
Tokyo 1
Torino 1
Toronto 1
Turin 1
Vienna 1
Washington 1
Widnes 1
Totale 1.661
Nome #
Enabling dynamic assertion-based verification of embedded software through model-driven design 99
HIFSuite: Tools for HDL Code Conversion and Manipulation 97
FATE: a Functional ATPG to Traverse unstabilized EFSMs 84
Effective EFSM generation for HW/SW-design verification 84
Dynamic property mining for embedded software 82
Combining Dynamic Slicing and Mutation Operators for ESL Correction 81
On the Reuse of TLM Mutation Analysis at RTL 81
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 77
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 76
HIFSuite: Tools for HDL Code Conversion and Manipulation 76
On the use of assertions for embedded-software dynamic verification 75
Mutation analysis with high-level decision diagrams 73
Time-Constraint-Aware Optimization of Assertions in Embedded Software 73
EFSM Manipulation to Increase High-Level ATPG 71
A testbench specification language for SystemC Verification 71
Automatic generation of EFSMs and HLDDs for functional ATPG 69
Optimization of assertion placement in time-constrained embedded systems 69
The impact of EFSM composition on functional ATPG 68
Semi-Formal Functional Verification by EFSM traversing via NuSMV 68
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 68
Test generation based on CLP 67
RTOS-aware refinement for TLM2.0-based HW/SW designs 66
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 65
On the validation of embedded systems through functional ATPG 65
Model-Driven Design and Validation of Embedded Software 64
IPA: Assertion-based verification in embedded-software design 64
The role of parallel simulation in functional verification 64
On the validation of embedded systems through functional ATPG 62
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 56
EFSM-based model-driven approach to concolic testing of system-level design 54
On the Combined Use of HLDDs and EFSMs for Functional ATPG 51
Totale 2.220
Categoria #
all - tutte 6.713
article - articoli 1.142
book - libri 0
conference - conferenze 5.185
curatela - curatele 0
other - altro 188
patent - brevetti 0
selected - selezionate 0
volume - volumi 198
Totale 13.426


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20199 0 0 0 0 0 0 0 0 0 0 0 9
2019/2020270 36 2 2 32 32 28 30 29 10 34 8 27
2020/2021264 18 44 10 29 39 28 4 30 23 5 26 8
2021/2022225 15 55 1 11 27 4 5 8 17 7 20 55
2022/2023595 39 64 50 111 71 111 5 37 61 26 14 6
2023/2024207 9 23 15 22 21 28 4 20 3 19 34 9
Totale 2.220