CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.225
EU - Europa 18.508
AS - Asia 13.108
SA - Sud America 1.475
AF - Africa 409
OC - Oceania 36
Continente sconosciuto - Info sul continente non disponibili 11
Totale 55.772
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.806
RU - Federazione Russa 7.144
SG - Singapore 5.641
GB - Regno Unito 3.429
CN - Cina 3.321
IT - Italia 2.269
HK - Hong Kong 1.186
BR - Brasile 1.158
VN - Vietnam 1.154
SE - Svezia 1.117
DE - Germania 938
FI - Finlandia 896
FR - Francia 883
IE - Irlanda 805
KR - Corea 562
BD - Bangladesh 268
UA - Ucraina 244
CA - Canada 242
IN - India 191
JP - Giappone 152
BE - Belgio 150
NG - Nigeria 140
ES - Italia 124
AR - Argentina 123
TR - Turchia 107
PL - Polonia 106
NL - Olanda 103
MX - Messico 102
AT - Austria 83
ID - Indonesia 81
ZA - Sudafrica 73
IQ - Iraq 62
SA - Arabia Saudita 52
PH - Filippine 44
EC - Ecuador 42
CO - Colombia 39
TG - Togo 36
PK - Pakistan 35
VE - Venezuela 35
BJ - Benin 34
IL - Israele 30
UZ - Uzbekistan 29
LT - Lituania 28
AU - Australia 27
MA - Marocco 24
PE - Perù 24
CL - Cile 23
MY - Malesia 22
CZ - Repubblica Ceca 21
JO - Giordania 21
AE - Emirati Arabi Uniti 20
CH - Svizzera 20
NP - Nepal 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
AZ - Azerbaigian 14
LV - Lettonia 14
TW - Taiwan 14
AL - Albania 13
OM - Oman 11
BG - Bulgaria 10
EE - Estonia 10
ET - Etiopia 10
SN - Senegal 10
DO - Repubblica Dominicana 9
CR - Costa Rica 8
HN - Honduras 8
NZ - Nuova Zelanda 8
PA - Panama 8
UY - Uruguay 8
GT - Guatemala 7
KG - Kirghizistan 7
RS - Serbia 7
TH - Thailandia 7
TT - Trinidad e Tobago 7
BO - Bolivia 6
JM - Giamaica 6
BA - Bosnia-Erzegovina 5
BY - Bielorussia 5
HU - Ungheria 5
LB - Libano 5
LU - Lussemburgo 5
NI - Nicaragua 5
SI - Slovenia 5
AM - Armenia 4
BB - Barbados 4
EU - Europa 4
HR - Croazia 4
IR - Iran 4
NO - Norvegia 4
SK - Slovacchia (Repubblica Slovacca) 4
SY - Repubblica araba siriana 4
A2 - ???statistics.table.value.countryCode.A2??? 3
Totale 55.704
Salva come PNG Salva come JPEG
Città #
Singapore 3.235
Southend 2.814
Dallas 2.631
Ashburn 2.613
Moscow 2.436
Chandler 2.184
Jacksonville 1.961
San Jose 1.925
Woodbridge 1.319
Hong Kong 1.155
Verona 1.137
Ann Arbor 1.110
Dublin 791
Houston 747
The Dalles 702
Beijing 543
Los Angeles 396
Ho Chi Minh City 363
New York 336
Council Bluffs 320
Helsinki 297
Princeton 294
Lawrence 293
Hanoi 272
Wilmington 258
Nanjing 224
Santa Clara 206
Jinan 196
Milan 196
Buffalo 180
Sindelfingen 156
Columbus 150
Seoul 150
Brussels 144
Munich 142
Shenyang 137
São Paulo 137
Boardman 136
Abuja 130
Tokyo 129
Hebei 113
Tianjin 107
Redondo Beach 101
Guangzhou 86
Orem 85
Frankfurt am Main 84
London 83
Changsha 78
Nanchang 78
Warsaw 76
Montreal 75
Jiaxing 74
San Francisco 71
Brooklyn 70
Seattle 70
Chicago 69
Washington 65
Zhengzhou 63
Ningbo 62
Rome 62
Taizhou 62
Chennai 59
Stockholm 58
Haikou 56
Denver 55
Hangzhou 52
Johannesburg 52
Norwalk 52
Toronto 52
Turku 51
Atlanta 49
Lancaster 49
Amsterdam 48
Vienna 47
Poplar 46
Da Nang 45
Naples 45
Taiyuan 45
Des Moines 43
Mexico City 42
Shanghai 42
Haiphong 41
Lappeenranta 41
Dong Ket 40
Falkenstein 40
Madrid 39
Jakarta 37
Phoenix 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
Manchester 25
Totale 35.810
Salva come PNG Salva come JPEG
Nome #
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 305
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 283
A 1000X Speed Up for Properties Completeness Evaluation 271
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 261
A CLP-based Functional ATPG for Extended FSMs 249
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 246
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 236
On the reuse of RTL IPs for SysML model generation 235
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 234
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 232
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 226
A Combined Approach to Validate the Design of Embedded Network Devices 225
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 223
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 222
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 220
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 220
Automatic HDL Conversion and Abstraction Methodologies 217
Hardware Design and Simulation for Verification 216
A SystemC-based framework for modeling and simulation of networked embedded systems 214
Modeling Network Embedded Systems with NS-2 and SystemC 213
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 213
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 212
HIFSuite: Tools for HDL Code Conversion and Manipulation 212
Heterogeneous Co-Simulation of Networked Embedded Systems 211
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 207
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 206
Learning-Enabled CPS for Edge-Cloud Computing 205
A Middleware-Centric Design Flow for Networked Embedded Systems 205
EFSM Manipulation to Increase High-Level ATPG 201
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 201
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 200
Automatic abstraction of multi-discipline analog models for efficient functional simulation 200
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 200
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 197
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 196
A Fine-grained Performance Model for GPU Architectures 195
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
Automatic Network Protocol Synthesis from UML Sequence Diagrams 193
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
A Fault Tolerant Incremental Design Methodology 192
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 191
On the Reuse of RTL assertions in Systemc TLM Verification 188
A Machine Learning-Oriented Survey on Tiny Machine Learning 186
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 185
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 184
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 184
Analog fault testing through abstraction 183
A Contract-based Methodology for Production Lines Validation 183
Test generation based on CLP 182
HIFSuite: Tools for HDL Code Conversion and Manipulation 182
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 181
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 181
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation 181
A Common Manipulation Framework for Transistor-Level Languages 181
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 180
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 180
Logic-Level Mapping of High-Level Faults 180
Refinement of UML/MARTE models for the design of networked embedded systems 180
A SystemC-based Framework for Properties Incompleteness Evaluation 179
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 179
Functional Verification based on the EFSM Model 179
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 178
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 178
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 177
Cyber-physical Systems Integration in a Production Line Simulator 177
FATE: a Functional ATPG to Traverse unstabilized EFSMs 176
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 176
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 176
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 176
An EFSM-based Approach for Functional ATPG 174
Communication-aware design flow for dependable networked embedded systems 174
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 174
SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks 174
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 174
ISS-Centric Modular HW/SW Co-Simulation 172
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 171
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 171
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 171
Real-time Multi-camera 3D Human Pose Estimation at the Edge for Industrial Applications 170
An Application of Genetic Algorithms and BDDs to Functional Testing 170
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 170
Combining Dynamic Slicing and Mutation Operators for ESL Correction 170
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 170
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms 169
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots 169
An Optimized CLP-based Technique for Generating Propagation Sequences 169
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 169
Model-Driven Design of Network Aspects of Distributed Embedded Systems 169
A HW/SW co-simulation framework for the verification of multi-CPU systems 169
Efficient Simulation of Faults in Networked Cyber-Physical Systems 169
A Design Methodology of Multi-level Digital Twins 169
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 168
A Methodology for Abstracting RTL Designs into TL Descriptions 168
A Framework for Design Space Exploration and Performance Analysis of Networked Embedded Systems 168
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 168
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 167
A Unifying Flow to Ease Smart Systems Integration 167
A VHDL Error Simulator for Functional Test Generation 166
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 166
Totale 19.310
Salva come PNG Salva come JPEG
Categoria #
all - tutte 184.489
article - articoli 32.861
book - libri 824
conference - conferenze 143.601
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.203
Totale 368.978
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.690 169 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 1 0 0 0 0 0 0 0 0 0 0 0
Totale 56.488