Sfoglia per Autore
A Unifying Flow to Ease Smart Systems Integration
2016-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
SystemC-AMS Simulation of Conservative Behavioral Descriptions
2016-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems
2016-01-01 Fraccaroli, Enrico; Lora, Michele; Vinco, S.; Quaglia, Davide; Fummi, Franco
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling
2017-01-01 Lora, Michele; Fraccaroli, Enrico; Fummi, Franco
Validation of HMI applications for industrial smart display
2017-01-01 Lora, Michele
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
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
2018-01-01 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms
2018-01-01 Centomo, Stefano; Lora, Michele; Fummi, Franco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
2018-01-01 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; 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.
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
Compositional Design of Multi-Robot Systems Control Software on ROS
2019-01-01 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
2019-01-01 Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Translation, Abstraction and Integration for Effective Smart System Design
2019-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices
2020-01-01 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring
2020-01-01 Jiang, Xingbin; Lora, Michele; Chattopadhyay, Sudipta
Production Recipe Validation through Formalization and Digital Twin Generation
2020-01-01 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile