CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020212 0 0 0 26 45 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/2025349 72 137 88 52 0 0 0 0 0 0 0 0
Totale 3.722