CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.699
EU - Europa 19.119
AS - Asia 13.394
SA - Sud America 1.607
Continente sconosciuto - Info sul continente non disponibili 778
AF - Africa 454
OC - Oceania 45
Totale 62.096
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 25.859
RU - Federazione Russa 7.234
SG - Singapore 5.699
GB - Regno Unito 3.472
CN - Cina 3.365
IT - Italia 2.589
BR - Brasile 1.232
HK - Hong Kong 1.199
VN - Vietnam 1.156
SE - Svezia 1.121
DE - Germania 966
FR - Francia 913
FI - Finlandia 898
IE - Irlanda 808
KR - Corea 566
CA - Canada 423
BD - Bangladesh 289
UA - Ucraina 257
IN - India 220
JP - Giappone 168
BE - Belgio 150
NG - Nigeria 140
ES - Italia 134
AR - Argentina 128
NL - Olanda 116
TR - Turchia 111
MX - Messico 109
PL - Polonia 108
IL - Israele 93
AT - Austria 85
ID - Indonesia 85
ZA - Sudafrica 78
LT - Lituania 65
IQ - Iraq 62
CO - Colombia 60
CR - Costa Rica 55
SA - Arabia Saudita 55
EC - Ecuador 50
PH - Filippine 50
VE - Venezuela 48
CW - ???statistics.table.value.countryCode.CW??? 42
SC - Seychelles 39
SV - El Salvador 39
PK - Pakistan 37
GT - Guatemala 36
TG - Togo 36
BJ - Benin 34
HN - Honduras 34
AU - Australia 32
CL - Cile 30
UZ - Uzbekistan 29
MY - Malesia 27
PE - Perù 25
MA - Marocco 24
PR - Porto Rico 23
CZ - Repubblica Ceca 22
TT - Trinidad e Tobago 22
AE - Emirati Arabi Uniti 21
JO - Giordania 21
NP - Nepal 21
CH - Svizzera 20
DK - Danimarca 19
JM - Giamaica 19
NI - Nicaragua 19
DZ - Algeria 18
TW - Taiwan 18
GR - Grecia 17
KZ - Kazakistan 17
RO - Romania 17
EG - Egitto 16
KE - Kenya 16
PY - Paraguay 16
TN - Tunisia 16
GP - Guadalupe 15
AZ - Azerbaigian 14
LV - Lettonia 14
AL - Albania 13
EE - Estonia 13
NZ - Nuova Zelanda 12
OM - Oman 11
BG - Bulgaria 10
ET - Etiopia 10
SN - Senegal 10
DO - Repubblica Dominicana 9
PA - Panama 9
BB - Barbados 8
KG - Kirghizistan 8
UY - Uruguay 8
AM - Armenia 7
BO - Bolivia 7
RS - Serbia 7
SI - Slovenia 7
TH - Thailandia 7
BA - Bosnia-Erzegovina 6
NO - Norvegia 6
BY - Bielorussia 5
BZ - Belize 5
HU - Ungheria 5
IR - Iran 5
LB - Libano 5
Totale 61.274
Salva come PNG Salva come JPEG
Città #
Ashburn 3.469
Singapore 3.249
Dallas 2.858
Southend 2.814
Moscow 2.436
San Jose 2.288
Chandler 2.185
Jacksonville 1.965
Woodbridge 1.320
Hong Kong 1.163
Verona 1.146
Ann Arbor 1.110
Council Bluffs 795
Dublin 792
Houston 767
The Dalles 704
Beijing 557
Los Angeles 428
Ho Chi Minh City 364
New York 359
Santa Clara 308
Helsinki 299
Princeton 295
Lawrence 293
Hanoi 272
Milan 261
Wilmington 261
Nanjing 224
Jinan 196
Buffalo 185
Columbus 157
Sindelfingen 156
Seoul 152
São Paulo 148
Munich 147
Brussels 144
Boardman 140
Shenyang 137
Tokyo 137
Abuja 130
Hebei 113
Tianjin 107
Washington 104
Chicago 101
Redondo Beach 101
Rome 101
Montreal 94
Orem 93
Brooklyn 88
Frankfurt am Main 88
Denver 87
Guangzhou 86
London 85
Atlanta 84
San Francisco 79
Changsha 78
Nanchang 78
Warsaw 77
Toronto 75
Jiaxing 74
North Bergen 73
Seattle 73
Phoenix 66
Naples 65
Zhengzhou 63
Ningbo 62
Taizhou 62
Chennai 61
Stockholm 59
Annandale 58
Haikou 56
Amsterdam 53
Norwalk 53
Hangzhou 52
Johannesburg 52
Turku 51
Lancaster 50
San José 47
Vienna 47
Da Nang 46
Poplar 46
Shanghai 46
Agrolândia 45
Mexico City 45
Taiyuan 45
Des Moines 43
Madrid 43
Willemstad 42
Haiphong 41
Lappeenranta 41
Dong Ket 40
Falkenstein 40
Vilnius 38
Jakarta 37
Ankara 36
Lomé 36
Nuremberg 36
San Salvador 35
Turin 35
Bologna 34
Totale 38.557
Salva come PNG Salva come JPEG
Nome #
Learning-Enabled CPS for Edge-Cloud Computing 346
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 324
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 298
A 1000X Speed Up for Properties Completeness Evaluation 292
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 290
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 285
A CLP-based Functional ATPG for Extended FSMs 264
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 257
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 252
On the reuse of RTL IPs for SysML model generation 247
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 245
A Combined Approach to Validate the Design of Embedded Network Devices 242
Automatic HDL Conversion and Abstraction Methodologies 242
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 237
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 237
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 233
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 231
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 231
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 230
Hardware Design and Simulation for Verification 227
A SystemC-based framework for modeling and simulation of networked embedded systems 227
Modeling Network Embedded Systems with NS-2 and SystemC 226
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 226
Heterogeneous Co-Simulation of Networked Embedded Systems 225
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 225
A Middleware-Centric Design Flow for Networked Embedded Systems 223
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 223
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 222
A Machine Learning-Oriented Survey on Tiny Machine Learning 221
EFSM Manipulation to Increase High-Level ATPG 221
HIFSuite: Tools for HDL Code Conversion and Manipulation 220
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 218
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 213
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 212
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 210
Automatic Network Protocol Synthesis from UML Sequence Diagrams 208
Automatic abstraction of multi-discipline analog models for efficient functional simulation 207
A Fine-grained Performance Model for GPU Architectures 206
Enabling dynamic assertion-based verification of embedded software through model-driven design 205
A Fault Tolerant Incremental Design Methodology 205
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 204
Redundant Functional Faults Reduction by Saboteur Synthesis 202
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 202
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 201
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 200
Real-time Multi-camera 3D Human Pose Estimation at the Edge for Industrial Applications 197
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 197
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 197
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 197
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots 195
A SystemC-based Framework for Properties Incompleteness Evaluation 195
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 195
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 194
On the Reuse of RTL assertions in Systemc TLM Verification 194
DOHMO: Embedded Computer Vision in Co-Housing Scenarios 194
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation 193
A Contract-based Methodology for Production Lines Validation 193
HIFSuite: Tools for HDL Code Conversion and Manipulation 193
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 192
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 192
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 192
Refinement of UML/MARTE models for the design of networked embedded systems 192
A Common Manipulation Framework for Transistor-Level Languages 192
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 191
Test generation based on CLP 191
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 191
Analog fault testing through abstraction 191
Logic-Level Mapping of High-Level Faults 190
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 190
Combining Dynamic Slicing and Mutation Operators for ESL Correction 190
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 189
SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks 189
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 189
FATE: a Functional ATPG to Traverse unstabilized EFSMs 188
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 188
A Design Methodology of Multi-level Digital Twins 188
An Application of Genetic Algorithms and BDDs to Functional Testing 187
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 187
An EFSM-based Approach for Functional ATPG 186
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 186
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 186
Production Recipe Validation through Formalization and Digital Twin Generation 186
Functional Verification based on the EFSM Model 186
Cyber-physical Systems Integration in a Production Line Simulator 185
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 185
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms 184
A Methodology for Abstracting RTL Designs into TL Descriptions 183
ISS-Centric Modular HW/SW Co-Simulation 183
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 182
Communication-aware design flow for dependable networked embedded systems 182
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 181
UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems 181
A HW/SW co-simulation framework for the verification of multi-CPU systems 181
Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review 180
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 180
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 180
Model-Driven Design of Network Aspects of Distributed Embedded Systems 179
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework 179
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation 179
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 178
Totale 20.907
Salva come PNG Salva come JPEG
Categoria #
all - tutte 209.618
article - articoli 37.802
book - libri 916
conference - conferenze 162.830
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 8.070
Totale 419.236
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.519 0 0 0 0 329 81 46 107 72 80 202 602
2022/20236.003 409 638 563 1.041 570 1.222 84 377 654 203 173 69
2023/20243.042 156 241 333 361 376 431 140 193 45 200 393 173
2024/20258.209 388 783 332 1.318 284 345 231 556 1.115 476 967 1.414
2025/202625.424 1.726 1.143 2.606 4.075 6.252 1.611 2.379 1.388 1.687 1.425 432 700
2026/20275.609 352 777 1.128 2.670 682 0 0 0 0 0 0 0
Totale 62.096