CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.514
EU - Europa 3.183
AS - Asia 2.082
SA - Sud America 216
AF - Africa 65
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 1
Totale 9.070
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.435
RU - Federazione Russa 1.279
SG - Singapore 826
CN - Cina 580
IT - Italia 509
GB - Regno Unito 452
HK - Hong Kong 203
BR - Brasile 171
SE - Svezia 168
DE - Germania 167
VN - Vietnam 166
FR - Francia 139
FI - Finlandia 135
IE - Irlanda 126
KR - Corea 97
CA - Canada 50
BE - Belgio 49
JP - Giappone 42
IN - India 33
UA - Ucraina 30
PL - Polonia 25
ID - Indonesia 23
ES - Italia 22
NL - Olanda 22
BD - Bangladesh 21
AR - Argentina 18
MX - Messico 17
AT - Austria 16
ZA - Sudafrica 15
SA - Arabia Saudita 14
TR - Turchia 14
IQ - Iraq 13
NG - Nigeria 11
TG - Togo 11
EC - Ecuador 7
PH - Filippine 7
PK - Pakistan 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
AU - Australia 5
BJ - Benin 5
IL - Israele 5
LT - Lituania 5
MA - Marocco 5
UZ - Uzbekistan 5
VE - Venezuela 5
AL - Albania 4
CO - Colombia 4
MY - Malesia 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
BO - Bolivia 3
DZ - Algeria 3
ET - Etiopia 3
LV - Lettonia 3
MD - Moldavia 3
NZ - Nuova Zelanda 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
CL - Cile 2
CR - Costa Rica 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
RO - Romania 2
SN - Senegal 2
TN - Tunisia 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
GU - Guam 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IS - Islanda 1
LI - Liechtenstein 1
ML - Mali 1
MU - Mauritius 1
OM - Oman 1
PY - Paraguay 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
Totale 9.070
Salva come PNG Salva come JPEG
Città #
Dallas 676
Moscow 471
Singapore 460
Chandler 408
Ashburn 384
Southend 352
San Jose 299
Verona 277
Hong Kong 191
Woodbridge 169
Jacksonville 122
Dublin 121
The Dalles 116
Beijing 108
Ann Arbor 103
Houston 92
Los Angeles 76
Helsinki 63
New York 50
Brussels 48
Munich 48
Hanoi 47
Ho Chi Minh City 46
Lawrence 45
Princeton 45
Seoul 41
Wilmington 39
Santa Clara 34
Tokyo 34
Jinan 32
Columbus 31
Nanjing 30
Redondo Beach 27
São Paulo 27
Milan 25
Orem 22
Turku 21
Buffalo 20
Shenyang 18
Stockholm 17
Tianjin 17
Amsterdam 16
Warsaw 16
Brooklyn 15
Changsha 15
Chennai 15
Haikou 15
Lancaster 15
Montreal 15
San Francisco 15
Council Bluffs 13
Hebei 13
Johannesburg 13
London 13
Nanchang 12
Phoenix 12
Poplar 12
Seattle 12
Sindelfingen 12
Turin 12
Abuja 11
Boardman 11
Denver 11
Jiaxing 11
Lomé 11
Ningbo 11
Guangzhou 10
Haiphong 10
Jakarta 10
Rome 10
Taizhou 10
Zhengzhou 10
Frankfurt am Main 9
Mexico City 9
Toronto 9
Des Moines 8
Falkenstein 8
Shanghai 8
Atlanta 7
Chicago 7
Da Nang 7
Nuremberg 7
Cagliari 6
Fairfield 6
Jeddah 6
Kent 6
Manchester 6
Taiyuan 6
Vienna 6
Boston 5
Brasília 5
Chions 5
Cotonou 5
Lanzhou 5
Lappeenranta 5
Lyngby 5
Madrid 5
Miami 5
Norwalk 5
Ottawa 5
Totale 5.815
Salva come PNG Salva come JPEG
Nome #
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration 280
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 245
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 243
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 220
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 218
On the reuse of RTL IPs for SysML model generation 207
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 199
Automatic abstraction of multi-discipline analog models for efficient functional simulation 198
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 192
On the Reuse of RTL assertions in Systemc TLM Verification 184
A Contract-based Methodology for Production Lines Validation 177
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 174
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 172
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 169
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 168
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 166
A Unifying Flow to Ease Smart Systems Integration 166
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 165
Production Recipe Validation through Formalization and Digital Twin Generation 160
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 160
Hardware Synthesis from Software-Oriented UML Descriptions 159
Design Domains and Abstraction Levels for Effective Smart System Simulation 158
Conservative behavioural modelling in systemc-AMS 158
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 155
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 155
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 153
A Software Architecture to Control Service-Oriented Manufacturing Systems 153
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 152
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 151
Reusing RTL assertion checkers for verification of SystemC TLM models 149
CHASE: Contract-based requirement engineering for cyber-physical system design 148
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 147
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 145
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 144
Compositional Design of Multi-Robot Systems Control Software on ROS 142
An AI-Enabled Framework for Smart Semiconductor Manufacturing 141
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 140
Validation of HMI applications for industrial smart display 139
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 130
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 130
Optimization of assertion placement in time-constrained embedded systems 130
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 128
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 126
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 125
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 123
SystemC-AMS Simulation of Conservative Behavioral Descriptions 123
Smart System Case Studies 120
Time-Constraint-Aware Optimization of Assertions in Embedded Software 119
Multi-Level Modeling of Wireless Embedded Systems 119
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 118
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 117
Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software 116
Translation, Abstraction and Integration for Effective Smart System Design 114
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations 110
Moving from co-simulation to simulation for effective smart systems design 104
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 103
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 97
Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software 97
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 93
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 89
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 89
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 70
Totale 9.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.346
article - articoli 5.653
book - libri 0
conference - conferenze 18.407
curatela - curatele 0
other - altro 533
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.753
Totale 54.692
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202144 0 0 0 0 0 0 0 0 0 0 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/20264.385 279 164 695 704 1.136 256 356 231 307 223 34 0
Totale 9.242