CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.909
NA - Nord America 2.867
AS - Asia 1.560
SA - Sud America 174
AF - Africa 41
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.559
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.806
RU - Federazione Russa 1.177
SG - Singapore 605
CN - Cina 519
GB - Regno Unito 442
IT - Italia 386
HK - Hong Kong 193
DE - Germania 167
SE - Svezia 163
BR - Brasile 144
FI - Finlandia 133
FR - Francia 130
IE - Irlanda 124
VN - Vietnam 65
KR - Corea 63
BE - Belgio 49
CA - Canada 41
JP - Giappone 38
UA - Ucraina 26
PL - Polonia 25
ES - Italia 19
ID - Indonesia 17
IN - India 17
NL - Olanda 17
AT - Austria 14
ZA - Sudafrica 14
MX - Messico 13
AR - Argentina 12
BD - Bangladesh 11
TG - Togo 11
TR - Turchia 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
IQ - Iraq 6
AU - Australia 5
BJ - Benin 5
EC - Ecuador 5
LT - Lituania 5
CO - Colombia 3
MA - Marocco 3
PA - Panama 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AE - Emirati Arabi Uniti 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
AL - Albania 1
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
VE - Venezuela 1
Totale 7.559
Salva come PNG Salva come JPEG
Città #
Dallas 675
Moscow 438
Chandler 408
Southend 352
Singapore 258
Ashburn 199
Hong Kong 186
Verona 178
Woodbridge 169
Jacksonville 122
Dublin 120
Ann Arbor 103
Beijing 102
Houston 91
Los Angeles 69
Helsinki 63
The Dalles 62
Brussels 48
Munich 48
Lawrence 45
Princeton 45
New York 44
Seoul 40
Wilmington 39
Jinan 32
Columbus 31
Tokyo 31
Nanjing 30
Santa Clara 30
Redondo Beach 27
São Paulo 24
Milan 22
Turku 21
Buffalo 18
Shenyang 18
Hanoi 17
Ho Chi Minh City 16
Warsaw 16
Changsha 15
Haikou 15
Lancaster 15
San Francisco 15
Stockholm 15
Brooklyn 13
Council Bluffs 13
Hebei 13
Tianjin 13
Amsterdam 12
Johannesburg 12
London 12
Montreal 12
Nanchang 12
Seattle 12
Sindelfingen 12
Boardman 11
Jiaxing 11
Lomé 11
Ningbo 11
Poplar 11
Denver 10
Jakarta 10
Rome 10
Taizhou 10
Zhengzhou 10
Chennai 9
Frankfurt am Main 9
Guangzhou 9
Toronto 9
Falkenstein 8
Phoenix 8
Turin 8
Mexico City 7
Nuremberg 7
Orem 7
Chicago 6
Des Moines 6
Fairfield 6
Kent 6
Shanghai 6
Taiyuan 6
Atlanta 5
Boston 5
Brasília 5
Chions 5
Cotonou 5
Haiphong 5
Lanzhou 5
Lyngby 5
Miami 5
Norwalk 5
Trento 5
Vienna 5
Washington 5
Xi'an 5
Cagliari 4
Dhaka 4
Edinburgh 4
Erlangen 4
Fuzhou 4
Madrid 4
Totale 4.764
Salva come PNG Salva come JPEG
Nome #
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 261
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 213
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 209
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 199
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 195
On the reuse of RTL IPs for SysML model generation 180
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 173
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 169
Automatic abstraction of multi-discipline analog models for efficient functional simulation 168
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 154
On the Reuse of RTL assertions in Systemc TLM Verification 153
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 149
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 146
A Unifying Flow to Ease Smart Systems Integration 145
A Contract-based Methodology for Production Lines Validation 144
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 143
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 140
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 138
Design Domains and Abstraction Levels for Effective Smart System Simulation 137
Hardware Synthesis from Software-Oriented UML Descriptions 136
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 134
Production Recipe Validation through Formalization and Digital Twin Generation 134
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 132
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 131
A Software Architecture to Control Service-Oriented Manufacturing Systems 131
Conservative behavioural modelling in systemc-AMS 130
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 129
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 128
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 127
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 126
Reusing RTL assertion checkers for verification of SystemC TLM models 125
Compositional Design of Multi-Robot Systems Control Software on ROS 121
CHASE: Contract-based requirement engineering for cyber-physical system design 120
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 118
Validation of HMI applications for industrial smart display 118
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 118
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 116
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 113
Optimization of assertion placement in time-constrained embedded systems 109
An AI-Enabled Framework for Smart Semiconductor Manufacturing 107
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 107
SystemC-AMS Simulation of Conservative Behavioral Descriptions 107
Multi-Level Modeling of Wireless Embedded Systems 105
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 103
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 103
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 102
Time-Constraint-Aware Optimization of Assertions in Embedded Software 102
Smart System Case Studies 100
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 95
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 93
Moving from co-simulation to simulation for effective smart systems design 90
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 88
Translation, Abstraction and Integration for Effective Smart System Design 87
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 86
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 79
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations 76
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 70
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 69
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 66
Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software 66
Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software 65
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 50
Totale 7.728
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.331
article - articoli 5.047
book - libri 0
conference - conferenze 16.332
curatela - curatele 0
other - altro 478
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.474
Totale 48.662
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021203 0 0 0 0 70 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/20262.871 279 164 695 704 1.029 0 0 0 0 0 0 0
Totale 7.728