Michele Lora

Marie Skłodowska-Curie (Global) Fellow | University of Southern California & University of Verona

Pubblications

Book chapters:

  1. S. Centomo, M. Lora, A. Portaluri, F. Stefanni, F. Fummi, Automatic Integration of HDL IPs in Simulink using FMI and S-Function Interfaces. in Languages, Design Methods, and Tools for Electronic System Design – Selected Contributions from FDL 2017.
  2. S. Vinco, M. Lora, and M. Zwolinski. SystemC-AMS simulation of conservative behavioral descriptions. In Languages, Design Methods, and Tools for Electronic System Design, pages 151–173, 2016.
  3. S. Vinco, M. Lora, V. Guarnieri, J. Vanhese, D. Trachanis, and F. Fummi. Design domains and abstraction levels for effective smart system simulation. In Smart Systems Integration and Simulation, pages 23–54. Springer, 2016.
  4. I. Blanco, et al. Smart system case studies. In Smart Systems Integration and Simulation, pages 195– 227. Springer, 2016.
  5. F. Fummi, M. Lora, F. Stefanni, and S. Vinco. Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity. In Languages, Design Methods, and Tools for Electronic System Design, pages 103–124. 2014.

Journal publications:

  1. E. Fraccaroli, M. Lora, and F. Fummi. Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. IEEE Transactions on Computers (2020).
  2. X. Jiang, M. Lora, S. Chattopadhyay, An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices. ACM Transactions on Internet Technololgy, 20, 2, Article 16 (May 2020), 24 pages.
  3. S. Spellini, M. Lora, F. Fummi, S. Chattopadhyay, Compositional Design of Multi-Robot Systems Control Software on ROS. ACM Transactions on Embedded Computing Systems – Embedded System Week 2019 Special Issue, 18.5s (2019): 71.
  4. M. Lora, S. Vinco, and F. Fummi. Translation, Abstraction and Integration for Effective Smart System Design. IEEE Transactions on Computers, 2019.
  5. M. Lora, S. Vinco, E. Fraccaroli, D. Quaglia, and F. Fummi. Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017.
  6. M. Lora, R. Muradore, D. Quaglia, and F. Fummi. Simulation alternatives for the verification of networked cyberphysical systems. Microprocessors and Microsystems, 39(8):843–853, 2015.
  7. N. Bombieri, F. Fummi, V. Guarnieri, G. Pravadelli, F. Stefanni, T. Ghasempouri, M. Lora, G. Auditore, and M. Marcigaglia. Reusing RTL assertion checkers for verification of SystemC TLM models. Journal of Electronic Testing, 31(2):167–180, 2015.
  8. N. Bombieri, E. Ebeid, F. Fummi, and M. Lora. On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. Journal of electronic testing, Theory and Application (JETTA), 29(5):647–667, 2013.
  9. V. Izosimov, G. Di Guglielmo, M. Lora, G. Pravadelli, F. Fummi, Z. Peng, and M. Fujita. Time-constraint-aware optimization of assertions in embedded software. Journal of electronic testing, Theory and Application (JETTA), 28(4):469–486, 2012.

Conference publications

  1. X. Jiang, M. Lora, S. Chattopadhyay, Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring. In Proc of ACM Great Lake Symposium on VLSI (GLSVSLI) 2020.
  2. S. Spellini, R. Chirico, M. Panato, M. Lora and F. Fummi, Production Recipe Validation through Formalization and Digital Twin Generation. In Proc. of IEEE/ACM DATE 2020, pp. 1698-1703.
  3. S. Spellini, R. Chirico, M. Lora, F. Fummi, Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. In Proc. of IEEE Forum of Design and specification Languages (FDL) 2019, pages 1-4.
  4. R. Chirico, S. Spellini, M. Panato, M. Lora, F. Fummi, A Contract-based Methodology for Production Lines Validation. In Proc. of IEEE 17th International Conference on Industrial Informatics (INDIN).
  5. S. Spellini, M. Lora, S. Chattopadhyay, F. Fummi, Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications. in Proc. of ACM/IEEE CODES+ISSS 2018, pages 1-2.
  6. S. Centomo, M. Lora, F. Fummi, Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. In Proc. of IEEE FDL 2018, pp. 5-8.
  7. P. Nuzzo, M. Lora, Y. Feldman, A. L. Sangiovanni-Vincentelli. CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design. In Proc. of ACM/IEEE DATE 2018, pages 1-6.
  8. M. Lora, S. Centomo, D. Quaglia, F. Fummi. Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms. In Proc. of ACM/IEEE DATE 2018, pages 1-6.
  9. M. Lora. Validation of HMI Applications for Industrial Smart Display. In Proc. of IEEE HLDVT Workshop 2017, pages 1-8.
  10. S. Centomo, M. Lora, A. Portaluri, F. Stefanni, F. Fummi, Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs. In Proc. of ECSI/IEEE FDL 2017, pages 1-8, to appear. Best Paper candidate.
  11. M. Lora, E. Fraccaroli, and F. Fummi. Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. In Proc. of ACM/IEEE ASP-DAC 2017, pages 232–237.
  12. E. Fraccaroli, M. Lora, and F. Fummi. Automatic abstraction of multi-discipline analog models for efficient functional simulation. In Proc. of ACM/IEEE DATE 2017, pages 662–665.
  13. M. Lora, S. Vinco, and F. Fummi. A unifying flow to ease smart systems integration. In Proc. of IEEE HLDVT 2016, pages 113–120.2016.
  14. E. Fraccaroli, M. Lora, F. Fummi, and P. Montuschi. A fast simulation environment for smart systems validation in presence of electromagnetic interferences. In Proc of IEEE ICEAA 2016 pp. 740-743.
  15. E. Fraccaroli, M. Lora, S. Vinco, D. Quaglia, and F. Fummi. Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. In Proc. of the ACM/IEEE DATE 2016, pages 1586–1591.
  16. S. Vinco, M. Lora, and M. Zwolinski. Conservative Behavioural Modelling in SystemC-AMS. In Proc. of ECSI/IEEE FDL 2015, pages 1–8, 2015.
  17. M. Lora, F. Martinelli, and F. Fummi. Hardware Synthesis from Software-oriented UML Descriptions. In Proc. of IEEE 15th International Microprocessor Test and Verification Workshop (MTV). 2014. Pages 1-8.
  18. N. Bombieri, F. Fummi, V. Guarnieri, G. Pravadelli, F. Stefanni, T. Ghasempouri, M. Lora, G. Auditore, and M. Negro-Marcigaglia. On the reuse of RTL assertions in SystemC TLM verification. In Proc. of IEEE LATW, 2014. Pages 1-6.
  19. F. Fummi, M. Lora, D. Trachanis, J. Van Hese and S. Vinco, Homogeneous simulation: The effective integration solution for smart systems. In 10th IEEE International Conference on Advanced Semiconductor Devices & Microsystems (ASDAM), pp. 1-4. 2014.
  20. F. Li, E. Dekneuvel, G. Jacquemod, D. Quaglia, M. Lora, F. Pecheux, and R. Butaud Multi-level modeling of wireless embedded systems. In Proc of IEEE/ECSI FDL 2014, pages 1-8.
  21. F. Fummi, M. Lora, F. Stefanni, D. Trachanis, J. Vanhese, and S. Vinco. Moving from Co-Simulation to Simulation for Effective Smart Systems Design. In Proc. of the ACM/IEEE DATE 2014, pages 1–4, 2014.
  22. M. Lora, R. Muradore, F. Fummi, and R. Reffato. Simulation Alternatives for Modeling Networked Cyber-Physical Systems. In Proc. of Euromicro DSD 2014, pages 1-8.
  23. F. Fummi, M. Lora, F. Stefanni, and S. Vinco. Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity. In Proc of IEEE/ECSI FDL 2014, pages 1-4.
  24. N. Bombieri, E. Ebeid, F. Fummi, and M. Lora, On the reuse of RTL IPs for SysML model generation. In Proc. of IEEE International Workshop on Microprocessor Test and Verification (MTV) 2012, pp. 54-59.
  25. V. Izosimov, G. Di Guglielmo, M. Lora, G. Pravadelli, F. Fummi, Z. Peng, and M. Fujita. Optimization of assertion placement in time-constrained embedded systems. In Proc. of IEEE ETS 2011, pages 171–176.
%d bloggers like this: