LORA, MICHELE
LORA, MICHELE
DIPARTIMENTO DI INFORMATICA
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
2022-01-01 Lora, Michele; Nuzzo, Pierluigi
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences
2016-01-01 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco; Montuschi, Paolo
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
A Software Architecture to Control Service-Oriented Manufacturing Systems
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Unifying Flow to Ease Smart Systems Integration
2016-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems
2016-01-01 Lora, Michele
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 abstraction of multi-discipline analog models for efficient functional simulation
2017-01-01 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems
2020-01-01 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs
2017-01-01 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms
2018-01-01 Lora, M.; Centomo, S.; Quaglia, D.; Fummi, F.
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces
2018-01-01 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
CHASE: Contract-based requirement engineering for cyber-physical system design
2018-01-01 Nuzzo, Pierluigi; Lora, Michele; Feldman, Yishai A.; Sangiovanni-Vincentelli, Alberto L.
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2013-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
Compositional Design of Multi-Robot Systems Control Software on ROS
2019-01-01 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
Conservative behavioural modelling in systemc-AMS
2015-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Design Domains and Abstraction Levels for Effective Smart System Simulation
2016-01-01 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco