CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.410
EU - Europa 1.777
AS - Asia 1.265
SA - Sud America 138
AF - Africa 25
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.622
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.367
SG - Singapore 483
CN - Cina 437
GB - Regno Unito 418
IT - Italia 357
HK - Hong Kong 192
DE - Germania 164
SE - Svezia 155
RU - Federazione Russa 140
FI - Finlandia 130
FR - Francia 128
IE - Irlanda 124
BR - Brasile 122
KR - Corea 62
BE - Belgio 49
CA - Canada 30
UA - Ucraina 25
JP - Giappone 23
VN - Vietnam 18
NL - Olanda 14
AT - Austria 13
PL - Polonia 13
ES - Italia 12
ID - Indonesia 11
TG - Togo 11
IN - India 8
MX - Messico 8
BD - Bangladesh 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
AU - Australia 5
LT - Lituania 5
TR - Turchia 5
IQ - Iraq 4
ZA - Sudafrica 4
AR - Argentina 3
EC - Ecuador 3
MA - Marocco 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
BG - Bulgaria 2
BO - Bolivia 2
CR - Costa Rica 2
GR - Grecia 2
LV - Lettonia 2
MO - Macao, regione amministrativa speciale della Cina 2
MY - Malesia 2
PA - Panama 2
PK - Pakistan 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BS - Bahamas 1
CG - Congo 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GY - Guiana 1
HU - Ungheria 1
IS - Islanda 1
JO - Giordania 1
KZ - Kazakistan 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 5.622
Salva come PNG Salva come JPEG
Città #
Dallas 524
Chandler 408
Southend 352
Singapore 241
Hong Kong 185
Woodbridge 169
Verona 157
Ashburn 123
Jacksonville 122
Dublin 120
Ann Arbor 103
Houston 87
Beijing 70
Helsinki 62
The Dalles 62
Brussels 48
Munich 48
Lawrence 45
Princeton 45
Seoul 40
Wilmington 39
Los Angeles 36
Jinan 32
Columbus 31
Nanjing 30
Santa Clara 28
New York 23
Milan 21
Turku 21
Shenyang 18
São Paulo 17
Tokyo 16
Changsha 15
Haikou 15
Lancaster 15
San Francisco 14
Hebei 13
Nanchang 12
Sindelfingen 12
Tianjin 12
Council Bluffs 11
Lomé 11
Ningbo 11
Amsterdam 10
Jiaxing 10
Seattle 10
Taizhou 10
Zhengzhou 10
Brooklyn 9
Frankfurt am Main 9
Jakarta 9
Toronto 8
Turin 8
Falkenstein 7
Guangzhou 7
Moscow 7
Nuremberg 7
Redondo Beach 7
Rome 7
Stockholm 7
Boardman 6
Fairfield 6
Kent 6
Montreal 6
Taiyuan 6
Warsaw 6
Brasília 5
Chions 5
Hanoi 5
Lanzhou 5
London 5
Lyngby 5
Norwalk 5
Phoenix 5
Trento 5
Vienna 5
Washington 5
Xi'an 5
Atlanta 4
Boston 4
Cagliari 4
Dhaka 4
Edinburgh 4
Fuzhou 4
Johannesburg 4
Madrid 4
Mexico City 4
Mezzolombardo 4
Miami 4
Osaka 4
Ottawa 4
Padova 4
Redwood City 4
Shanghai 4
Waterloo 4
Auburn Hills 3
Belo Horizonte 3
Buffalo 3
Charlotte 3
Chennai 3
Totale 3.785
Salva come PNG Salva come JPEG
Nome #
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 182
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 166
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 156
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 151
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 146
On the reuse of RTL IPs for SysML model generation 144
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 143
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 139
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 134
Automatic abstraction of multi-discipline analog models for efficient functional simulation 131
On the Reuse of RTL assertions in Systemc TLM Verification 126
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 123
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 121
Hardware Synthesis from Software-Oriented UML Descriptions 119
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 117
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 115
Reusing RTL assertion checkers for verification of SystemC TLM models 109
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 109
Validation of HMI applications for industrial smart display 108
Design Domains and Abstraction Levels for Effective Smart System Simulation 107
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 106
A Contract-based Methodology for Production Lines Validation 105
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 103
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 102
Optimization of assertion placement in time-constrained embedded systems 101
A Unifying Flow to Ease Smart Systems Integration 100
Conservative behavioural modelling in systemc-AMS 100
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 99
Production Recipe Validation through Formalization and Digital Twin Generation 98
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 96
Multi-Level Modeling of Wireless Embedded Systems 96
SystemC-AMS Simulation of Conservative Behavioral Descriptions 94
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 94
Time-Constraint-Aware Optimization of Assertions in Embedded Software 92
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 89
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 89
Smart System Case Studies 87
CHASE: Contract-based requirement engineering for cyber-physical system design 87
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 85
A Software Architecture to Control Service-Oriented Manufacturing Systems 85
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 84
Moving from co-simulation to simulation for effective smart systems design 80
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 78
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 78
Translation, Abstraction and Integration for Effective Smart System Design 77
Compositional Design of Multi-Robot Systems Control Software on ROS 77
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 76
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 74
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 67
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 67
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 63
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 63
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 62
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 55
An AI-Enabled Framework for Smart Semiconductor Manufacturing 49
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 39
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations 38
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 36
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 36
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 32
Totale 5.785
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.702
article - articoli 4.349
book - libri 0
conference - conferenze 13.776
curatela - curatele 0
other - altro 414
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.163
Totale 41.404
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021267 0 0 14 50 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/2026928 279 164 485 0 0 0 0 0 0 0 0 0
Totale 5.785