LORA, MICHELE
LORA, MICHELE
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices
2020-01-01 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
2018-01-01 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems
2020-01-01 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS
2019-01-01 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
2013-01-01 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Reusing RTL assertion checkers for verification of SystemC TLM models
2015-01-01 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
2024-01-01 Gaiardelli, Sebastiano; Lora, Michele; Spellini, Stefano; Fummi, Franco
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems
2015-01-01 Lora, Michele; Muradore, Riccardo; Quaglia, Davide; Fummi, Franco
Time-Constraint-Aware Optimization of Assertions in Embedded Software
2012-01-01 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.
Translation, Abstraction and Integration for Effective Smart System Design
2019-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
Virtual Prototyping a Production Line using Assume-Guarantee Contracts
2020-01-01 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
| 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 |