CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 23.096
EU - Europa 18.575
AS - Asia 13.236
SA - Sud America 1.493
Continente sconosciuto - Info sul continente non disponibili 727
AF - Africa 411
OC - Oceania 45
Totale 57.583
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 22.640
RU - Federazione Russa 7.146
SG - Singapore 5.683
GB - Regno Unito 3.430
CN - Cina 3.349
IT - Italia 2.316
HK - Hong Kong 1.197
BR - Brasile 1.165
VN - Vietnam 1.155
SE - Svezia 1.118
DE - Germania 939
FI - Finlandia 896
FR - Francia 891
IE - Irlanda 805
KR - Corea 565
BD - Bangladesh 285
CA - Canada 255
UA - Ucraina 244
IN - India 204
JP - Giappone 157
BE - Belgio 150
NG - Nigeria 140
AR - Argentina 124
ES - Italia 124
NL - Olanda 109
TR - Turchia 108
PL - Polonia 106
MX - Messico 104
AT - Austria 83
ID - Indonesia 82
ZA - Sudafrica 73
IQ - Iraq 62
SA - Arabia Saudita 52
PH - Filippine 44
CO - Colombia 43
EC - Ecuador 43
TG - Togo 36
VE - Venezuela 36
PK - Pakistan 35
BJ - Benin 34
AU - Australia 32
IL - Israele 32
UZ - Uzbekistan 29
LT - Lituania 28
CL - Cile 26
MA - Marocco 24
PE - Perù 24
MY - Malesia 22
AE - Emirati Arabi Uniti 21
CZ - Repubblica Ceca 21
JO - Giordania 21
NP - Nepal 21
CH - Svizzera 20
DZ - Algeria 18
GR - Grecia 17
KZ - Kazakistan 17
RO - Romania 17
PY - Paraguay 16
TN - Tunisia 16
DK - Danimarca 15
EG - Egitto 15
KE - Kenya 15
TW - Taiwan 15
AZ - Azerbaigian 14
LV - Lettonia 14
AL - Albania 13
CR - Costa Rica 12
NZ - Nuova Zelanda 12
HN - Honduras 11
JM - Giamaica 11
OM - Oman 11
BG - Bulgaria 10
EE - Estonia 10
ET - Etiopia 10
GT - Guatemala 10
SN - Senegal 10
DO - Repubblica Dominicana 9
PA - Panama 9
TT - Trinidad e Tobago 9
UY - Uruguay 8
KG - Kirghizistan 7
RS - Serbia 7
TH - Thailandia 7
BO - Bolivia 6
BA - Bosnia-Erzegovina 5
BY - Bielorussia 5
HU - Ungheria 5
IR - Iran 5
LB - Libano 5
LU - Lussemburgo 5
NI - Nicaragua 5
SI - Slovenia 5
SK - Slovacchia (Repubblica Slovacca) 5
AM - Armenia 4
BB - Barbados 4
EU - Europa 4
HR - Croazia 4
NO - Norvegia 4
SC - Seychelles 4
SY - Repubblica araba siriana 4
Totale 56.793
Salva come PNG Salva come JPEG
Città #
Singapore 3.243
Southend 2.814
Ashburn 2.665
Dallas 2.634
Moscow 2.436
Chandler 2.185
Jacksonville 1.962
San Jose 1.959
Woodbridge 1.319
Hong Kong 1.162
Verona 1.140
Ann Arbor 1.110
Dublin 792
Houston 751
The Dalles 702
Council Bluffs 701
Beijing 557
Los Angeles 398
Ho Chi Minh City 363
New York 340
Helsinki 297
Princeton 294
Lawrence 293
Hanoi 272
Wilmington 258
Santa Clara 230
Nanjing 224
Milan 199
Jinan 196
Buffalo 182
Sindelfingen 156
Seoul 151
Columbus 150
Brussels 144
Munich 142
Shenyang 137
São Paulo 137
Boardman 136
Abuja 130
Tokyo 129
Hebei 113
Tianjin 107
Redondo Beach 101
Orem 88
Guangzhou 86
Frankfurt am Main 85
London 84
Changsha 78
Nanchang 78
Montreal 76
Warsaw 76
San Francisco 75
Brooklyn 74
Jiaxing 74
Rome 71
Chicago 70
Seattle 70
Washington 68
Zhengzhou 63
Ningbo 62
Taizhou 62
Chennai 61
Stockholm 59
Atlanta 56
Denver 56
Haikou 56
Toronto 53
Hangzhou 52
Johannesburg 52
Norwalk 52
Turku 51
Amsterdam 49
Lancaster 49
Phoenix 49
Naples 48
Vienna 47
Da Nang 46
Poplar 46
Shanghai 45
Taiyuan 45
Mexico City 44
Des Moines 43
Haiphong 41
Lappeenranta 41
Dong Ket 40
Falkenstein 40
Madrid 39
Jakarta 37
Lomé 36
Nuremberg 36
Ankara 35
Cotonou 34
Fuzhou 31
Rio de Janeiro 31
Kent 30
Boston 29
Turin 29
Mumbai 26
Tashkent 26
Bologna 25
Totale 36.416
Salva come PNG Salva come JPEG
Nome #
Learning-Enabled CPS for Edge-Cloud Computing 330
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 315
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 286
A 1000X Speed Up for Properties Completeness Evaluation 273
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 265
A CLP-based Functional ATPG for Extended FSMs 251
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 249
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 237
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 237
On the reuse of RTL IPs for SysML model generation 237
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 234
A Combined Approach to Validate the Design of Embedded Network Devices 227
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 227
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 225
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 224
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 223
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 221
Automatic HDL Conversion and Abstraction Methodologies 220
Hardware Design and Simulation for Verification 217
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 217
A SystemC-based framework for modeling and simulation of networked embedded systems 217
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 216
Modeling Network Embedded Systems with NS-2 and SystemC 215
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 214
HIFSuite: Tools for HDL Code Conversion and Manipulation 213
Heterogeneous Co-Simulation of Networked Embedded Systems 212
A Middleware-Centric Design Flow for Networked Embedded Systems 209
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 208
EFSM Manipulation to Increase High-Level ATPG 205
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 203
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 203
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 202
Automatic abstraction of multi-discipline analog models for efficient functional simulation 201
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 201
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 199
Automatic Network Protocol Synthesis from UML Sequence Diagrams 198
Enabling dynamic assertion-based verification of embedded software through model-driven design 197
A Fine-grained Performance Model for GPU Architectures 195
A Fault Tolerant Incremental Design Methodology 194
A Machine Learning-Oriented Survey on Tiny Machine Learning 192
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 192
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 192
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 192
On the Reuse of RTL assertions in Systemc TLM Verification 188
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 187
Test generation based on CLP 186
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 185
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 185
A SystemC-based Framework for Properties Incompleteness Evaluation 184
Analog fault testing through abstraction 184
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation 184
A Contract-based Methodology for Production Lines Validation 184
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 183
HIFSuite: Tools for HDL Code Conversion and Manipulation 183
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 182
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 182
Logic-Level Mapping of High-Level Faults 182
Refinement of UML/MARTE models for the design of networked embedded systems 182
A Common Manipulation Framework for Transistor-Level Languages 182
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 181
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 180
Functional Verification based on the EFSM Model 180
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 180
FATE: a Functional ATPG to Traverse unstabilized EFSMs 179
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 179
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 179
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 179
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 179
Cyber-physical Systems Integration in a Production Line Simulator 179
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 178
Real-time Multi-camera 3D Human Pose Estimation at the Edge for Industrial Applications 176
An EFSM-based Approach for Functional ATPG 176
Communication-aware design flow for dependable networked embedded systems 176
Production Recipe Validation through Formalization and Digital Twin Generation 176
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 175
SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks 175
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 175
An Application of Genetic Algorithms and BDDs to Functional Testing 174
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 173
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 173
Combining Dynamic Slicing and Mutation Operators for ESL Correction 173
ISS-Centric Modular HW/SW Co-Simulation 173
DOHMO: Embedded Computer Vision in Co-Housing Scenarios 173
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 172
A HW/SW co-simulation framework for the verification of multi-CPU systems 172
Efficient Simulation of Faults in Networked Cyber-Physical Systems 172
A Design Methodology of Multi-level Digital Twins 172
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms 171
A Methodology for Abstracting RTL Designs into TL Descriptions 171
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 171
A Framework for Design Space Exploration and Performance Analysis of Networked Embedded Systems 171
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 171
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 171
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots 170
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 170
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 170
An Optimized CLP-based Technique for Generating Propagation Sequences 170
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 170
Model-Driven Design of Network Aspects of Distributed Embedded Systems 170
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 169
Totale 19.672
Salva come PNG Salva come JPEG
Categoria #
all - tutte 193.706
article - articoli 34.516
book - libri 854
conference - conferenze 150.829
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.507
Totale 387.412
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.521 0 790 18 194 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/20271.096 352 744 0 0 0 0 0 0 0 0 0 0
Totale 57.583