LORA, MICHELE

LORA, MICHELE  

DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.026 secondi).
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
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
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring 1-gen-2020 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
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
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems 1-gen-2016 Fraccaroli, Enrico; Lora, Michele; Vinco, S.; Quaglia, Davide; Fummi, Franco
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 1-gen-2019 Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 1-gen-2021 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco