CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.013
EU - Europa 3.260
AS - Asia 2.145
SA - Sud America 227
Continente sconosciuto - Info sul continente non disponibili 177
AF - Africa 65
OC - Oceania 13
Totale 9.900
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.912
RU - Federazione Russa 1.281
SG - Singapore 832
CN - Cina 584
IT - Italia 576
GB - Regno Unito 453
HK - Hong Kong 205
BR - Brasile 177
SE - Svezia 168
DE - Germania 167
VN - Vietnam 166
FR - Francia 140
FI - Finlandia 135
IE - Irlanda 126
KR - Corea 97
BD - Bangladesh 63
CA - Canada 58
BE - Belgio 49
JP - Giappone 45
IN - India 33
UA - Ucraina 30
PL - Polonia 26
ES - Italia 24
ID - Indonesia 24
NL - Olanda 23
MX - Messico 21
AR - Argentina 18
AT - Austria 16
TR - Turchia 15
ZA - Sudafrica 15
SA - Arabia Saudita 14
IQ - Iraq 13
NG - Nigeria 11
TG - Togo 11
PH - Filippine 10
EC - Ecuador 7
NZ - Nuova Zelanda 7
PK - Pakistan 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
AU - Australia 5
BJ - Benin 5
BO - Bolivia 5
CL - Cile 5
CR - Costa Rica 5
IL - Israele 5
LT - Lituania 5
MA - Marocco 5
MY - Malesia 5
UZ - Uzbekistan 5
VE - Venezuela 5
AL - Albania 4
CO - Colombia 4
RO - Romania 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
DZ - Algeria 3
ET - Etiopia 3
JM - Giamaica 3
LV - Lettonia 3
MD - Moldavia 3
PA - Panama 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
TH - Thailandia 3
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CG - Congo 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
GR - Grecia 2
JO - Giordania 2
KE - Kenya 2
KZ - Kazakistan 2
LB - Libano 2
MO - Macao, regione amministrativa speciale della Cina 2
NI - Nicaragua 2
SN - Senegal 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
BH - Bahrain 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
EE - Estonia 1
EG - Egitto 1
GT - Guatemala 1
GU - Guam 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IS - Islanda 1
LI - Liechtenstein 1
MF - Saint Martin 1
ML - Mali 1
MU - Mauritius 1
OM - Oman 1
PR - Porto Rico 1
PY - Paraguay 1
Totale 9.721
Salva come PNG Salva come JPEG
Città #
Dallas 720
Moscow 471
Singapore 463
Ashburn 460
Chandler 408
San Jose 368
Southend 352
Verona 280
Hong Kong 193
Woodbridge 170
Jacksonville 122
Dublin 121
The Dalles 116
Beijing 109
Ann Arbor 103
Council Bluffs 103
Houston 95
Los Angeles 80
Helsinki 63
New York 55
Brussels 48
Munich 48
Hanoi 47
Ho Chi Minh City 46
Lawrence 45
Princeton 45
Seoul 41
Santa Clara 40
Wilmington 39
Tokyo 35
Jinan 32
Columbus 31
Milan 30
Nanjing 30
Redondo Beach 27
São Paulo 27
Orem 22
Buffalo 21
Turku 21
Brooklyn 18
Shenyang 18
Phoenix 17
Stockholm 17
Tianjin 17
Turin 17
Amsterdam 16
Denver 16
Rome 16
Warsaw 16
Changsha 15
Chennai 15
Haikou 15
Lancaster 15
Montreal 15
San Francisco 15
Hebei 13
Johannesburg 13
London 13
Toronto 13
Boardman 12
Nanchang 12
Poplar 12
Seattle 12
Sindelfingen 12
Abuja 11
Atlanta 11
Chicago 11
Jiaxing 11
Lomé 11
Ningbo 11
Guangzhou 10
Haiphong 10
Jakarta 10
Mexico City 10
Taizhou 10
Zhengzhou 10
Frankfurt am Main 9
Shanghai 9
Washington 9
Des Moines 8
Falkenstein 8
McKinney 8
Da Nang 7
Miami 7
Nuremberg 7
Auckland 6
Bologna 6
Cagliari 6
Fairfield 6
Jeddah 6
Kent 6
Manchester 6
Ottawa 6
Taiyuan 6
Vienna 6
Annandale 5
Boston 5
Brasília 5
Chions 5
Cotonou 5
Totale 6.180
Salva come PNG Salva come JPEG
Nome #
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 291
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 263
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 252
On the reuse of RTL IPs for SysML model generation 243
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 228
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 226
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 208
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 205
Automatic abstraction of multi-discipline analog models for efficient functional simulation 203
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 198
On the Reuse of RTL assertions in Systemc TLM Verification 193
A Contract-based Methodology for Production Lines Validation 187
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 183
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 183
Production Recipe Validation through Formalization and Digital Twin Generation 181
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 174
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 174
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 174
Hardware Synthesis from Software-Oriented UML Descriptions 170
A Unifying Flow to Ease Smart Systems Integration 170
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 170
Conservative behavioural modelling in systemc-AMS 170
A Software Architecture to Control Service-Oriented Manufacturing Systems 167
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 166
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 165
Design Domains and Abstraction Levels for Effective Smart System Simulation 164
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 161
An AI-Enabled Framework for Smart Semiconductor Manufacturing 160
CHASE: Contract-based requirement engineering for cyber-physical system design 160
Reusing RTL assertion checkers for verification of SystemC TLM models 159
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 158
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 157
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 156
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 151
Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software 150
Compositional Design of Multi-Robot Systems Control Software on ROS 149
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 148
Validation of HMI applications for industrial smart display 148
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 146
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 141
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 139
SystemC-AMS Simulation of Conservative Behavioral Descriptions 138
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 134
Optimization of assertion placement in time-constrained embedded systems 134
Time-Constraint-Aware Optimization of Assertions in Embedded Software 133
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 132
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 130
Smart System Case Studies 129
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 128
Multi-Level Modeling of Wireless Embedded Systems 127
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 124
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 123
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations 120
Translation, Abstraction and Integration for Effective Smart System Design 117
Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software 113
Moving from co-simulation to simulation for effective smart systems design 108
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 107
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 105
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 100
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 100
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 97
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 81
A Data-Driven Digital Twin for Predicting Manufacturing Process Efficiency 20
Rosetta: Compiling SysML v2 Behavior into Lingua Franca Modal Reactors 9
Totale 9.900
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.625
article - articoli 6.491
book - libri 0
conference - conferenze 21.410
curatela - curatele 0
other - altro 596
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.128
Totale 63.250
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022265 0 0 0 8 43 15 7 17 18 8 32 117
2022/20231.090 56 114 75 193 97 242 20 85 109 47 38 14
2023/2024437 23 38 40 45 46 52 26 32 5 45 68 17
2024/20251.484 72 137 88 240 24 73 45 102 188 105 183 227
2025/20264.583 279 164 695 704 1.136 256 356 231 307 223 96 136
2026/2027460 60 90 150 160 0 0 0 0 0 0 0 0
Totale 9.900