Sfoglia per Autore

opzioni
Mostrati risultati da 21 a 40 di 46
Titolo Data di pubblicazione Autore(i) File
Smart System Case Studies 1-gen-2016 Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta
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 Unifying Flow to Ease Smart Systems Integration 1-gen-2016 Lora, Michele; Vinco, Sara; Fummi, Franco
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling 1-gen-2017 Lora, Michele; Fraccaroli, Enrico; 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
Validation of HMI applications for industrial smart display 1-gen-2017 Lora, Michele
Automatic abstraction of multi-discipline analog models for efficient functional simulation 1-gen-2017 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 1-gen-2018 Centomo, Stefano; Lora, Michele; Fummi, Franco
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 1-gen-2018 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.
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 1-gen-2018 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 1-gen-2018 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco
A Contract-based Methodology for Production Lines Validation 1-gen-2019 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Translation, Abstraction and Integration for Effective Smart System Design 1-gen-2019 Lora, Michele; Vinco, Sara; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS 1-gen-2019 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
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
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 1-gen-2020 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; 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
Mostrati risultati da 21 a 40 di 46
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