Michele Lora

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 39

Top Topics

Subgraph Isomorphism

Production Line

Design Space Exploration

Manufacturing Processes

Top Venues

IEEE Trans. Computers

Publications

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. DATE (2024)
Mario Libro, Sebastiano Gaiardelli, Michele Lora, Franco Fummi
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0. ICIT (2024)
Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. IEEE Trans. Ind. Informatics 20 (4) (2024)
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
An AI-Enabled Framework for Smart Semiconductor Manufacturing. DATE (2024)
Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE (2024)
Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Carlo Tadiello, Michele Lora, Dong Seon Cheng, Franco Fummi
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. IEEE Access 12 (2024)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. CoRR (2023)
Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. CoRR (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. IROS (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. DATE (2023)
Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. DDECS (2023)
Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. ISIE (2022)
Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
A Software Architecture to Control Service-Oriented Manufacturing Systems. DATE (2022)
Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. ICCAD (2022)
Michele Lora, Pierluigi Nuzzo
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. ICCPS (2022)
Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. ETFA (2021)
Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL (2021)
Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Ind. Informatics 17 (9) (2021)
Enrico Fraccaroli, Michele Lora, Franco Fummi
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. IEEE Trans. Computers 69 (9) (2020)
Xingbin Jiang, Michele Lora, Sudipta Chattopadhyay
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring. ACM Great Lakes Symposium on VLSI (2020)
Xingbin Jiang, Michele Lora, Sudipta Chattopadhyay
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices. ACM Trans. Internet Techn. 20 (2) (2020)
Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Production Recipe Validation through Formalization and Digital Twin Generation. DATE (2020)
Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL (2019)
Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay
Compositional Design of Multi-Robot Systems Control Software on ROS. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
A Contract-based Methodology for Production Lines Validation. INDIN (2019)
Michele Lora, Sara Vinco, Franco Fummi
Translation, Abstraction and Integration for Effective Smart System Design. IEEE Trans. Computers 68 (10) (2019)
Michele Lora, Sara Vinco, Enrico Fraccaroli, Davide Quaglia, Franco Fummi
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (2) (2018)
Stefano Centomo, Michele Lora, Franco Fummi
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. FDL (2018)
Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi
Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. DATE (2018)
Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi
Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. CODES+ISSS (2018)
Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli
CHASE: Contract-based requirement engineering for cyber-physical system design. DATE (2018)
Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) (2017)
Michele Lora
Validation of HMI applications for industrial smart display. HLDVT (2017)
Michele Lora, Enrico Fraccaroli, Franco Fummi
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. ASP-DAC (2017)
Enrico Fraccaroli, Michele Lora, Franco Fummi
Automatic abstraction of multi-discipline analog models for efficient functional simulation. DATE (2017)
Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL (2017)
Michele Lora, Sara Vinco, Franco Fummi
A unifying flow to ease smart systems integration. HLDVT (2016)
Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. DATE (2016)
Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. FDL (2016)
Sara Vinco, Michele Lora, Mark Zwolinski
Conservative behavioural modelling in systemc-AMS. FDL (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31 (2) (2015)
Michele Lora, Riccardo Muradore, Davide Quaglia, Franco Fummi
Simulation alternatives for the verification of networked cyber-physical systems. Microprocess. Microsystems 39 (8) (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
On the reuse of RTL assertions in SystemC TLM verification. LATW (2014)
Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco
Moving from co-simulation to simulation for effective smart systems design. DATE (2014)
Michele Lora, Francesco Martinelli, Franco Fummi
Hardware Synthesis from Software-Oriented UML Descriptions. MTV (2014)
Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, François Pêcheux, Remi Butaud
Multi-level modeling of wireless embedded systems. FDL (2014)
Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi
Simulation Alternatives for Modeling Networked Cyber-Physical Systems. DSD (2014)
Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. J. Electron. Test. 29 (5) (2013)
Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL (2013)
Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
On the Reuse of RTL IPs for SysML Model Generation. MTV (2012)
Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28 (4) (2012)
Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS (2011)