CATALOGO DEI PRODOTTI DELLA RICERCA

LORA, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.462
EU - Europa 1.311
AS - Asia 378
OC - Oceania 6
AF - Africa 2
SA - Sud America 2
Totale 3.161
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.452
GB - Regno Unito 408
CN - Cina 304
IT - Italia 245
SE - Svezia 151
IE - Irlanda 120
FR - Francia 109
DE - Germania 87
FI - Finlandia 83
BE - Belgio 44
KR - Corea 40
UA - Ucraina 22
CA - Canada 9
VN - Vietnam 8
SG - Singapore 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
PL - Polonia 6
AT - Austria 5
AU - Australia 5
NL - Olanda 5
HK - Hong Kong 4
JP - Giappone 4
ID - Indonesia 3
BG - Bulgaria 2
ES - Italia 2
IN - India 2
LV - Lettonia 2
MO - Macao, regione amministrativa speciale della Cina 2
RO - Romania 2
RU - Federazione Russa 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
BO - Bolivia 1
CR - Costa Rica 1
EC - Ecuador 1
HU - Ungheria 1
LI - Liechtenstein 1
MA - Marocco 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 3.161
Salva come PNG Salva come JPEG
Città #
Chandler 408
Southend 352
Woodbridge 169
Jacksonville 122
Dublin 116
Verona 113
Ann Arbor 103
Houston 87
Beijing 67
Ashburn 65
Lawrence 45
Princeton 45
Brussels 43
Seoul 40
Wilmington 39
Helsinki 37
Jinan 30
Nanjing 29
Shenyang 18
Lancaster 15
Haikou 14
New York 14
Changsha 13
Hebei 13
Nanchang 12
Sindelfingen 12
Tianjin 11
Jiaxing 10
Ningbo 10
Seattle 9
Taizhou 9
San Francisco 8
Zhengzhou 8
Fairfield 6
Singapore 6
Chions 5
Guangzhou 5
Los Angeles 5
Lyngby 5
Norwalk 5
Taiyuan 5
Toronto 5
Washington 5
Boardman 4
Cagliari 4
Edinburgh 4
Fuzhou 4
Lanzhou 4
Mezzolombardo 4
Milan 4
Padova 4
Redwood City 4
Stockholm 4
Trento 4
Amsterdam 3
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
Knetzgau 2
Lincoln 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
Auckland 1
Bangkok 1
Bresso 1
Catania 1
Central 1
Chisinau 1
Clearwater 1
Council Bluffs 1
Dallas 1
Delhi 1
Des Moines 1
Dhaka 1
Dottingen 1
Totale 2.272
Salva come PNG Salva come JPEG
Nome #
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 122
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 110
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 107
On the reuse of RTL IPs for SysML model generation 105
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 104
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 96
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms 96
On the Reuse of RTL assertions in Systemc TLM Verification 93
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 91
Reusing RTL assertion checkers for verification of SystemC TLM models 85
Automatic abstraction of multi-discipline analog models for efficient functional simulation 85
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 84
Validation of HMI applications for industrial smart display 80
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 78
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 78
Design Domains and Abstraction Levels for Effective Smart System Simulation 75
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 75
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 72
Time-Constraint-Aware Optimization of Assertions in Embedded Software 70
Hardware Synthesis from Software-Oriented UML Descriptions 70
Conservative behavioural modelling in systemc-AMS 67
Optimization of assertion placement in time-constrained embedded systems 66
Multi-Level Modeling of Wireless Embedded Systems 65
Smart System Case Studies 64
SystemC-AMS Simulation of Conservative Behavioral Descriptions 63
Moving from co-simulation to simulation for effective smart systems design 62
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 61
Production Recipe Validation through Formalization and Digital Twin Generation 61
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 59
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 58
A Unifying Flow to Ease Smart Systems Integration 57
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 57
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 56
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 56
CHASE: Contract-based requirement engineering for cyber-physical system design 55
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 54
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 54
A Contract-based Methodology for Production Lines Validation 52
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 51
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 50
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 49
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 47
Translation, Abstraction and Integration for Effective Smart System Design 45
A Software Architecture to Control Service-Oriented Manufacturing Systems 45
Compositional Design of Multi-Robot Systems Control Software on ROS 44
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 41
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 22
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 21
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications 11
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 8
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 8
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 5
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 2
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 1
Totale 3.293
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.896
article - articoli 2.018
book - libri 0
conference - conferenze 6.498
curatela - curatele 0
other - altro 244
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.136
Totale 19.792
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201916 0 0 0 0 0 0 0 0 0 0 7 9
2019/2020256 37 3 4 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/2024357 23 38 40 45 46 52 26 32 5 45 5 0
Totale 3.293