DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Continente #
NA - Nord America 1.236
EU - Europa 828
AS - Asia 320
SA - Sud America 4
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.391
Nazione #
US - Stati Uniti d'America 1.235
GB - Regno Unito 288
CN - Cina 200
SE - Svezia 114
SG - Singapore 93
FI - Finlandia 72
RU - Federazione Russa 68
FR - Francia 62
IE - Irlanda 62
IT - Italia 58
DE - Germania 57
UA - Ucraina 20
KR - Corea 18
BE - Belgio 13
NL - Olanda 3
VN - Vietnam 3
AU - Australia 2
CL - Cile 2
EE - Estonia 2
IN - India 2
LU - Lussemburgo 2
AL - Albania 1
AT - Austria 1
BR - Brasile 1
BY - Bielorussia 1
CA - Canada 1
CO - Colombia 1
ES - Italia 1
EU - Europa 1
ID - Indonesia 1
JP - Giappone 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
TH - Thailandia 1
Totale 2.391
Città #
Jacksonville 253
Southend 245
Chandler 235
Woodbridge 203
Ann Arbor 113
Singapore 77
Dublin 62
Houston 62
Ashburn 41
Wilmington 33
Lawrence 31
Princeton 31
Beijing 24
Verona 24
Jinan 21
Nanjing 18
Seoul 18
Hebei 16
New York 16
Sindelfingen 14
Brussels 13
Santa Clara 11
Boardman 10
Tianjin 10
Shenyang 9
Nanchang 8
Taizhou 8
Helsinki 7
Milan 7
Ningbo 7
Dallas 6
Haikou 6
Kent 6
Changsha 5
Guangzhou 5
Jiaxing 5
Cagliari 4
Hangzhou 4
Lancaster 4
Los Angeles 4
Norwalk 4
Seattle 4
Duncan 3
Lappeenranta 3
Moscow 3
San Francisco 3
Taiyuan 3
Tremezzo 3
Trento 3
Zhengzhou 3
Ansbach 2
Auburn Hills 2
Lanzhou 2
London 2
Luxembourg 2
Shenzhen 2
Tallinn 2
Almere Stad 1
Bangkok 1
Baoding 1
Bogotá 1
Canberra 1
Chicago 1
Delhi 1
Dong Ket 1
Edinburgh 1
Frankfurt am Main 1
Fuzhou 1
Groningen 1
Gunzenhausen 1
Jakarta 1
Kemerovo 1
Lisbon 1
Madrid 1
Manila 1
Minsk 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.760
Nome #
Enabling dynamic assertion-based verification of embedded software through model-driven design 105
HIFSuite: Tools for HDL Code Conversion and Manipulation 100
Combining Dynamic Slicing and Mutation Operators for ESL Correction 90
FATE: a Functional ATPG to Traverse unstabilized EFSMs 89
Effective EFSM generation for HW/SW-design verification 89
On the Reuse of TLM Mutation Analysis at RTL 89
Dynamic property mining for embedded software 88
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 85
HIFSuite: Tools for HDL Code Conversion and Manipulation 84
On the use of assertions for embedded-software dynamic verification 83
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 82
A testbench specification language for SystemC Verification 80
EFSM Manipulation to Increase High-Level ATPG 79
Test generation based on CLP 77
Optimization of assertion placement in time-constrained embedded systems 77
Time-Constraint-Aware Optimization of Assertions in Embedded Software 77
Mutation analysis with high-level decision diagrams 76
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 74
Automatic generation of EFSMs and HLDDs for functional ATPG 74
The impact of EFSM composition on functional ATPG 74
IPA: Assertion-based verification in embedded-software design 73
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 73
On the validation of embedded systems through functional ATPG 71
Semi-Formal Functional Verification by EFSM traversing via NuSMV 71
Model-Driven Design and Validation of Embedded Software 71
The role of parallel simulation in functional verification 69
RTOS-aware refinement for TLM2.0-based HW/SW designs 68
On the validation of embedded systems through functional ATPG 67
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 67
EFSM-based model-driven approach to concolic testing of system-level design 60
On the Combined Use of HLDDs and EFSMs for Functional ATPG 56
Totale 2.418
Categoria #
all - tutte 8.305
article - articoli 1.424
book - libri 0
conference - conferenze 6.410
curatela - curatele 0
other - altro 223
patent - brevetti 0
selected - selezionate 0
volume - volumi 248
Totale 16.610


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020198 0 0 0 0 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
2024/2025198 26 63 6 87 16 0 0 0 0 0 0 0
Totale 2.418