CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.598
EU - Europa 1.530
AS - Asia 715
AF - Africa 13
OC - Oceania 6
SA - Sud America 5
Totale 3.867
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.575
CN - Cina 412
GB - Regno Unito 409
IT - Italia 266
SG - Singapore 208
SE - Svezia 152
RU - Federazione Russa 135
IE - Irlanda 121
FR - Francia 111
FI - Finlandia 109
DE - Germania 102
BE - Belgio 49
KR - Corea 40
UA - Ucraina 23
CA - Canada 20
JP - Giappone 15
ID - Indonesia 11
TG - Togo 11
HK - Hong Kong 10
VN - Vietnam 8
NL - Olanda 7
PL - Polonia 7
AT - Austria 6
CZ - Repubblica Ceca 6
DK - Danimarca 6
AU - Australia 5
LT - Lituania 3
BD - Bangladesh 2
BG - Bulgaria 2
ES - Italia 2
GR - Grecia 2
IN - India 2
LV - Lettonia 2
MO - Macao, regione amministrativa speciale della Cina 2
MY - Malesia 2
PA - Panama 2
PE - Perù 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
BO - Bolivia 1
BR - Brasile 1
CH - Svizzera 1
CR - Costa Rica 1
EC - Ecuador 1
EE - Estonia 1
HU - Ungheria 1
IS - Islanda 1
LI - Liechtenstein 1
MA - Marocco 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
TH - Thailandia 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 3.867
Salva come PNG Salva come JPEG
Città #
Chandler 408
Southend 352
Singapore 188
Woodbridge 169
Jacksonville 122
Verona 122
Dublin 117
Ann Arbor 103
Ashburn 92
Houston 87
Beijing 69
Helsinki 62
Brussels 48
Lawrence 45
Princeton 45
Seoul 40
Wilmington 39
Jinan 31
Nanjing 29
Santa Clara 23
Shenyang 18
Lancaster 15
Changsha 14
Haikou 14
New York 14
Hebei 13
Dallas 12
Nanchang 12
Sindelfingen 12
Tianjin 12
Lomé 11
Ningbo 11
Jiaxing 10
Jakarta 9
Seattle 9
Taizhou 9
Zhengzhou 9
San Francisco 8
Tokyo 8
Toronto 8
Falkenstein 7
Guangzhou 7
Los Angeles 7
Moscow 7
Fairfield 6
Kent 6
Taiyuan 6
Amsterdam 5
Chions 5
Frankfurt am Main 5
Lyngby 5
Norwalk 5
Washington 5
Xi'an 5
Boardman 4
Cagliari 4
Edinburgh 4
Fuzhou 4
Hong Kong 4
Lanzhou 4
Mezzolombardo 4
Milan 4
Osaka 4
Ottawa 4
Padova 4
Redwood City 4
Shanghai 4
Stockholm 4
Trento 4
Turin 4
Waterloo 4
Auburn Hills 3
Dong Ket 3
Duncan 3
Erlangen 3
Montréal 3
Prague 3
Redmond 3
Saint-martin-d'heres 3
Swindon 3
Torino 3
Treviglio 3
Valbonne 3
Warsaw 3
Athens 2
Bad Bellingen 2
Bovolone 2
Chengdu 2
Dhaka 2
Dongguan 2
Düsseldorf 2
Enfield 2
Hangzhou 2
Ingelheim 2
Kai Tak 2
Knetzgau 2
Lavagno 2
Lima 2
Lincoln 2
London 2
Totale 2.639
Salva come PNG Salva come JPEG
Nome #
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 141
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 122
On the reuse of RTL IPs for SysML model generation 121
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 118
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 114
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 111
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 110
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 110
On the Reuse of RTL assertions in Systemc TLM Verification 109
Automatic abstraction of multi-discipline analog models for efficient functional simulation 104
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 97
Reusing RTL assertion checkers for verification of SystemC TLM models 95
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 94
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 93
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 87
Validation of HMI applications for industrial smart display 87
Design Domains and Abstraction Levels for Effective Smart System Simulation 86
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 81
Hardware Synthesis from Software-Oriented UML Descriptions 78
Conservative behavioural modelling in systemc-AMS 78
Optimization of assertion placement in time-constrained embedded systems 77
Time-Constraint-Aware Optimization of Assertions in Embedded Software 77
A Contract-based Methodology for Production Lines Validation 76
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 76
Smart System Case Studies 73
A Unifying Flow to Ease Smart Systems Integration 73
Production Recipe Validation through Formalization and Digital Twin Generation 73
SystemC-AMS Simulation of Conservative Behavioral Descriptions 73
Multi-Level Modeling of Wireless Embedded Systems 73
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 72
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 69
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 68
Moving from co-simulation to simulation for effective smart systems design 67
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 67
CHASE: Contract-based requirement engineering for cyber-physical system design 66
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 64
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 63
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 62
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 61
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 61
A Software Architecture to Control Service-Oriented Manufacturing Systems 59
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 58
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 58
Compositional Design of Multi-Robot Systems Control Software on ROS 54
Translation, Abstraction and Integration for Effective Smart System Design 50
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 45
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 38
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 36
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 34
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 28
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 25
An AI-Enabled Framework for Smart Semiconductor Manufacturing 17
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0 15
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 15
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 15
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 12
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 12
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 8
Totale 4.006
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.578
article - articoli 3.045
book - libri 0
conference - conferenze 9.641
curatela - curatele 0
other - altro 332
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.560
Totale 29.156
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020141 0 0 0 0 0 26 29 4 13 15 22 32
2020/2021390 60 63 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/2025633 72 137 88 240 24 72 0 0 0 0 0 0
Totale 4.006