Get started
Author

Michele Lora

Observed names: Lora, Michele, M. Lora
ORCID: 0000-0002-6224-4313
Observed ORCID: 0000-0002-6224-4313
OpenAlex ID: A5069672683
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices
2020 · Xingbin Jiang, Michele Lora, et al. · ACM Transactions on Internet Technology · 101
CHASE: Contract-based requirement engineering for cyber-physical system design
2018 · Pierluigi Nuzzo, Michele Lora, et al. · Design, Automation, and Test in Europe · 42
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
2017 · Michele Lora, Sara Vinco, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 26
PDF
Translation, Abstraction and Integration for Effective Smart System Design
2019 · Michele Lora, Sara Vinco, et al. · IEEE Transactions on Computers · 24
PDF
A Software Architecture to Control Service-Oriented Manufacturing Systems
2022 · Sebastiano Gaiardelli, Stefano Spellini, et al. · Design, Automation, and Test in Europe · 18
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0
2021 · Sebastiano Gaiardelli, Stefano Spellini, et al. · Forum on specification and Design Languages · 17
Moving from co-simulation to simulation for effective smart systems design
2014 · Franco Fummi, Michele Lora, et al. · Design, Automation, and Test in Europe · 14
Virtual Prototyping a Production Line Using Assume–Guarantee Contracts
2020 · Stefano Spellini, Roberta Chirico, et al. · IEEE Transactions on Industrial Informatics · 13
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols
2024 · Sebastiano Gaiardelli, Stefano Spellini, et al. · IEEE Access · 12
PDF
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications
2023 · Luigi Capogrosso, Federico Cunico, et al. · IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) · 12
PDF
Integration of Mixed-signal Components into Virtual Platforms for Holistic Simulation of Smart Systems
2016 · Enrico Fraccaroli, Michele Lora, et al. · Design, Automation, and Test in Europe · 12
PDF
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
2021 · Stefano Spellini, Sebastiano Gaiardelli, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 10
Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms
2018 · Michele Lora, Stefano Centomo, et al. · Design, Automation, and Test in Europe · 10
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
2015 · Nicola Bombieri, Franco Fummi, et al. · Journal of Electronic Testing · 10
Conservative behavioural modelling in systemc-AMS
2015 · Sara Vinco, Michele Lora, et al. · Forum on specification and Design Languages · 10
PDF
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
2013 · Nicola Bombieri, Emad Ebeid, et al. · Journal of Electronic Testing · 9
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads
2023 · Christopher Leet, Chanwook Oh, et al. · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 7
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems
2020 · Enrico Fraccaroli, Michele Lora, et al. · IEEE Transactions on Computers · 7
Compositional Design of Multi-Robot Systems Control Software on ROS
2019 · Stefano Spellini, Michele Lora, et al. · ACM Transactions on Embedded Computing Systems · 7
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling
2017 · Michele Lora, Enrico Fraccaroli, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC) · 7
On the reuse of RTL assertions in SystemC TLM verification
2014 · Nicola Bombieri, Franco Fummi, et al. · IEEE Latin American Test Symposium (LATS) · 7
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
2023 · Christopher Leet, Chanwook Oh, et al. · Design, Automation, and Test in Europe · 6
PDF
Production Recipe Validation through Formalization and Digital Twin Generation
2020 · Stefano Spellini, Roberta Chirico, et al. · Design, Automation, and Test in Europe · 6
A unifying flow to ease smart systems integration
2016 · Michele Lora, Sara Vinco, et al. · Proceedings · 6
PDF
Simulation alternatives for the verification of networked cyber-physical systems
2015 · Michele Lora, Riccardo Muradore, et al. · Microprocessors and Microsystems · 6
Works count: 70
Citation count: 492
H-index: 11
I10-index: 15
Year
Topic
Type