CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.979
EU - Europa 1.491
AS - Asia 1.040
SA - Sud America 116
AF - Africa 26
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.655
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.955
RU - Federazione Russa 572
SG - Singapore 438
GB - Regno Unito 303
CN - Cina 278
IT - Italia 122
SE - Svezia 121
HK - Hong Kong 103
VN - Vietnam 101
FI - Finlandia 93
BR - Brasile 86
FR - Francia 78
DE - Germania 75
IE - Irlanda 62
KR - Corea 46
UA - Ucraina 21
IN - India 15
BE - Belgio 13
NG - Nigeria 11
AR - Argentina 10
CA - Canada 10
TR - Turchia 9
ZA - Sudafrica 9
JP - Giappone 8
MX - Messico 7
ES - Italia 6
PL - Polonia 6
BD - Bangladesh 5
ID - Indonesia 5
IQ - Iraq 5
PK - Pakistan 5
AT - Austria 4
CL - Cile 4
NL - Olanda 4
PE - Perù 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
DO - Repubblica Dominicana 3
EC - Ecuador 3
JO - Giordania 3
PH - Filippine 3
PY - Paraguay 3
VE - Venezuela 3
AU - Australia 2
BY - Bielorussia 2
CO - Colombia 2
DZ - Algeria 2
EE - Estonia 2
GT - Guatemala 2
LU - Lussemburgo 2
MY - Malesia 2
RO - Romania 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
HN - Honduras 1
KZ - Kazakistan 1
MA - Marocco 1
OM - Oman 1
PT - Portogallo 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 4.655
Salva come PNG Salva come JPEG
Città #
Singapore 265
Jacksonville 253
Southend 245
Chandler 235
Woodbridge 203
Ashburn 177
Moscow 174
Dallas 157
San Jose 132
Ann Arbor 113
Hong Kong 103
Houston 66
Dublin 62
Verona 56
The Dalles 45
Beijing 39
Los Angeles 38
Ho Chi Minh City 35
New York 33
Wilmington 33
Lawrence 31
Princeton 31
Helsinki 26
Jinan 21
Hanoi 20
Nanjing 19
Buffalo 18
Santa Clara 18
Seoul 18
Milan 17
Hebei 16
Sindelfingen 14
Brussels 13
Columbus 13
Tianjin 12
Abuja 11
São Paulo 11
Boardman 10
Frankfurt am Main 9
Johannesburg 9
Shenyang 9
Atlanta 8
Chennai 8
Nanchang 8
San Francisco 8
Taizhou 8
Tokyo 8
Brooklyn 7
Denver 7
Ningbo 7
Guangzhou 6
Haikou 6
Kent 6
Montreal 6
Rome 6
Shanghai 6
Stockholm 6
Ankara 5
Changsha 5
Chicago 5
Da Nang 5
Hangzhou 5
Jiaxing 5
Poplar 5
Cagliari 4
Lancaster 4
Mexico City 4
Munich 4
Norwalk 4
Orem 4
Seattle 4
Amman 3
Belo Horizonte 3
Brasília 3
Duncan 3
Falkenstein 3
Haiphong 3
Jakarta 3
Juneau 3
Lahore 3
Lappeenranta 3
London 3
Nuremberg 3
Redondo Beach 3
Shenzhen 3
Taiyuan 3
Tremezzo 3
Trento 3
Vienna 3
Warsaw 3
Zhengzhou 3
Ansbach 2
Asunción 2
Auburn Hills 2
Baghdad 2
Bangkok 2
Boston 2
Bắc Ninh 2
Campinas 2
Campo Grande 2
Totale 3.062
Salva come PNG Salva come JPEG
Nome #
HIFSuite: Tools for HDL Code Conversion and Manipulation 211
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
HIFSuite: Tools for HDL Code Conversion and Manipulation 180
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 179
Test generation based on CLP 177
EFSM Manipulation to Increase High-Level ATPG 176
FATE: a Functional ATPG to Traverse unstabilized EFSMs 175
Combining Dynamic Slicing and Mutation Operators for ESL Correction 168
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 166
A testbench specification language for SystemC Verification 166
On the use of assertions for embedded-software dynamic verification 160
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 159
Effective EFSM generation for HW/SW-design verification 158
Dynamic property mining for embedded software 158
Automatic generation of EFSMs and HLDDs for functional ATPG 155
Model-Driven Design and Validation of Embedded Software 155
On the Reuse of TLM Mutation Analysis at RTL 155
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 152
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 146
IPA: Assertion-based verification in embedded-software design 143
Mutation analysis with high-level decision diagrams 140
Semi-Formal Functional Verification by EFSM traversing via NuSMV 132
EFSM-based model-driven approach to concolic testing of system-level design 132
Optimization of assertion placement in time-constrained embedded systems 130
On the Combined Use of HLDDs and EFSMs for Functional ATPG 129
RTOS-aware refinement for TLM2.0-based HW/SW designs 123
Time-Constraint-Aware Optimization of Assertions in Embedded Software 119
The impact of EFSM composition on functional ATPG 116
On the validation of embedded systems through functional ATPG 113
The role of parallel simulation in functional verification 108
On the validation of embedded systems through functional ATPG 107
Totale 4.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.492
article - articoli 2.503
book - libri 0
conference - conferenze 11.168
curatela - curatele 0
other - altro 361
patent - brevetti 0
selected - selezionate 0
volume - volumi 460
Totale 28.984
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202139 0 0 0 0 0 0 0 0 0 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/2025564 26 63 6 87 17 43 6 48 79 31 76 82
2025/20261.898 148 95 162 323 533 146 166 84 128 113 0 0
Totale 4.682