Michele Lora

According to our database, Michele Lora authored at least 51 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, April, 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

Integrating Modeling Languages with Ontologies in the Context of Industry 4.0.

Mario Libro, Sebastiano Gaiardelli, Michele Lora, Franco Fummi

Proceedings of the IEEE International Conference on Industrial Technology, 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

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo

IROS, 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

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes.

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems.

Michele Lora, Pierluigi Nuzzo

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.

Chanwook Oh, Michele Lora, Pierluigi Nuzzo

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

A Software Architecture to Control Service-Oriented Manufacturing Systems.

Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

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

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

Proceedings of the 24th Forum on specification & Design Languages, 2021

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems.

Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices.

Xingbin Jiang, Michele Lora, Sudipta Chattopadhyay

ACM Trans. Internet Techn., 2020

Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems.

Enrico Fraccaroli, Michele Lora, Franco Fummi

IEEE Trans. Computers, 2020

Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring.

Xingbin Jiang, Michele Lora, Sudipta Chattopadhyay

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Production Recipe Validation through Formalization and Digital Twin Generation.

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Compositional Design of Multi-Robot Systems Control Software on ROS.

Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay

ACM Trans. Embed. Comput. Syst., 2019

Translation, Abstraction and Integration for Effective Smart System Design.

Michele Lora, Sara Vinco, Franco Fummi

IEEE Trans. Computers, 2019

A Contract-based Methodology for Production Lines Validation.

Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0.

Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

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

Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms.

Stefano Centomo, Michele Lora, Franco Fummi

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

CHASE: Contract-based requirement engineering for cyber-physical system design.

Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms.

Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.

Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

Validation of HMI applications for industrial smart display.

Michele Lora

Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces.

Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Automatic generation of cycle-accurate Simulink blocks from hdl ips.

Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

Automatic abstraction of multi-discipline analog models for efficient functional simulation.

Enrico Fraccaroli, Michele Lora, Franco Fummi

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling.

Michele Lora, Enrico Fraccaroli, Franco Fummi

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

A unifying flow to ease smart systems integration.

Michele Lora, Sara Vinco, Franco Fummi

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 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

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems.

Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Simulation alternatives for the verification of networked cyber-physical systems.

Michele Lora, Riccardo Muradore, Davide Quaglia, Franco Fummi

Microprocess. Microsystems, 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

Conservative behavioural modelling in systemc-AMS.

Sara Vinco, Michele Lora, Mark Zwolinski

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014

Hardware Synthesis from Software-Oriented UML Descriptions.

Michele Lora, Francesco Martinelli, Franco Fummi

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 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

Proceedings of the 15th Latin American Test Workshop, 2014

Multi-level modeling of wireless embedded systems.

Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, François Pêcheux, Remi Butaud

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Simulation Alternatives for Modeling Networked Cyber-Physical Systems.

Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Moving from co-simulation to simulation for effective smart systems design.

Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

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

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity.

Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco

Proceedings of the 2013 Forum on specification and Design Languages, 2013

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

On the Reuse of RTL IPs for SysML Model Generation.

Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

2011

Optimization of Assertion Placement in Time-Constrained Embedded Systems.

Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita

Proceedings of the 16th European Test Symposium, 2011