Publications

publications by categories in reversed chronological order.

2025

  1. Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration
    Mario Libro, Sebastiano Gaiardelli, Marco Panato, and 3 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2025
    DOI
  2. Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software
    Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, and 3 more authors
    In IEEE International Conference on Industrial Informatics (INDIN), 2025
    Metadati bibliografici pubblicamente verificati da IRIS e dalla citazione del repository ufficiale del progetto
    DOI

2024

  1. Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols
    Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, and 4 more authors
    IEEE Access, 2024
    DOI
  2. RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization
    Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, and 1 more author
    IEEE Transactions on Industrial Informatics, 2024
    DOI
  3. Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism
    Yifeng Xiao, Chanwook Oh, Michele Lora, and 1 more author
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024
    DOI
  4. Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
    Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, and 3 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024
    DOI
  5. An AI-Enabled Framework for Smart Semiconductor Manufacturing
    Khaled Sidahmed Sidahmed Alamin, Davide Appello, Alessandro Beghi, and 12 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024
    DOI
  6. A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations
    Mohammad Uddin, Sebastiano Gaiardelli, Michele Lora, and 2 more authors
    In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2024
    DOI
  7. Integrating Modeling Languages with Ontologies in the Context of Industry 4.0
    Mario Libro, Sebastiano Gaiardelli, Michele Lora, and 1 more author
    In IEEE International Conference on Industrial Technology (ICIT), 2024
    DOI
  8. Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software
    Pietro Turco, Elisa Zanella, Andrea Valentini, and 4 more authors
    In IEEE Annual Conference of the Industrial Electronics Society (IECON), 2024
    DOI

2023

  1. Progettazione Digitale
    Franco Fummi, Michele Lora, M. G. Sami, and 1 more author
    2023
    Textbook in Italian for the Computer Architecture course.
  2. Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads
    Christopher Leet, Chanwook Oh, Michele Lora, and 2 more authors
    In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023
    DOI
  3. Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
    Christopher Leet, Chanwook Oh, Michele Lora, and 2 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2023
    DOI
  4. Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications
    Luigi Capogrosso, Federico Cunico, Michele Lora, and 3 more authors
    In IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2023
    DOI

2022

  1. A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
    Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, and 1 more author
    In IEEE International Symposium on Industrial Electronics (ISIE), 2022
    DOI
  2. A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
    Michele Lora and Pierluigi Nuzzo
    In ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2022
    DOI
  3. A Software Architecture to Control Service-Oriented Manufacturing Systems
    Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, and 2 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2022
    DOI

2021

  1. Virtual Prototyping a Production Line Using Assume-Guarantee Contracts
    Stefano Spellini, Roberta Chirico, Marco Panato, and 2 more authors
    IEEE Transactions on Industrial Informatics, 2021
    DOI
  2. Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0
    Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, and 1 more author
    In Forum on Specification and Design Languages (FDL), 2021
    DOI
  3. Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
    Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, and 1 more author
    In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2021
    DOI

2020

  1. Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms
    Stefano Centomo, Michele Lora, and Franco Fummi
    In Languages, Design Methods, and Tools for Electronic System Design – Selected Contributions from FDL 2018, 2020
    DOI
  2. Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems
    Enrico Fraccaroli, Michele Lora, and Franco Fummi
    IEEE Transactions on Computers, 2020
    DOI
  3. An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices
    Xingbin Jiang, Michele Lora, and Sudipta Chattopadhyay
    ACM Transactions on Internet Technology, 2020
    DOI
  4. Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring
    Xingbin Jiang, Michele Lora, and Sudipta Chattopadhyay
    In ACM Great Lakes Symposium on VLSI (GLSVLSI), 2020
    DOI
  5. Production Recipe Validation through Formalization and Digital Twin Generation
    Stefano Spellini, Roberta Chirico, Marco Panato, and 2 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2020
    DOI

2019

  1. Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces
    Stefano Centomo, Michele Lora, Antonio Portaluri, and 2 more authors
    In Languages, Design Methods, and Tools for Electronic System Design – Selected Contributions from FDL 2017, 2019
    DOI
  2. Compositional Design of Multi-Robot Systems Control Software on ROS
    Stefano Spellini, Michele Lora, Franco Fummi, and 1 more author
    ACM Transactions on Embedded Computing Systems, 2019
    DOI
  3. Translation, Abstraction and Integration for Effective Smart System Design
    Michele Lora, Sara Vinco, and Franco Fummi
    IEEE Transactions on Computers, 2019
    DOI
  4. Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
    Stefano Spellini, Roberta Chirico, Michele Lora, and 1 more author
    In Forum on Specification and Design Languages (FDL), 2019
    DOI
  5. A Contract-based Methodology for Production Lines Validation
    Roberta Chirico, Stefano Spellini, Marco Panato, and 2 more authors
    In IEEE International Conference on Industrial Informatics (INDIN), 2019
    DOI

2018

  1. Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
    Michele Lora, Sara Vinco, Enrico Fraccaroli, and 2 more authors
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018
    DOI
  2. Work-in-Progress: Introducing Assume/Guarantee Contracts for Verifying Robotic Applications
    Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, and 1 more author
    In ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2018
    DOI
  3. Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms
    Stefano Centomo, Michele Lora, and Franco Fummi
    In Forum on Specification and Design Languages (FDL), 2018
    DOI
  4. CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design
    Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, and 1 more author
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2018
    DOI
  5. Automatic Integration of Cycle-accurate Descriptions with Continuous-time Models for Cyber-Physical Virtual Platforms
    Michele Lora, Stefano Centomo, Davide Quaglia, and 1 more author
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2018
    DOI

2017

  1. Validation of HMI applications for industrial smart display
    Michele Lora
    In 2017 IEEE international high level design validation and test workshop (HLDVT), 2017
    DOI
  2. Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs
    Stefano Centomo, Michele Lora, Antonio Portaluri, and 2 more authors
    In Forum on Specification and Design Languages (FDL), 2017
    DOI
  3. Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling
    Michele Lora, Enrico Fraccaroli, and Franco Fummi
    In Asia and South Pacific Design Automation Conference (ASP-DAC), 2017
    DOI
  4. Automatic abstraction of multi-discipline analog models for efficient functional simulation
    Enrico Fraccaroli, Michele Lora, and Franco Fummi
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2017
    DOI

2016

  1. SystemC-AMS simulation of conservative behavioral descriptions
    Sara Vinco, Michele Lora, and Mark Zwolinski
    In Languages, Design Methods, and Tools for Electronic System Design, 2016
    DOI
  2. Design domains and abstraction levels for effective smart system simulation
    Sara Vinco, Michele Lora, Valerio Guarnieri, and 3 more authors
    In Smart Systems Integration and Simulation, 2016
    DOI
  3. Smart system case studies
    Ignazio Blanco, Fabio Cenni, Roberto Carminati, and 8 more authors
    In Smart Systems Integration and Simulation, 2016
    DOI
  4. A unifying flow to ease smart systems integration
    Michele Lora, Sara Vinco, and Franco Fummi
    In IEEE International High Level Design Validation and Test Workshop (HLDVT), 2016
    DOI
  5. IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models
    Sara Vinco, Michele Lora, Enrico Macii, and 1 more author
    In Forum on Specification and Design Languages (FDL), 2016
    DOI
  6. A fast simulation environment for smart systems validation in presence of electromagnetic interferences
    Enrico Fraccaroli, Michele Lora, Franco Fummi, and 1 more author
    In IEEE International Conference on Electromagnetics in Advanced Applications (ICEAA), 2016
    DOI
  7. Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems
    Enrico Fraccaroli, Michele Lora, Sara Vinco, and 2 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2016
    DOI

2015

  1. Simulation alternatives for the verification of networked cyber-physical systems
    Michele Lora, Riccardo Muradore, Davide Quaglia, and 1 more author
    Microprocessors and Microsystems, 2015
    DOI
  2. Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
    Nicola Bombieri, Franco Fummi, Valerio Guarnieri, and 6 more authors
    Journal of Electronic Testing, 2015
    DOI
  3. Conservative Behavioural Modelling in SystemC-AMS
    Sara Vinco, Michele Lora, and Mark Zwolinski
    In Forum on Specification and Design Languages (FDL), 2015
    DOI

2014

  1. Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
    Franco Fummi, Michele Lora, Francesco Stefanni, and 1 more author
    In Languages, Design Methods, and Tools for Electronic System Design, 2014
    DOI
  2. Hardware Synthesis from Software-oriented UML Descriptions
    Michele Lora, Francesco Martinelli, and Franco Fummi
    In IEEE International Microprocessor Test and Verification Workshop (MTV), 2014
    DOI
  3. On the reuse of RTL assertions in SystemC TLM verification
    Nicola Bombieri, Franco Fummi, Valerio Guarnieri, and 6 more authors
    In Latin American Test Workshop (LATW), 2014
    DOI
  4. Homogeneous simulation: The effective integration solution for smart systems
    Franco Fummi, Michele Lora, Dimitrios Trachanis, and 2 more authors
    In IEEE International Conference on Advanced Semiconductor Devices and Microsystems (ASDAM), 2014
    DOI
  5. Multi-level modeling of wireless embedded systems
    Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, and 4 more authors
    In Forum on Specification and Design Languages (FDL), 2014
    DOI
  6. Moving from Co-Simulation to Simulation for Effective Smart Systems Design
    Franco Fummi, Michele Lora, Francesco Stefanni, and 3 more authors
    In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014
    DOI
  7. Simulation Alternatives for Modeling Networked Cyber-Physical Systems
    Michele Lora, Riccardo Muradore, Riccardo Reffato, and 1 more author
    In Euromicro Conference on Digital System Design (DSD), 2014
    DOI

2013

  1. On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
    Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, and 1 more author
    Journal of Electronic Testing, 2013
    DOI
  2. Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
    Franco Fummi, Michele Lora, Francesco Stefanni, and 1 more author
    In Forum on Specification and Design Languages (FDL), 2013

2012

  1. Time-Constraint-Aware Optimization of Assertions in Embedded Software
    Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, and 4 more authors
    Journal of Electronic Testing, 2012
    DOI
  2. On the Reuse of RTL IPs for SysML Model Generation
    Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, and 1 more author
    In IEEE International Microprocessor Test and Verification Workshop (MTV), 2012
    DOI

2011

  1. Optimization of Assertion Placement in Time-Constrained Embedded Systems
    Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, and 4 more authors
    In IEEE European Test Symposium (ETS), 2011
    DOI