Optimization of Assertion Placement in Time-Constrained Embedded Systems. - Viacheslav Izosimov; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Giuseppe Di Guglielmo; Masahiro Fujita (ETS, 2011)

On the Reuse of RTL IPs for SysML Model Generation. - Nicola Bombieri; Emad Samuel Malki Ebeid; Franco Fummi; Michele Lora (MTV, 2012)

Time-Constraint-Aware Optimization of Assertions in Embedded Software. - Viacheslav Izosimov; Giuseppe Di Guglielmo; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Masahiro Fujita (J. Electron. Test., 2012)

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. - Franco Fummi; Michele Lora; Francesco Stefanni; Sara Vinco (FDL, 2013)

On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. - Nicola Bombieri; Emad Samuel Malki Ebeid; Franco Fummi; Michele Lora (J. Electron. Test., 2013)

Moving from co-simulation to simulation for effective smart systems design. - Franco Fummi; Michele Lora; Francesco Stefanni; Dimitrios Trachanis; Jahn Vanhese; Sara Vinco (DATE, 2014)

Simulation Alternatives for Modeling Networked Cyber-Physical Systems. - Michele Lora; Riccardo Muradore; Riccardo Reffato; Franco Fummi (DSD, 2014)

Multi-level modeling of wireless embedded systems. - Fangyan Li; Eric Dekneuvel; Gilles Jacquemod; Davide Quaglia; Michele Lora; François Pêcheux; Remi Butaud (FDL, 2014)

On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

Hardware Synthesis from Software-Oriented UML Descriptions. - Michele Lora; Francesco Martinelli; Franco Fummi (MTV, 2014)

Conservative behavioural modelling in systemc-AMS. - Sara Vinco; Michele Lora; Mark Zwolinski (FDL, 2015)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

Simulation alternatives for the verification of networked cyber-physical systems. - Michele Lora; Riccardo Muradore; Davide Quaglia; Franco Fummi (Microprocess. Microsystems, 2015)

Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. - Enrico Fraccaroli; Michele Lora; Sara Vinco; Davide Quaglia; Franco Fummi (DATE, 2016)

IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. - Sara Vinco; Michele Lora; Enrico Macii; Massimo Poncino (FDL, 2016)

A unifying flow to ease smart systems integration. - Michele Lora; Sara Vinco; Franco Fummi (HLDVT, 2016)

Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. - Michele Lora; Enrico Fraccaroli; Franco Fummi (ASP-DAC, 2017)

Automatic abstraction of multi-discipline analog models for efficient functional simulation. - Enrico Fraccaroli; Michele Lora; Franco Fummi (DATE, 2017)

Automatic generation of cycle-accurate Simulink blocks from hdl ips. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL, 2017)

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL (Selected Papers), 2017)

Validation of HMI applications for industrial smart display. - Michele Lora (HLDVT, 2017)

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. - Stefano Spellini; Michele Lora; Sudipta Chattopadhyay 001; Franco Fummi (CODES+ISSS, 2018)

Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. - Michele Lora; Stefano Centomo; Davide Quaglia; Franco Fummi (DATE, 2018)

CHASE: Contract-based requirement engineering for cyber-physical system design. - Pierluigi Nuzzo 002; Michele Lora; Yishai A. Feldman; Alberto L. Sangiovanni-Vincentelli (DATE, 2018)

Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. - Stefano Centomo; Michele Lora; Franco Fummi (FDL, 2018)

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. - Michele Lora; Sara Vinco; Enrico Fraccaroli; Davide Quaglia; Franco Fummi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. - Stefano Spellini; Roberta Chirico; Michele Lora; Franco Fummi (FDL, 2019)

A Contract-based Methodology for Production Lines Validation. - Roberta Chirico; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi (INDIN, 2019)

Translation, Abstraction and Integration for Effective Smart System Design. - Michele Lora; Sara Vinco; Franco Fummi (IEEE Trans. Computers, 2019)

Compositional Design of Multi-Robot Systems Control Software on ROS. - Stefano Spellini; Michele Lora; Franco Fummi; Sudipta Chattopadhyay 001 (ACM Trans. Embed. Comput. Syst., 2019)

Production Recipe Validation through Formalization and Digital Twin Generation. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (DATE, 2020)

Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring. - Xingbin Jiang; Michele Lora; Sudipta Chattopadhyay 001 (ACM Great Lakes Symposium on VLSI, 2020)

Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. - Enrico Fraccaroli; Michele Lora; Franco Fummi (IEEE Trans. Computers, 2020)

An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices. - Xingbin Jiang; Michele Lora; Sudipta Chattopadhyay 001 (ACM Trans. Internet Techn., 2020)

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. - Stefano Spellini; Sebastiano Gaiardelli; Michele Lora; Franco Fummi (ETFA, 2021)

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 (FDL, 2021)

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (IEEE Trans. Ind. Informatics, 2021)

A Software Architecture to Control Service-Oriented Manufacturing Systems. - Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi (DATE, 2022)

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. - Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (ICCAD, 2022)

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. - Michele Lora; Pierluigi Nuzzo 002 (ICCPS, 2022)

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. - Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi (ISIE, 2022)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (DATE, 2023)

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 (DDECS, 2023)

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (IROS, 2023)

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; et al. (DATE, 2024)

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. - Michele Lora; Sebastiano Gaiardelli; Chanwook Oh; Stefano Spellini; Pierluigi Nuzzo 002; Franco Fummi (DATE, 2024)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. - Yifeng Xiao; Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (DATE, 2024)

A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. - Mohammad Uddin; Sebastiano Gaiardelli; Michele Lora; Dong Seon Cheng; Franco Fummi (ETFA, 2024)

Integrating Modeling Languages with Ontologies in the Context of Industry 4.0. - Mario Libro; Sebastiano Gaiardelli; Michele Lora; Franco Fummi (ICIT, 2024)

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 (IECON, 2024)

Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. - Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Carlo Tadiello; Michele Lora; Dong Seon Cheng; Franco Fummi (IEEE Access, 2024)

RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. - Sebastiano Gaiardelli; Michele Lora; Stefano Spellini; Franco Fummi (IEEE Trans. Ind. Informatics, 2024)

Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. - Mario Libro; Sebastiano Gaiardelli; Marco Panato; Stefano Spellini; Michele Lora; Franco Fummi (DATE, 2025)