CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.274
EU - Europa 1.514
AS - Asia 1.081
SA - Sud America 123
Continente sconosciuto - Info sul continente non disponibili 28
AF - Africa 26
OC - Oceania 2
Totale 5.048
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.243
RU - Federazione Russa 572
SG - Singapore 442
GB - Regno Unito 305
CN - Cina 286
IT - Italia 140
SE - Svezia 121
HK - Hong Kong 105
VN - Vietnam 101
FI - Finlandia 93
BR - Brasile 88
FR - Francia 80
DE - Germania 75
IE - Irlanda 62
KR - Corea 46
BD - Bangladesh 27
UA - Ucraina 21
IN - India 15
BE - Belgio 13
CA - Canada 13
NG - Nigeria 11
TR - Turchia 11
AR - Argentina 10
JP - Giappone 9
ZA - Sudafrica 9
MX - Messico 7
CL - Cile 6
ES - Italia 6
PL - Polonia 6
ID - Indonesia 5
IQ - Iraq 5
PE - Perù 5
PK - Pakistan 5
AE - Emirati Arabi Uniti 4
AT - Austria 4
NL - Olanda 4
PH - Filippine 4
SA - Arabia Saudita 4
VE - Venezuela 4
CO - Colombia 3
DO - Repubblica Dominicana 3
EC - Ecuador 3
JO - Giordania 3
PY - Paraguay 3
RO - Romania 3
AU - Australia 2
BY - Bielorussia 2
DZ - Algeria 2
EE - Estonia 2
GT - Guatemala 2
HN - Honduras 2
LU - Lussemburgo 2
MY - Malesia 2
SN - Senegal 2
TH - Thailandia 2
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
DM - Dominica 1
EU - Europa 1
GE - Georgia 1
JM - Giamaica 1
KZ - Kazakistan 1
MA - Marocco 1
OM - Oman 1
PR - Porto Rico 1
PT - Portogallo 1
SV - El Salvador 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 5.021
Salva come PNG Salva come JPEG
Città #
Singapore 266
Jacksonville 253
Southend 245
Chandler 235
Ashburn 231
Woodbridge 203
Dallas 181
Moscow 174
San Jose 160
Ann Arbor 113
Hong Kong 105
Houston 67
Dublin 62
Council Bluffs 59
Verona 57
The Dalles 45
Los Angeles 42
Beijing 41
New York 37
Ho Chi Minh City 35
Wilmington 33
Princeton 32
Lawrence 31
Helsinki 26
Santa Clara 26
Jinan 21
Buffalo 20
Hanoi 20
Nanjing 19
Milan 18
Seoul 18
Hebei 16
Columbus 14
Sindelfingen 14
Brussels 13
São Paulo 12
Tianjin 12
Abuja 11
Boardman 10
Denver 10
Atlanta 9
Brooklyn 9
Frankfurt am Main 9
Johannesburg 9
San Francisco 9
Shenyang 9
Chennai 8
Nanchang 8
Taizhou 8
Tokyo 8
Chicago 7
Guangzhou 7
Ningbo 7
Rome 7
Shanghai 7
Haikou 6
Kent 6
Montreal 6
Stockholm 6
Ankara 5
Changsha 5
Da Nang 5
Hangzhou 5
Jiaxing 5
Las Vegas 5
Poplar 5
Cagliari 4
Lancaster 4
Mexico City 4
Miami 4
Munich 4
Norwalk 4
Orem 4
Seattle 4
Amman 3
Belo Horizonte 3
Brasília 3
Cleveland 3
Duncan 3
Falkenstein 3
Florence 3
Greenville 3
Haiphong 3
Jakarta 3
Juneau 3
Lahore 3
Lappeenranta 3
London 3
Nuremberg 3
Pittsburgh 3
Providence 3
Redondo Beach 3
San Diego 3
Shenzhen 3
Taiyuan 3
Toronto 3
Tremezzo 3
Trento 3
Vienna 3
Warsaw 3
Totale 3.277
Salva come PNG Salva come JPEG
Nome #
EFSM Manipulation to Increase High-Level ATPG 218
HIFSuite: Tools for HDL Code Conversion and Manipulation 218
Enabling dynamic assertion-based verification of embedded software through model-driven design 203
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 196
HIFSuite: Tools for HDL Code Conversion and Manipulation 191
Test generation based on CLP 190
FATE: a Functional ATPG to Traverse unstabilized EFSMs 185
Combining Dynamic Slicing and Mutation Operators for ESL Correction 180
A testbench specification language for SystemC Verification 177
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 176
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 175
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 170
On the use of assertions for embedded-software dynamic verification 170
Effective EFSM generation for HW/SW-design verification 169
Model-Driven Design and Validation of Embedded Software 165
Automatic generation of EFSMs and HLDDs for functional ATPG 164
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 164
Dynamic property mining for embedded software 163
On the Reuse of TLM Mutation Analysis at RTL 161
IPA: Assertion-based verification in embedded-software design 154
Mutation analysis with high-level decision diagrams 145
RTOS-aware refinement for TLM2.0-based HW/SW designs 140
EFSM-based model-driven approach to concolic testing of system-level design 140
Semi-Formal Functional Verification by EFSM traversing via NuSMV 138
On the validation of embedded systems through functional ATPG 137
Optimization of assertion placement in time-constrained embedded systems 137
On the Combined Use of HLDDs and EFSMs for Functional ATPG 136
Time-Constraint-Aware Optimization of Assertions in Embedded Software 134
The impact of EFSM composition on functional ATPG 125
On the validation of embedded systems through functional ATPG 114
The role of parallel simulation in functional verification 113
Totale 5.048
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.523
article - articoli 2.865
book - libri 0
conference - conferenze 12.696
curatela - curatele 0
other - altro 434
patent - brevetti 0
selected - selezionate 0
volume - volumi 528
Totale 33.046
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022154 0 0 0 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/2025564 26 63 6 87 17 43 6 48 79 31 76 82
2025/20262.007 148 95 162 323 533 146 166 84 128 119 31 72
2026/2027257 22 46 95 94 0 0 0 0 0 0 0 0
Totale 5.048