CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.680
EU - Europa 1.152
AS - Asia 719
SA - Sud America 88
AF - Africa 10
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.652
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.662
GB - Regno Unito 301
RU - Federazione Russa 285
SG - Singapore 265
CN - Cina 246
SE - Svezia 118
HK - Hong Kong 98
FI - Finlandia 93
IT - Italia 86
FR - Francia 77
DE - Germania 70
BR - Brasile 67
IE - Irlanda 62
KR - Corea 37
VN - Vietnam 30
UA - Ucraina 21
BE - Belgio 13
CA - Canada 10
IN - India 10
JP - Giappone 8
TR - Turchia 8
ZA - Sudafrica 8
AR - Argentina 5
ES - Italia 5
PL - Polonia 5
MX - Messico 4
NL - Olanda 4
AT - Austria 3
BD - Bangladesh 3
CL - Cile 3
EC - Ecuador 3
IQ - Iraq 3
PY - Paraguay 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
EE - Estonia 2
GT - Guatemala 2
ID - Indonesia 2
LU - Lussemburgo 2
PE - Perù 2
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BY - Bielorussia 1
CO - Colombia 1
DM - Dominica 1
DZ - Algeria 1
EU - Europa 1
HN - Honduras 1
MA - Marocco 1
MY - Malesia 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
TH - Thailandia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 3.652
Salva come PNG Salva come JPEG
Città #
Jacksonville 253
Southend 245
Chandler 235
Woodbridge 203
Dallas 157
Singapore 124
Ann Arbor 113
Hong Kong 98
Ashburn 79
Moscow 74
Houston 66
Dublin 62
Beijing 39
Los Angeles 36
Wilmington 33
Lawrence 31
Princeton 31
The Dalles 31
New York 29
Helsinki 26
Verona 24
Jinan 21
Buffalo 18
Nanjing 18
Seoul 18
Hebei 16
Milan 16
Santa Clara 16
Ho Chi Minh City 15
Sindelfingen 14
Brussels 13
Columbus 13
Boardman 10
Tianjin 10
Shenyang 9
Johannesburg 8
Nanchang 8
São Paulo 8
Taizhou 8
Tokyo 8
Atlanta 7
Brooklyn 7
Denver 7
Ningbo 7
San Francisco 7
Haikou 6
Kent 6
Montreal 6
Ankara 5
Changsha 5
Chennai 5
Chicago 5
Frankfurt am Main 5
Guangzhou 5
Hangzhou 5
Hanoi 5
Jiaxing 5
Poplar 5
Rome 5
Stockholm 5
Cagliari 4
Lancaster 4
Mexico City 4
Munich 4
Norwalk 4
Seattle 4
Belo Horizonte 3
Brasília 3
Da Nang 3
Duncan 3
Falkenstein 3
Juneau 3
Lappeenranta 3
London 3
Redondo Beach 3
Taiyuan 3
Tremezzo 3
Trento 3
Warsaw 3
Zhengzhou 3
Ansbach 2
Asunción 2
Auburn Hills 2
Boston 2
Campinas 2
Delhi 2
Dhaka 2
Greenville 2
Guatemala City 2
Lanzhou 2
Luxembourg 2
Manchester 2
Meda 2
Miami 2
Nuremberg 2
Oklahoma City 2
Orem 2
Pedro Leopoldo 2
Pittsburgh 2
Roubaix 2
Totale 2.455
Salva come PNG Salva come JPEG
Nome #
Enabling dynamic assertion-based verification of embedded software through model-driven design 158
HIFSuite: Tools for HDL Code Conversion and Manipulation 155
FATE: a Functional ATPG to Traverse unstabilized EFSMs 144
EFSM Manipulation to Increase High-Level ATPG 141
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 141
Combining Dynamic Slicing and Mutation Operators for ESL Correction 138
HIFSuite: Tools for HDL Code Conversion and Manipulation 136
Test generation based on CLP 135
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 134
A testbench specification language for SystemC Verification 131
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 130
Effective EFSM generation for HW/SW-design verification 130
Automatic generation of EFSMs and HLDDs for functional ATPG 129
Model-Driven Design and Validation of Embedded Software 119
Dynamic property mining for embedded software 119
On the use of assertions for embedded-software dynamic verification 116
On the Reuse of TLM Mutation Analysis at RTL 115
Mutation analysis with high-level decision diagrams 114
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 112
IPA: Assertion-based verification in embedded-software design 109
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 109
Optimization of assertion placement in time-constrained embedded systems 107
The impact of EFSM composition on functional ATPG 101
RTOS-aware refinement for TLM2.0-based HW/SW designs 100
Time-Constraint-Aware Optimization of Assertions in Embedded Software 100
Semi-Formal Functional Verification by EFSM traversing via NuSMV 96
On the validation of embedded systems through functional ATPG 94
The role of parallel simulation in functional verification 94
On the validation of embedded systems through functional ATPG 93
EFSM-based model-driven approach to concolic testing of system-level design 92
On the Combined Use of HLDDs and EFSMs for Functional ATPG 87
Totale 3.679
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.670
article - articoli 2.186
book - libri 0
conference - conferenze 9.766
curatela - curatele 0
other - altro 327
patent - brevetti 0
selected - selezionate 0
volume - volumi 391
Totale 25.340
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021163 0 0 0 0 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/2025564 26 63 6 87 17 43 6 48 79 31 76 82
2025/2026895 148 95 162 323 167 0 0 0 0 0 0 0
Totale 3.679