LORA, MICHELE

LORA, MICHELE  

DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices 1-gen-2020 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 1-gen-2018 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 1-gen-2020 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS 1-gen-2019 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 1-gen-2013 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Reusing RTL assertion checkers for verification of SystemC TLM models 1-gen-2015 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 1-gen-2024 Gaiardelli, Sebastiano; Lora, Michele; Spellini, Stefano; Fummi, Franco
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 1-gen-2015 Lora, Michele; Muradore, Riccardo; Quaglia, Davide; Fummi, Franco
Time-Constraint-Aware Optimization of Assertions in Embedded Software 1-gen-2012 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.
Translation, Abstraction and Integration for Effective Smart System Design 1-gen-2019 Lora, Michele; Vinco, Sara; Fummi, Franco
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco