CATALOGO DEI PRODOTTI DELLA RICERCA

PRAVADELLI, Graziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.566
EU - Europa 8.240
AS - Asia 5.922
SA - Sud America 680
AF - Africa 197
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 6
Totale 24.628
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.408
RU - Federazione Russa 3.250
SG - Singapore 2.467
GB - Regno Unito 1.522
CN - Cina 1.521
IT - Italia 921
HK - Hong Kong 599
VN - Vietnam 598
BR - Brasile 524
SE - Svezia 500
FR - Francia 418
DE - Germania 415
FI - Finlandia 411
IE - Irlanda 361
KR - Corea 219
UA - Ucraina 100
IN - India 87
CA - Canada 83
BE - Belgio 65
BD - Bangladesh 64
AR - Argentina 59
PL - Polonia 55
NG - Nigeria 50
NL - Olanda 49
TR - Turchia 49
ES - Italia 47
MX - Messico 46
JP - Giappone 42
ZA - Sudafrica 40
AT - Austria 39
PH - Filippine 32
ID - Indonesia 31
IQ - Iraq 31
BJ - Benin 20
TG - Togo 20
TW - Taiwan 20
PE - Perù 19
VE - Venezuela 19
EC - Ecuador 18
SA - Arabia Saudita 18
PK - Pakistan 17
UZ - Uzbekistan 17
KE - Kenya 16
AE - Emirati Arabi Uniti 15
CO - Colombia 15
CL - Cile 14
MY - Malesia 14
JO - Giordania 13
MA - Marocco 13
IL - Israele 12
AU - Australia 11
AZ - Azerbaigian 10
LT - Lituania 9
NO - Norvegia 9
KZ - Kazakistan 8
PY - Paraguay 8
TN - Tunisia 8
AL - Albania 7
DO - Repubblica Dominicana 7
NP - Nepal 7
OM - Oman 7
CH - Svizzera 6
CZ - Repubblica Ceca 6
EE - Estonia 6
EG - Egitto 6
ET - Etiopia 6
DZ - Algeria 5
EU - Europa 5
KG - Kirghizistan 5
NZ - Nuova Zelanda 5
SN - Senegal 5
BG - Bulgaria 4
DK - Danimarca 4
MD - Moldavia 4
PT - Portogallo 4
RO - Romania 4
UY - Uruguay 4
BY - Bielorussia 3
CR - Costa Rica 3
GR - Grecia 3
HU - Ungheria 3
IR - Iran 3
JM - Giamaica 3
LU - Lussemburgo 3
LV - Lettonia 3
NI - Nicaragua 3
RS - Serbia 3
AM - Armenia 2
BB - Barbados 2
BH - Bahrain 2
GD - Grenada 2
GT - Guatemala 2
LB - Libano 2
PA - Panama 2
PS - Palestinian Territory 2
RE - Reunion 2
SI - Slovenia 2
TH - Thailandia 2
TJ - Tagikistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
Totale 24.608
Salva come PNG Salva come JPEG
Città #
Singapore 1.431
Southend 1.206
Ashburn 1.097
Moscow 1.072
Chandler 1.009
Jacksonville 903
Dallas 875
San Jose 841
Woodbridge 727
Hong Kong 585
Ann Arbor 530
Verona 434
Dublin 357
The Dalles 310
Houston 252
Beijing 238
New York 204
Ho Chi Minh City 190
Los Angeles 156
Lawrence 143
Princeton 143
Hanoi 140
Helsinki 137
Wilmington 119
Milan 116
Buffalo 94
Nanjing 94
Jinan 83
Santa Clara 83
Sindelfingen 77
Boardman 70
São Paulo 68
Brussels 65
Shenyang 64
Columbus 63
Hebei 56
Tianjin 53
Seoul 51
Abuja 48
Chicago 42
London 42
Redondo Beach 41
Warsaw 40
Tokyo 37
Guangzhou 35
Frankfurt am Main 34
Munich 34
Orem 34
Ningbo 33
Changsha 31
Jiaxing 29
Montreal 29
San Francisco 29
Seattle 29
Denver 28
Taizhou 28
Haikou 27
Nanchang 27
Stockholm 27
Toronto 27
Zhengzhou 27
Hangzhou 26
Brooklyn 25
Da Nang 25
Shanghai 25
Amsterdam 24
Chennai 24
Falkenstein 24
Phoenix 24
Dong Ket 23
Johannesburg 23
Las Pinas 23
Madrid 23
Nuremberg 23
Council Bluffs 22
Kent 22
Lappeenranta 22
Norwalk 22
Vienna 22
Atlanta 21
Des Moines 21
Cotonou 20
Haiphong 20
Lomé 20
Taiyuan 20
Ankara 16
Jakarta 16
Redwood City 16
Poplar 15
Rio de Janeiro 15
Rome 15
Tashkent 15
Fairfield 14
Manchester 14
Mexico City 14
Nairobi 14
Amman 13
Chions 13
Istanbul 13
Belo Horizonte 12
Totale 15.653
Salva come PNG Salva come JPEG
Nome #
A 1000X Speed Up for Properties Completeness Evaluation 271
A CLP-based Functional ATPG for Extended FSMs 243
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 232
Hardware Design and Simulation for Verification 216
Automatic HDL Conversion and Abstraction Methodologies 212
HIFSuite: Tools for HDL Code Conversion and Manipulation 211
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 209
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models 194
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 193
Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion 188
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 185
On the Reuse of RTL assertions in Systemc TLM Verification 184
Towards a wearable system for predicting the freezing of gait in people affected by Parkinson's disease 182
A-TEAM: Automatic template-based assertion miner 180
A graph-based approach for mobile localization exploiting real and virtual landmarks 180
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
Logic-Level Mapping of High-Level Faults 179
Fault model qualification by assertion mining 179
Functional Verification based on the EFSM Model 179
A SystemC-based Framework for Properties Incompleteness Evaluation 178
Test generation based on CLP 177
EFSM Manipulation to Increase High-Level ATPG 176
FATE: a Functional ATPG to Traverse unstabilized EFSMs 175
An EFSM-based Approach for Functional ATPG 173
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 173
Towards posture and gait evaluation through wearable-based biofeedback technologies 171
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 171
A virtual coaching platform to support therapy compliance in obesity 170
A low-cost wireless body area network for human activity recognition in healthy life and medical applications 168
Combining Dynamic Slicing and Mutation Operators for ESL Correction 168
A Methodology for Abstracting RTL Designs into TL Descriptions 167
A containerized ROS-compliant verification environment for robotic systems 167
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 166
A testbench specification language for SystemC Verification 166
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 165
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 165
An Optimized CLP-based Technique for Generating Propagation Sequences 164
Automatic generation of self-adaptive transactors from PSL assertions 164
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 162
Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL 161
Practical identity recognition using WiFi's Channel State Information 161
Redundant Functional Faults Reduction by Saboteur Synthesis 160
On the use of assertions for embedded-software dynamic verification 160
A Verification Methodology for Reconfigurable Systems 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
Exploiting GPU Architectures for Dynamic Invariant Mining 157
A Smooth Refinement Flow for Co-designing HW and SW Threads 156
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces 156
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
On the Reuse of VHDL Modules into SystemC Design 154
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework 154
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey 152
An Error Simulation Based Approach to Measure Error Coverage of Formal Properties 151
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 151
Mutation Analysis for SystemC Designs at TLM 150
Reusing RTL assertion checkers for verification of SystemC TLM models 149
Automatic generation of power state machines through dynamic mining of temporal assertions 149
A low-cost BLE-based distance estimation, occupancy detection and counting system 148
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 147
Estimating Indoor Occupancy Through Low-Cost BLE Devices 147
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 146
DDPSL: an Easy Way of Defining Properties 146
A Systematic Literature Review on Mining LTL Specifications 145
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution 145
An indoor localization system to detect areas causing the freezing of gait in Parkinsonians 145
Symbad: Formal Verification in System Level-based Design (Extended Version) 144
Automatic extraction of assertions from execution traces of behavioural models 144
IPA: Assertion-based verification in embedded-software design 143
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms 143
Vacuity Analysis by Fault Simulation 142
Correct-by-construction generation of device drivers based on RTL testbenches 142
On the Functional Qualification of a Platform Model 142
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 142
AMLETO: A Multi-language Environment for Functional Test Generation 141
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era 139
A parallelizable approach for mining likely invariants 139
On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties 138
A time-window based approach for dynamic assertions mining on control signals 138
SystemC as a Complete Design and Validation Environment 137
IPA: Reusing of Properties after Discretization of Hybrid Automata 137
Simplified stimuli generation for scenario and assertion based verification 137
Test Generation: A Symbolic Approach 136
Laboratorio di Linux 134
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC 134
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows 134
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 134
Stimuli Generation through Invariant Mining for Black-Box Verification 133
Symbad: Formal Verification in System Level-based Design 132
Semi-Formal Functional Verification by EFSM traversing via NuSMV 132
EFSM-based model-driven approach to concolic testing of system-level design 132
Testbench qualification of SystemC TLM protocols through Mutation Analysis 132
Towards the automatic data annotation for human activity recognition based on wearables and BLE beacons 132
Human Activity Recognition using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey 131
Optimization of assertion placement in time-constrained embedded systems 130
Totale 16.120
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.174
article - articoli 16.732
book - libri 377
conference - conferenze 59.576
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.489
Totale 162.348
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021192 0 0 0 0 0 0 0 0 0 20 109 63
2021/20221.156 68 326 12 112 77 22 19 53 48 35 98 286
2022/20232.790 197 275 269 465 286 568 52 191 337 54 66 30
2023/20241.470 75 118 123 151 110 281 105 95 27 117 196 72
2024/20253.506 173 341 113 592 129 176 64 253 429 220 362 654
2025/202610.769 762 649 874 1.782 2.838 770 1.099 638 741 616 0 0
Totale 24.915