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, to appear in 2019.
  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, …, M. Lora, 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. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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. 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, to appear.
  2. S. Centomo, M. Lora, F. Fummi, Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms, in Proc. of IEEE FDL 2018, to appear.
  3. 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.
  4. 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.
  5. M. Lora. Validation of HMI Applications for Industrial Smart Display. In Proc. of IEEE HLDVT Workshop 2017, pages 1-8.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. S. Vinco, M. Lora, and M. Zwolinski. Conservative Behavioural Modelling in SystemC-AMS. In Proc. of ECSI/IEEE FDL 2015, pages 1–8, 2015.
  13. 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.
  14. 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, 2015. Pages 1-6.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.