| 2025 | DATE | Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. | Mario Libro, Sebastiano Gaiardelli, Marco Panato, Stefano Spellini, Michele Lora, Franco Fummi |
| 2025 | INDIN | Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software. | Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, Michele Lora, Samarjit Chakraborty, Franco Fummi |
| 2024 | DATE | An AI-Enabled Framework for Smart Semiconductor Manufacturing. | Khaled Sidahmed Sidahmed Alamin, Davide Appello, Alessandro Beghi, Nicola Dall'Ora, Fabio Depaoli, Santa Di Cataldo, Franco Fummi, Sebastiano Gaiardelli, Michele Lora, Enrico Macii, Alessio Mascolini, Daniele Pagano, Francesco Ponzio, Gian Antonio Susto, Sara Vinco |
| 2024 | DATE | Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. | Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi |
| 2024 | DATE | Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. | Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2024 | ETFA | A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. | Mohammad Uddin, Sebastiano Gaiardelli, Michele Lora, Dong Seon Cheng, Franco Fummi |
| 2024 | IECON | Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software. | Pietro Turco, Elisa Zanella, Andrea Valentini, Sebastiano Gaiardelli, Nicola Dall'Ora, Michele Lora, Franco Fummi |
| 2023 | DATE | Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2023 | DDECS | Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. | Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia |
| 2023 | IROS | Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2022 | DATE | A Software Architecture to Control Service-Oriented Manufacturing Systems. | Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi |
| 2022 | ICCAD | Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. | Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2021 | ETFA | Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. | Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi |
| 2021 | FDL | 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, Franco Fummi |
| 2020 | DATE | Production Recipe Validation through Formalization and Digital Twin Generation. | Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi |
| 2019 | FDL | Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. | Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
| 2019 | INDIN | A Contract-based Methodology for Production Lines Validation. | Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi |
| 2018 | DATE | Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. | Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi |
| 2018 | DATE | CHASE: Contract-based requirement engineering for cyber-physical system design. | Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli |
| 2018 | FDL | Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. | Stefano Centomo, Michele Lora, Franco Fummi |
| 2017 | ASPDAC | Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. | Michele Lora, Enrico Fraccaroli, Franco Fummi |
| 2017 | DATE | Automatic abstraction of multi-discipline analog models for efficient functional simulation. | Enrico Fraccaroli, Michele Lora, Franco Fummi |
| 2017 | FDL | Automatic generation of cycle-accurate Simulink blocks from hdl ips. | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
| 2017 | FDL | Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
| 2016 | DATE | Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. | Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi |
| 2016 | FDL | IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. | Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino |
| 2015 | FDL | Conservative behavioural modelling in systemc-AMS. | Sara Vinco, Michele Lora, Mark Zwolinski |
| 2014 | DATE | Moving from co-simulation to simulation for effective smart systems design. | Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco |
| 2014 | DSD | Simulation Alternatives for Modeling Networked Cyber-Physical Systems. | Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi |
| 2014 | FDL | Multi-level modeling of wireless embedded systems. | Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, Franois Pcheux, Remi Butaud |
| 2013 | FDL | Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. | Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco |
| 2011 | ETS | Optimization of Assertion Placement in Time-Constrained Embedded Systems. | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita |