CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.881
EU - Europa 17.475
AS - Asia 10.692
SA - Sud America 1.299
AF - Africa 217
OC - Oceania 33
Continente sconosciuto - Info sul continente non disponibili 9
Totale 47.606
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.572
RU - Federazione Russa 7.136
SG - Singapore 4.732
GB - Regno Unito 3.387
CN - Cina 3.080
IT - Italia 1.448
SE - Svezia 1.108
HK - Hong Kong 1.086
BR - Brasile 1.060
DE - Germania 894
FI - Finlandia 886
FR - Francia 857
IE - Irlanda 795
VN - Vietnam 624
KR - Corea 471
UA - Ucraina 237
CA - Canada 187
BE - Belgio 149
JP - Giappone 126
IN - India 120
ES - Italia 114
AR - Argentina 105
PL - Polonia 101
NL - Olanda 94
TR - Turchia 86
AT - Austria 81
MX - Messico 80
ID - Indonesia 68
ZA - Sudafrica 59
BD - Bangladesh 56
TG - Togo 36
BJ - Benin 34
EC - Ecuador 31
LT - Lituania 27
AU - Australia 25
IL - Israele 25
IQ - Iraq 25
PH - Filippine 25
SA - Arabia Saudita 24
CO - Colombia 23
MA - Marocco 22
VE - Venezuela 22
PE - Perù 20
CZ - Repubblica Ceca 18
CH - Svizzera 17
PK - Pakistan 17
UZ - Uzbekistan 17
AE - Emirati Arabi Uniti 16
CL - Cile 16
GR - Grecia 16
JO - Giordania 15
DK - Danimarca 13
LV - Lettonia 13
EG - Egitto 12
RO - Romania 12
TW - Taiwan 12
NP - Nepal 11
PY - Paraguay 11
TN - Tunisia 11
BG - Bulgaria 10
DZ - Algeria 10
EE - Estonia 10
AL - Albania 9
AZ - Azerbaigian 9
KZ - Kazakistan 9
KE - Kenya 7
NZ - Nuova Zelanda 7
PA - Panama 7
DO - Repubblica Dominicana 6
UY - Uruguay 6
BA - Bosnia-Erzegovina 5
ET - Etiopia 5
LU - Lussemburgo 5
SI - Slovenia 5
BO - Bolivia 4
BY - Bielorussia 4
CR - Costa Rica 4
EU - Europa 4
HN - Honduras 4
HU - Ungheria 4
IR - Iran 4
NG - Nigeria 4
RS - Serbia 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AM - Armenia 3
GT - Guatemala 3
JM - Giamaica 3
KG - Kirghizistan 3
LB - Libano 3
LK - Sri Lanka 3
NO - Norvegia 3
TH - Thailandia 3
BB - Barbados 2
DM - Dominica 2
GD - Grenada 2
GE - Georgia 2
HR - Croazia 2
IS - Islanda 2
Totale 47.558
Salva come PNG Salva come JPEG
Città #
Southend 2.814
Dallas 2.618
Singapore 2.467
Moscow 2.435
Chandler 2.184
Jacksonville 1.960
Ashburn 1.476
Woodbridge 1.318
Ann Arbor 1.110
Hong Kong 1.067
Dublin 783
Houston 737
Verona 559
Beijing 524
The Dalles 440
Los Angeles 370
Helsinki 293
Lawrence 293
Princeton 293
New York 289
Wilmington 258
Nanjing 223
Ho Chi Minh City 205
Jinan 196
Milan 179
Buffalo 169
Santa Clara 167
Sindelfingen 156
Columbus 150
Seoul 146
Brussels 144
Munich 141
Shenyang 137
Boardman 134
São Paulo 127
Hanoi 124
Hebei 113
Tokyo 105
Tianjin 104
Redondo Beach 101
London 79
Changsha 78
Guangzhou 78
Nanchang 78
Jiaxing 74
Warsaw 74
Brooklyn 66
Seattle 65
Zhengzhou 63
Ningbo 62
Montreal 61
Taizhou 61
San Francisco 60
Washington 60
Chicago 58
Frankfurt am Main 57
Haikou 56
Stockholm 56
Denver 52
Norwalk 51
Turku 51
Orem 50
Hangzhou 49
Johannesburg 49
Lancaster 49
Council Bluffs 46
Vienna 46
Rome 45
Taiyuan 45
Chennai 44
Poplar 44
Amsterdam 43
Toronto 42
Dong Ket 40
Falkenstein 40
Atlanta 39
Madrid 37
Lappeenranta 36
Lomé 36
Shanghai 36
Jakarta 35
Mexico City 35
Naples 35
Ankara 34
Cotonou 34
Des Moines 34
Nuremberg 34
Fuzhou 31
Kent 30
Boston 29
Phoenix 28
Rio de Janeiro 27
Haiphong 26
Brasília 24
Fairfield 23
Manchester 22
Turin 22
Belo Horizonte 21
Lanzhou 21
Redwood City 21
Totale 29.831
Salva come PNG Salva come JPEG
Nome #
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 276
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 265
A 1000X Speed Up for Properties Completeness Evaluation 243
A CLP-based Functional ATPG for Extended FSMs 226
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 220
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 218
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 216
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 212
A Combined Approach to Validate the Design of Embedded Network Devices 210
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 210
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 209
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 205
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 202
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 202
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 200
Hardware Design and Simulation for Verification 197
A SystemC-based framework for modeling and simulation of networked embedded systems 196
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 192
Automatic HDL Conversion and Abstraction Methodologies 190
On the reuse of RTL IPs for SysML model generation 190
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 190
Heterogeneous Co-Simulation of Networked Embedded Systems 189
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 187
Modeling Network Embedded Systems with NS-2 and SystemC 186
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 186
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 186
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 180
A Middleware-Centric Design Flow for Networked Embedded Systems 178
Enabling dynamic assertion-based verification of embedded software through model-driven design 178
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 178
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 177
Automatic Network Protocol Synthesis from UML Sequence Diagrams 175
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 175
Automatic abstraction of multi-discipline analog models for efficient functional simulation 174
A Fine-grained Performance Model for GPU Architectures 174
HIFSuite: Tools for HDL Code Conversion and Manipulation 173
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 167
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 167
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 166
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 165
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 165
Functional Verification based on the EFSM Model 165
EFSM Manipulation to Increase High-Level ATPG 164
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 164
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 164
FATE: a Functional ATPG to Traverse unstabilized EFSMs 163
Logic-Level Mapping of High-Level Faults 163
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 162
Communication-aware design flow for dependable networked embedded systems 162
A Fault Tolerant Incremental Design Methodology 162
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 161
Refinement of UML/MARTE models for the design of networked embedded systems 161
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 160
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 160
On the Reuse of RTL assertions in Systemc TLM Verification 160
Analog fault testing through abstraction 159
A Common Manipulation Framework for Transistor-Level Languages 159
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 159
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 158
A SystemC-based Framework for Properties Incompleteness Evaluation 158
Combining Dynamic Slicing and Mutation Operators for ESL Correction 158
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 157
Cyber-physical Systems Integration in a Production Line Simulator 157
HIFSuite: Tools for HDL Code Conversion and Manipulation 157
An Application of Genetic Algorithms and BDDs to Functional Testing 156
UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems 155
An EFSM-based Approach for Functional ATPG 154
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 154
Test generation based on CLP 154
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 154
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 153
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 153
A Contract-based Methodology for Production Lines Validation 153
An Optimized CLP-based Technique for Generating Propagation Sequences 152
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 152
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 152
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 152
ISS-Centric Modular HW/SW Co-Simulation 152
Redundant Functional Faults Reduction by Saboteur Synthesis 151
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 151
Model-Driven Design of Network Aspects of Distributed Embedded Systems 151
A HW/SW co-simulation framework for the verification of multi-CPU systems 151
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 150
A Unifying Flow to Ease Smart Systems Integration 150
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 149
Embedded SW Design Issues for Distributed Applications on Mobile Terminals 149
Energy Aware TLM Platform Simulation via RTL Abstraction 149
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 149
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 148
Combining Symbolic and Genetic Techniques for Efficient Sequential Circuit Test Generation 147
A Methodology for Abstracting RTL Designs into TL Descriptions 147
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 147
On the Reuse of VHDL Modules into SystemC Design 146
A WEB-CAD Methodology for IP-Core Analysis and Simulation 146
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 146
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures 146
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 146
A Verification Methodology for Reconfigurable Systems 146
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots 145
Effective EFSM generation for HW/SW-design verification 145
Totale 17.089
Salva come PNG Salva come JPEG
Categoria #
all - tutte 159.710
article - articoli 28.421
book - libri 730
conference - conferenze 124.235
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.324
Totale 319.420
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.239 0 0 0 0 0 363 45 200 194 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/202617.221 1.726 1.143 2.606 4.075 6.252 1.419 0 0 0 0 0 0
Totale 48.284