CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.022
NA - Nord America 2.912
AS - Asia 1.631
SA - Sud America 181
AF - Africa 42
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.796
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.847
RU - Federazione Russa 1.279
SG - Singapore 655
CN - Cina 524
GB - Regno Unito 445
IT - Italia 388
HK - Hong Kong 194
DE - Germania 167
SE - Svezia 164
BR - Brasile 150
FI - Finlandia 133
FR - Francia 130
IE - Irlanda 124
VN - Vietnam 78
KR - Corea 63
BE - Belgio 49
CA - Canada 44
JP - Giappone 39
UA - Ucraina 26
PL - Polonia 25
ES - Italia 20
NL - Olanda 18
ID - Indonesia 17
IN - India 17
AT - Austria 16
MX - Messico 14
ZA - Sudafrica 14
AR - Argentina 12
BD - Bangladesh 11
TG - Togo 11
IQ - Iraq 7
TR - Turchia 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
AU - Australia 5
BJ - Benin 5
EC - Ecuador 5
LT - Lituania 5
MA - Marocco 4
CO - Colombia 3
PA - Panama 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
BO - Bolivia 2
CL - Cile 2
CR - Costa Rica 2
GR - Grecia 2
IL - Israele 2
LV - Lettonia 2
MO - Macao, regione amministrativa speciale della Cina 2
MY - Malesia 2
PK - Pakistan 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
UZ - Uzbekistan 2
VE - Venezuela 2
AZ - Azerbaigian 1
BS - Bahamas 1
CG - Congo 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GU - Guam 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IS - Islanda 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LI - Liechtenstein 1
MD - Moldavia 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
SN - Senegal 1
TH - Thailandia 1
UY - Uruguay 1
Totale 7.796
Salva come PNG Salva come JPEG
Città #
Dallas 676
Moscow 471
Chandler 408
Southend 352
Singapore 307
Ashburn 217
Hong Kong 187
Verona 178
Woodbridge 169
Jacksonville 122
Dublin 120
Ann Arbor 103
Beijing 102
Houston 91
Los Angeles 73
The Dalles 65
Helsinki 63
Brussels 48
Munich 48
New York 47
Lawrence 45
Princeton 45
Seoul 40
Wilmington 39
Jinan 32
Tokyo 32
Columbus 31
Nanjing 30
Santa Clara 30
Redondo Beach 27
São Paulo 26
Hanoi 22
Milan 22
Turku 21
Ho Chi Minh City 20
Buffalo 18
Shenyang 18
Stockholm 16
Tianjin 16
Warsaw 16
Changsha 15
Haikou 15
Lancaster 15
San Francisco 15
Brooklyn 14
Amsterdam 13
Council Bluffs 13
Hebei 13
Montreal 13
Johannesburg 12
London 12
Nanchang 12
Orem 12
Poplar 12
Seattle 12
Sindelfingen 12
Boardman 11
Denver 11
Jiaxing 11
Lomé 11
Ningbo 11
Jakarta 10
Rome 10
Taizhou 10
Turin 10
Zhengzhou 10
Chennai 9
Frankfurt am Main 9
Guangzhou 9
Toronto 9
Falkenstein 8
Mexico City 8
Phoenix 8
Nuremberg 7
Chicago 6
Des Moines 6
Fairfield 6
Haiphong 6
Kent 6
Shanghai 6
Taiyuan 6
Vienna 6
Atlanta 5
Boston 5
Brasília 5
Chions 5
Cotonou 5
Lanzhou 5
Lyngby 5
Manchester 5
Miami 5
Norwalk 5
Trento 5
Washington 5
Xi'an 5
Cagliari 4
Dhaka 4
Edinburgh 4
Erlangen 4
Fuzhou 4
Totale 4.908
Salva come PNG Salva come JPEG
Nome #
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 264
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 217
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 215
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 204
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 199
On the reuse of RTL IPs for SysML model generation 186
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 176
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 175
Automatic abstraction of multi-discipline analog models for efficient functional simulation 171
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 158
On the Reuse of RTL assertions in Systemc TLM Verification 158
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 152
A Contract-based Methodology for Production Lines Validation 151
A Unifying Flow to Ease Smart Systems Integration 149
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 149
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 148
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 147
Design Domains and Abstraction Levels for Effective Smart System Simulation 140
Production Recipe Validation through Formalization and Digital Twin Generation 140
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 140
Hardware Synthesis from Software-Oriented UML Descriptions 139
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 137
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 135
A Software Architecture to Control Service-Oriented Manufacturing Systems 135
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 134
Conservative behavioural modelling in systemc-AMS 134
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 133
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 133
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 131
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 130
Reusing RTL assertion checkers for verification of SystemC TLM models 127
Compositional Design of Multi-Robot Systems Control Software on ROS 125
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 124
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 124
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 123
CHASE: Contract-based requirement engineering for cyber-physical system design 122
Validation of HMI applications for industrial smart display 120
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 114
An AI-Enabled Framework for Smart Semiconductor Manufacturing 112
Optimization of assertion placement in time-constrained embedded systems 112
SystemC-AMS Simulation of Conservative Behavioral Descriptions 111
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 108
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 108
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 107
Multi-Level Modeling of Wireless Embedded Systems 107
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 106
Time-Constraint-Aware Optimization of Assertions in Embedded Software 104
Smart System Case Studies 103
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 99
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 98
Moving from co-simulation to simulation for effective smart systems design 92
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 91
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 89
Translation, Abstraction and Integration for Effective Smart System Design 88
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 81
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations 79
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 75
Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software 71
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 71
Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software 71
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 70
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 53
Totale 7.965
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.814
article - articoli 5.146
book - libri 0
conference - conferenze 16.662
curatela - curatele 0
other - altro 487
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.519
Totale 49.628
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021133 0 0 0 0 0 40 6 16 22 5 30 14
2021/2022353 13 66 9 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/20263.108 279 164 695 704 1.136 130 0 0 0 0 0 0
Totale 7.965