CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.488
EU - Europa 18.336
AS - Asia 12.860
SA - Sud America 1.459
AF - Africa 409
OC - Oceania 35
Continente sconosciuto - Info sul continente non disponibili 11
Totale 54.598
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.115
RU - Federazione Russa 7.144
SG - Singapore 5.615
GB - Regno Unito 3.429
CN - Cina 3.283
IT - Italia 2.110
HK - Hong Kong 1.180
VN - Vietnam 1.154
BR - Brasile 1.153
SE - Svezia 1.115
DE - Germania 938
FI - Finlandia 896
FR - Francia 883
IE - Irlanda 804
KR - Corea 560
UA - Ucraina 244
CA - Canada 211
IN - India 191
JP - Giappone 151
BE - Belgio 149
NG - Nigeria 140
ES - Italia 123
AR - Argentina 121
TR - Turchia 107
PL - Polonia 105
NL - Olanda 101
MX - Messico 99
BD - Bangladesh 97
AT - Austria 83
ID - Indonesia 81
ZA - Sudafrica 73
IQ - Iraq 62
SA - Arabia Saudita 52
PH - Filippine 43
EC - Ecuador 42
CO - Colombia 38
TG - Togo 36
PK - Pakistan 35
BJ - Benin 34
VE - Venezuela 34
IL - Israele 30
UZ - Uzbekistan 29
LT - Lituania 28
AU - Australia 26
MA - Marocco 24
PE - Perù 23
CL - Cile 21
JO - Giordania 21
MY - Malesia 21
AE - Emirati Arabi Uniti 20
CZ - Repubblica Ceca 20
CH - Svizzera 19
NP - Nepal 19
DZ - Algeria 18
GR - Grecia 17
KZ - Kazakistan 17
TN - Tunisia 16
DK - Danimarca 15
EG - Egitto 15
KE - Kenya 15
RO - Romania 15
AZ - Azerbaigian 14
LV - Lettonia 14
PY - Paraguay 14
AL - Albania 13
TW - Taiwan 13
OM - Oman 11
BG - Bulgaria 10
EE - Estonia 10
ET - Etiopia 10
SN - Senegal 10
DO - Repubblica Dominicana 9
NZ - Nuova Zelanda 8
PA - Panama 8
CR - Costa Rica 7
KG - Kirghizistan 7
TH - Thailandia 7
UY - Uruguay 7
HN - Honduras 6
RS - Serbia 6
TT - Trinidad e Tobago 6
BA - Bosnia-Erzegovina 5
BO - Bolivia 5
BY - Bielorussia 5
HU - Ungheria 5
LB - Libano 5
LU - Lussemburgo 5
NI - Nicaragua 5
SI - Slovenia 5
AM - Armenia 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
BB - Barbados 3
GD - Grenada 3
GT - Guatemala 3
Totale 54.530
Salva come PNG Salva come JPEG
Città #
Singapore 3.225
Southend 2.814
Dallas 2.627
Ashburn 2.526
Moscow 2.436
Chandler 2.184
Jacksonville 1.960
San Jose 1.812
Woodbridge 1.318
Hong Kong 1.149
Verona 1.129
Ann Arbor 1.110
Dublin 791
Houston 743
The Dalles 702
Beijing 531
Los Angeles 384
Ho Chi Minh City 363
New York 308
Helsinki 297
Lawrence 293
Princeton 293
Hanoi 272
Wilmington 258
Nanjing 223
Jinan 196
Santa Clara 195
Milan 185
Buffalo 171
Sindelfingen 156
Columbus 150
Seoul 149
Brussels 144
Munich 142
Shenyang 137
São Paulo 136
Boardman 135
Abuja 130
Tokyo 128
Hebei 113
Tianjin 107
Redondo Beach 101
Frankfurt am Main 84
Guangzhou 84
Orem 84
Council Bluffs 83
London 83
Changsha 78
Nanchang 78
Warsaw 76
Jiaxing 74
Montreal 71
Brooklyn 68
Seattle 67
Chicago 66
San Francisco 66
Zhengzhou 63
Ningbo 62
Taizhou 62
Washington 62
Chennai 59
Stockholm 58
Haikou 56
Denver 54
Hangzhou 52
Johannesburg 52
Norwalk 51
Turku 51
Lancaster 49
Rome 49
Amsterdam 48
Vienna 47
Atlanta 46
Poplar 46
Da Nang 45
Taiyuan 45
Toronto 45
Des Moines 43
Shanghai 42
Haiphong 41
Lappeenranta 41
Dong Ket 40
Falkenstein 40
Mexico City 40
Madrid 39
Naples 38
Jakarta 37
Lomé 36
Nuremberg 36
Phoenix 36
Ankara 35
Cotonou 34
Fuzhou 31
Rio de Janeiro 31
Kent 30
Boston 29
Mumbai 26
Tashkent 26
Manchester 25
Brasília 24
Totale 35.187
Salva come PNG Salva come JPEG
Nome #
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 299
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 280
A 1000X Speed Up for Properties Completeness Evaluation 271
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 256
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 245
A CLP-based Functional ATPG for Extended FSMs 243
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 235
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 232
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 230
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 226
A Combined Approach to Validate the Design of Embedded Network Devices 223
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 219
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 219
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 218
Hardware Design and Simulation for Verification 216
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 216
Modeling Network Embedded Systems with NS-2 and SystemC 212
Automatic HDL Conversion and Abstraction Methodologies 212
Heterogeneous Co-Simulation of Networked Embedded Systems 211
HIFSuite: Tools for HDL Code Conversion and Manipulation 211
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 211
A SystemC-based framework for modeling and simulation of networked embedded systems 211
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 209
On the reuse of RTL IPs for SysML model generation 207
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 205
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 202
A Middleware-Centric Design Flow for Networked Embedded Systems 201
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 199
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 199
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 199
Automatic abstraction of multi-discipline analog models for efficient functional simulation 198
A Fine-grained Performance Model for GPU Architectures 195
Enabling dynamic assertion-based verification of embedded software through model-driven design 194
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 193
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 191
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 191
Automatic Network Protocol Synthesis from UML Sequence Diagrams 190
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 187
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 185
A Fault Tolerant Incremental Design Methodology 185
On the Reuse of RTL assertions in Systemc TLM Verification 184
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 183
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 182
Analog fault testing through abstraction 182
A Common Manipulation Framework for Transistor-Level Languages 181
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 180
HIFSuite: Tools for HDL Code Conversion and Manipulation 180
Refinement of UML/MARTE models for the design of networked embedded systems 180
A Machine Learning-Oriented Survey on Tiny Machine Learning 179
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 179
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 179
Logic-Level Mapping of High-Level Faults 179
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 179
Functional Verification based on the EFSM Model 179
A SystemC-based Framework for Properties Incompleteness Evaluation 178
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 177
Test generation based on CLP 177
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 177
A Contract-based Methodology for Production Lines Validation 177
EFSM Manipulation to Increase High-Level ATPG 176
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 176
FATE: a Functional ATPG to Traverse unstabilized EFSMs 175
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 175
Cyber-physical Systems Integration in a Production Line Simulator 175
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation 175
SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks 174
An EFSM-based Approach for Functional ATPG 173
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 173
Communication-aware design flow for dependable networked embedded systems 172
ISS-Centric Modular HW/SW Co-Simulation 172
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 172
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 171
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 171
An Application of Genetic Algorithms and BDDs to Functional Testing 170
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 169
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 169
Model-Driven Design of Network Aspects of Distributed Embedded Systems 169
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots 168
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 168
Combining Dynamic Slicing and Mutation Operators for ESL Correction 168
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 168
A Methodology for Abstracting RTL Designs into TL Descriptions 167
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 167
Efficient Simulation of Faults in Networked Cyber-Physical Systems 167
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 166
A Unifying Flow to Ease Smart Systems Integration 166
A VHDL Error Simulator for Functional Test Generation 165
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 165
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 165
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 165
A HW/SW co-simulation framework for the verification of multi-CPU systems 165
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 165
An Optimized CLP-based Technique for Generating Propagation Sequences 164
Energy Aware TLM Platform Simulation via RTL Abstraction 164
Modeling and Analysis of Heterogeneous Industrial Networks Architectures 164
A Design Methodology of Multi-level Digital Twins 164
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 163
Virtual in-circuit emulation for timing accurate system prototyping 163
UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems 163
A Framework for Design Space Exploration and Performance Analysis of Networked Embedded Systems 163
Totale 18.948
Salva come PNG Salva come JPEG
Categoria #
all - tutte 173.317
article - articoli 30.790
book - libri 784
conference - conferenze 134.914
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.829
Totale 346.634
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021437 0 0 0 0 0 0 0 0 0 38 272 127
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/202624.216 1.726 1.143 2.606 4.075 6.252 1.611 2.379 1.388 1.687 1.349 0 0
Totale 55.279