Design Automation for Smart Factories

Publications

1. Nuzzo, P., Lora, M., Feldman, Y. A., & Sangiovanni-Vincentelli, A. L. (2018). CHASE: Contract-based requirement engineering for cyber-physical system design. 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 839–844.
   -> 10.23919/DATE.2018.8342122
2. Spellini, S., Gaiardelli, S., Lora, M., & Fummi, F. (2021). Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. Proceedings of 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021).
   -> 10.1109/ETFA45728.2021.9613572
   -> Open-access version -> Blog post
3. Gaiardelli, S., Spellini, S., Lora, M., & Fummi, F. (2021). Modeling in Industry 5.0: What Is There and What Is Missing. Proceedings of Forum on Specification and Design Language.
   -> 10.1109/FDL53530.2021.9568371
   -> Open-access version -> Blog post
4. Gaiardelli, S., Spellini, S., Panato, M., Lora, M., & Fummi, F. (2022). A Software Architecture to Control Service-Oriented Manufacturing Systems. Proceedings of IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), 1–4.
   -> 10.23919/DATE54114.2022.9774522
   -> Open-access version -> Blog post
5. Gaiardelli, S., Spellini, S., Lora, M., & Fummi, F. (2022). A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. Proceedings of IEEE International Symposium on Industrial Electronics (ISIE), 1–7.
   -> 10.1109/ISIE51582.2022.9831468
   -> Open-access version -> Blog post
6. Lora, M., & Nuzzo, P. (2022). A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. Proceedings of 13th ACM/IEEE International Conference on Cyber-Physical Systems, 1–2.
   -> 10.1109/ICCPS54341.2022.00046
   -> Open-access version -> Blog post
7. Oh, C., Lora, M., & Nuzzo, P. (2022). Quantitative Verification and Design Space Exploration Under Uncertainty with Parametric Stochastic Contracts. In Proceedings of the IEEE/ACM International Conference on Computer-aided Design (pp. 1–9).
   -> 10.1145/3508352.3549446
   -> Open-access version -> Blog post
8. Leet, C., Oh, C., Lora, M., Koenig, S., & Nuzzo, P. (2023). Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. Proceedings of IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), 1–6.
   -> Open-access version -> Blog post
9. Capogrosso, L., Cunico, F., Lora, M., Cristani, M., Fummi, F., & Quaglia, D. (2023). Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 1–6.
   -> Open-access version -> Blog post
10. Leet, C., Oh, C., Lora, M., Koenig, S., & Nuzzo, P. (2023). Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. Proceedings of the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023), 1–6.
    -> Open-access version -> Blog post