LORA, Michele
LORA, Michele
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
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
An AI-Enabled Framework for Smart Semiconductor Manufacturing
2024-01-01 Sidahmed Sidahmed Alamin, Khaled; Appello, Davide; Beghi, Alessandro; Dall'Ora, Nicola; Depaoli, Fabio; Di Cataldo, Santa; Fummi, Franco; Gaiardelli, Sebastiano; Lora, Michele; Macii, Enrico; Mascolini, Alessio; Pagano, Daniele; Ponzio, Francesco; Antonio Susto, Gian; Vinco, Sara
Automatic abstraction of multi-discipline analog models for efficient functional simulation
2017-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.
CHASE: Contract-based requirement engineering for cyber-physical system design
2018-01-01 Nuzzo, Pierluigi; Lora, Michele; Feldman, Yishai A.; Sangiovanni-Vincentelli, Alberto L.
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
2023-01-01 Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2013-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
Conservative behavioural modelling in systemc-AMS
2015-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
2024-01-01 Lora, Michele; Gaiardelli, Sebastiano; Oh, Chanwook; Spellini, Stefano; Nuzzo, Pierluigi; Fummi, Franco
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring
2020-01-01 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism
2024-01-01 Xiao, Yifeng; Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
2021-01-01 Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco
Hardware Synthesis from Software-Oriented UML Descriptions
2014-01-01 Lora, Michele; Martinelli, Francesco; Fummi, Franco
Homogeneous Simulation: the Effective Integration Solution for Smart Systems
2014-01-01 Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Jan Van, Hese; Sara, Vinco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Contract-based Methodology for Production Lines Validation | 1-gen-2019 | Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco | |
| A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems | 1-gen-2022 | Lora, Michele; Nuzzo, Pierluigi | |
| A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences | 1-gen-2016 | Fraccaroli, Enrico; Lora, Michele; Fummi, Franco; Montuschi, Paolo | |
| A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes | 1-gen-2022 | Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco | |
| A Software Architecture to Control Service-Oriented Manufacturing Systems | 1-gen-2022 | Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco | |
| A Unifying Flow to Ease Smart Systems Integration | 1-gen-2016 | Lora, Michele; Vinco, Sara; Fummi, Franco | |
| An AI-Enabled Framework for Smart Semiconductor Manufacturing | 1-gen-2024 | Sidahmed Sidahmed Alamin, Khaled; Appello, Davide; Beghi, Alessandro; Dall'Ora, Nicola; Depaoli, Fabio; Di Cataldo, Santa; Fummi, Franco; Gaiardelli, Sebastiano; Lora, Michele; Macii, Enrico; Mascolini, Alessio; Pagano, Daniele; Ponzio, Francesco; Antonio Susto, Gian; Vinco, Sara | |
| Automatic abstraction of multi-discipline analog models for efficient functional simulation | 1-gen-2017 | Fraccaroli, Enrico; Lora, Michele; Fummi, Franco | |
| Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs | 1-gen-2017 | 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 | 1-gen-2018 | Lora, M.; Centomo, S.; Quaglia, D.; Fummi, F. | |
| CHASE: Contract-based requirement engineering for cyber-physical system design | 1-gen-2018 | Nuzzo, Pierluigi; Lora, Michele; Feldman, Yishai A.; Sangiovanni-Vincentelli, Alberto L. | |
| Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses | 1-gen-2023 | Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi | |
| Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity | 1-gen-2013 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara | |
| Conservative behavioural modelling in systemc-AMS | 1-gen-2015 | Vinco, Sara; Lora, Michele; Zwolinski, Mark | |
| Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project | 1-gen-2024 | Lora, Michele; Gaiardelli, Sebastiano; Oh, Chanwook; Spellini, Stefano; Nuzzo, Pierluigi; Fummi, Franco | |
| Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring | 1-gen-2020 | Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta | |
| Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism | 1-gen-2024 | Xiao, Yifeng; Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi | |
| Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems | 1-gen-2021 | Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco | |
| Hardware Synthesis from Software-Oriented UML Descriptions | 1-gen-2014 | Lora, Michele; Martinelli, Francesco; Fummi, Franco | |
| Homogeneous Simulation: the Effective Integration Solution for Smart Systems | 1-gen-2014 | Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Jan Van, Hese; Sara, Vinco |