CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.537
EU - Europa 921
AS - Asia 609
SA - Sud America 70
AF - Africa 4
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.144
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.529
GB - Regno Unito 293
SG - Singapore 232
CN - Cina 215
SE - Svezia 116
HK - Hong Kong 97
FI - Finlandia 93
IT - Italia 83
FR - Francia 77
RU - Federazione Russa 71
DE - Germania 70
BR - Brasile 62
IE - Irlanda 62
KR - Corea 27
UA - Ucraina 20
BE - Belgio 13
VN - Vietnam 9
JP - Giappone 6
CA - Canada 5
IN - India 5
NL - Olanda 4
PL - Polonia 4
TR - Turchia 4
AT - Austria 3
ES - Italia 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BD - Bangladesh 2
CL - Cile 2
EE - Estonia 2
ID - Indonesia 2
IQ - Iraq 2
LU - Lussemburgo 2
AL - Albania 1
AR - Argentina 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BY - Bielorussia 1
CO - Colombia 1
EC - Ecuador 1
EU - Europa 1
GT - Guatemala 1
HN - Honduras 1
MA - Marocco 1
MX - Messico 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
TH - Thailandia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 3.144
Salva come PNG Salva come JPEG
Città #
Jacksonville 253
Southend 245
Chandler 235
Woodbridge 203
Dallas 147
Singapore 123
Ann Arbor 113
Hong Kong 97
Dublin 62
Houston 62
Ashburn 47
Wilmington 33
Lawrence 31
Princeton 31
The Dalles 31
Helsinki 26
Beijing 25
Verona 24
Jinan 21
New York 20
Buffalo 18
Nanjing 18
Seoul 18
Los Angeles 17
Hebei 16
Milan 16
Santa Clara 14
Sindelfingen 14
Brussels 13
Columbus 13
Boardman 10
Tianjin 10
Shenyang 9
Nanchang 8
Taizhou 8
Ningbo 7
San Francisco 7
Haikou 6
Kent 6
São Paulo 6
Tokyo 6
Brooklyn 5
Changsha 5
Frankfurt am Main 5
Guangzhou 5
Hangzhou 5
Ho Chi Minh City 5
Jiaxing 5
Atlanta 4
Cagliari 4
Chicago 4
Lancaster 4
Munich 4
Norwalk 4
Rome 4
Seattle 4
Belo Horizonte 3
Brasília 3
Duncan 3
Falkenstein 3
Johannesburg 3
Lappeenranta 3
London 3
Moscow 3
Redondo Beach 3
Stockholm 3
Taiyuan 3
Tremezzo 3
Trento 3
Zhengzhou 3
Ankara 2
Ansbach 2
Auburn Hills 2
Campinas 2
Delhi 2
Denver 2
Dhaka 2
Lanzhou 2
Luxembourg 2
Montreal 2
Nuremberg 2
Pedro Leopoldo 2
Roubaix 2
Shanghai 2
Shenzhen 2
São José do Rio Preto 2
Tallinn 2
Toronto 2
Turin 2
Turku 2
Vienna 2
Warsaw 2
Aleksandrov 1
Almere Stad 1
Antakya 1
Araras 1
Asunción 1
Baku 1
Bangkok 1
Baoding 1
Totale 2.230
Salva come PNG Salva come JPEG
Nome #
Enabling dynamic assertion-based verification of embedded software through model-driven design 132
HIFSuite: Tools for HDL Code Conversion and Manipulation 126
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 119
Combining Dynamic Slicing and Mutation Operators for ESL Correction 119
Effective EFSM generation for HW/SW-design verification 118
A testbench specification language for SystemC Verification 114
FATE: a Functional ATPG to Traverse unstabilized EFSMs 113
EFSM Manipulation to Increase High-Level ATPG 112
Test generation based on CLP 111
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 110
Dynamic property mining for embedded software 109
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 108
On the Reuse of TLM Mutation Analysis at RTL 108
HIFSuite: Tools for HDL Code Conversion and Manipulation 107
Mutation analysis with high-level decision diagrams 105
Automatic generation of EFSMs and HLDDs for functional ATPG 103
On the use of assertions for embedded-software dynamic verification 103
Optimization of assertion placement in time-constrained embedded systems 101
RTOS-aware refinement for TLM2.0-based HW/SW designs 96
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 96
The impact of EFSM composition on functional ATPG 95
Model-Driven Design and Validation of Embedded Software 94
IPA: Assertion-based verification in embedded-software design 92
Time-Constraint-Aware Optimization of Assertions in Embedded Software 92
Semi-Formal Functional Verification by EFSM traversing via NuSMV 89
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 88
The role of parallel simulation in functional verification 87
On the validation of embedded systems through functional ATPG 86
On the validation of embedded systems through functional ATPG 85
EFSM-based model-driven approach to concolic testing of system-level design 77
On the Combined Use of HLDDs and EFSMs for Functional ATPG 76
Totale 3.171
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.535
article - articoli 1.996
book - libri 0
conference - conferenze 8.885
curatela - curatele 0
other - altro 311
patent - brevetti 0
selected - selezionate 0
volume - volumi 343
Totale 23.070
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021202 0 0 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/2025564 26 63 6 87 17 43 6 48 79 31 76 82
2025/2026387 148 95 144 0 0 0 0 0 0 0 0 0
Totale 3.171