CATALOGO DEI PRODOTTI DELLA RICERCA

FUMMI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.926
EU - Europa 10.871
AS - Asia 8.126
SA - Sud America 1.016
AF - Africa 116
OC - Oceania 30
Continente sconosciuto - Info sul continente non disponibili 8
Totale 36.093
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.743
SG - Singapore 3.343
GB - Regno Unito 3.247
CN - Cina 2.650
IT - Italia 1.406
SE - Svezia 1.075
HK - Hong Kong 1.073
RU - Federazione Russa 910
BR - Brasile 892
FI - Finlandia 882
DE - Germania 865
FR - Francia 857
IE - Irlanda 794
KR - Corea 436
UA - Ucraina 232
VN - Vietnam 159
BE - Belgio 148
CA - Canada 121
JP - Giappone 92
NL - Olanda 85
ES - Italia 78
AT - Austria 66
IN - India 65
TR - Turchia 65
PL - Polonia 61
AR - Argentina 45
ID - Indonesia 44
TG - Togo 36
MX - Messico 35
BD - Bangladesh 31
PH - Filippine 25
AU - Australia 23
ZA - Sudafrica 23
SA - Arabia Saudita 20
CZ - Repubblica Ceca 18
CH - Svizzera 17
EC - Ecuador 17
GR - Grecia 16
IL - Israele 16
IQ - Iraq 16
MA - Marocco 16
LT - Lituania 15
VE - Venezuela 15
CO - Colombia 14
DK - Danimarca 13
LV - Lettonia 12
EG - Egitto 11
RO - Romania 11
AE - Emirati Arabi Uniti 10
BG - Bulgaria 10
CL - Cile 10
EE - Estonia 10
PK - Pakistan 10
UZ - Uzbekistan 10
TW - Taiwan 9
AL - Albania 8
NP - Nepal 8
PE - Perù 8
TN - Tunisia 8
AZ - Azerbaigian 7
JO - Giordania 7
PY - Paraguay 7
KZ - Kazakistan 6
NZ - Nuova Zelanda 6
PA - Panama 6
LU - Lussemburgo 5
CR - Costa Rica 4
EU - Europa 4
HU - Ungheria 4
RS - Serbia 4
SI - Slovenia 4
SK - Slovacchia (Repubblica Slovacca) 4
UY - Uruguay 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BO - Bolivia 3
DO - Repubblica Dominicana 3
ET - Etiopia 3
KG - Kirghizistan 3
LK - Sri Lanka 3
NO - Norvegia 3
TH - Thailandia 3
AM - Armenia 2
BY - Bielorussia 2
DZ - Algeria 2
HN - Honduras 2
HR - Croazia 2
IR - Iran 2
IS - Islanda 2
JM - Giamaica 2
KE - Kenya 2
KH - Cambogia 2
MO - Macao, regione amministrativa speciale della Cina 2
NI - Nicaragua 2
SC - Seychelles 2
SN - Senegal 2
TT - Trinidad e Tobago 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
BH - Bahrain 1
Totale 36.065
Salva come PNG Salva come JPEG
Città #
Southend 2.814
Dallas 2.604
Chandler 2.184
Jacksonville 1.960
Singapore 1.693
Woodbridge 1.318
Ann Arbor 1.109
Hong Kong 1.055
Ashburn 839
Dublin 781
Houston 706
Verona 545
Beijing 383
Lawrence 293
Princeton 293
Helsinki 291
The Dalles 266
Wilmington 258
Los Angeles 227
Nanjing 222
Jinan 196
Milan 175
New York 175
Buffalo 156
Sindelfingen 156
Santa Clara 152
Columbus 150
Seoul 146
Brussels 143
Munich 141
Shenyang 137
Boardman 126
Hebei 113
Tianjin 89
São Paulo 85
Nanchang 78
Changsha 77
Redondo Beach 77
Jiaxing 74
Guangzhou 72
Tokyo 71
Ningbo 62
Taizhou 61
Zhengzhou 61
Washington 60
Haikou 56
Moscow 56
Seattle 56
San Francisco 55
Norwalk 51
Turku 51
Frankfurt am Main 50
Hangzhou 49
Lancaster 49
Taiyuan 45
Chicago 42
Council Bluffs 41
Dong Ket 40
Madrid 37
Amsterdam 36
Lomé 36
Rome 36
Toronto 36
Vienna 36
Naples 35
Warsaw 35
Lappeenranta 34
Ho Chi Minh City 33
London 33
Brooklyn 32
Nuremberg 32
Fuzhou 31
Jakarta 30
Kent 30
Shanghai 29
Falkenstein 27
Rio de Janeiro 26
Fairfield 23
Stockholm 23
Atlanta 22
Hanoi 22
Montreal 22
Brasília 21
Lanzhou 21
Redwood City 21
Trento 21
Boston 20
Belo Horizonte 19
Roubaix 19
Turin 19
Chions 18
Johannesburg 17
Ottawa 17
Istanbul 16
Auburn Hills 15
Edinburgh 15
Mexico City 15
Modena 15
Shenzhen 15
Zurich 15
Totale 24.370
Salva come PNG Salva come JPEG
Nome #
Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies 243
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 232
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 177
Hardware Design and Simulation for Verification 176
A CLP-based Functional ATPG for Extended FSMs 176
A 1000X Speed Up for Properties Completeness Evaluation 171
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 170
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 165
Model-Driven Design for the Development of Multi-Platform Smartphone Applications 163
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 162
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 158
A Combined Approach to Validate the Design of Embedded Network Devices 157
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture 155
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 155
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 154
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 154
From Scratch to Twin: The Design of Your First Human-Centric Digital Twin 153
Modeling Network Embedded Systems with NS-2 and SystemC 152
On the reuse of RTL IPs for SysML model generation 150
A SystemC-based framework for modeling and simulation of networked embedded systems 150
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 150
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 147
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 146
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems 146
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 145
Automatic HDL Conversion and Abstraction Methodologies 143
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 141
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 141
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 138
Automatic abstraction of multi-discipline analog models for efficient functional simulation 136
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 135
Enabling dynamic assertion-based verification of embedded software through model-driven design 135
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 135
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 134
Logic-Level Mapping of High-Level Faults 133
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 132
Automatic Network Protocol Synthesis from UML Sequence Diagrams 132
Heterogeneous Co-Simulation of Networked Embedded Systems 131
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 131
Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal 130
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 129
HIFSuite: Tools for HDL Code Conversion and Manipulation 129
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 129
Functional Verification based on the EFSM Model 129
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 128
A Middleware-Centric Design Flow for Networked Embedded Systems 126
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design 126
On the Reuse of RTL assertions in Systemc TLM Verification 126
A Fine-grained Performance Model for GPU Architectures 126
An EFSM-based Approach for Functional ATPG 125
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 125
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 125
Hardware Synthesis from Software-Oriented UML Descriptions 125
A WEB-CAD Methodology for IP-Core Analysis and Simulation 124
An Application of Genetic Algorithms and BDDs to Functional Testing 124
Combining Symbolic and Genetic Techniques for Efficient Sequential Circuit Test Generation 124
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 124
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework 124
Redundant Functional Faults Reduction by Saboteur Synthesis 123
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 123
Analog fault testing through abstraction 123
A Fault Tolerant Incremental Design Methodology 123
A SystemC-based Framework for Properties Incompleteness Evaluation 122
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures 122
UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems 122
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 122
Refinement of UML/MARTE models for the design of networked embedded systems 122
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 121
Functional Design for Testability of Control-Dominated Architectures 120
On the Reuse of VHDL Modules into SystemC Design 120
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems 120
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip 120
Energy Aware TLM Platform Simulation via RTL Abstraction 120
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 120
A Verification Methodology for Reconfigurable Systems 120
Communication-aware design flow for dependable networked embedded systems 119
Effective EFSM generation for HW/SW-design verification 119
Combining Dynamic Slicing and Mutation Operators for ESL Correction 119
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 119
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems 118
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 118
SystemC: A Homogenous Environment to Test Embedded Systems 117
Virtual in-circuit emulation for timing accurate system prototyping 117
Symbad: Formal Verification in System Level-based Design (Extended Version) 117
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification 117
An Error Simulation Based Approach to Measure Error Coverage of Formal Properties 116
Model-Driven Design of Network Aspects of Distributed Embedded Systems 116
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 116
Modeling and Analysis of Heterogeneous Industrial Networks Architectures 116
A Methodology for Abstracting RTL Designs into TL Descriptions 115
A Common Manipulation Framework for Transistor-Level Languages 115
Power Characterization of LFSRs 114
Mixing ATPG and Property Checking for Testing HW/SW Interfaces 114
On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties 114
A Smooth Refinement Flow for Co-designing HW and SW Threads 114
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis 114
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 114
FATE: a Functional ATPG to Traverse unstabilized EFSMs 113
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 113
Cyber-physical Systems Integration in a Production Line Simulator 113
Totale 13.362
Salva come PNG Salva come JPEG
Categoria #
all - tutte 138.589
article - articoli 24.877
book - libri 661
conference - conferenze 107.512
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.539
Totale 277.178
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.840 0 0 0 287 314 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/20265.705 1.726 1.143 2.606 230 0 0 0 0 0 0 0 0
Totale 36.768