Follow
Michele Lora
Title
Cited by
Cited by
Year
An experimental analysis of security vulnerabilities in industrial IoT devices
X Jiang, M Lora, S Chattopadhyay
ACM Transactions on Internet Technology (TOIT) 20 (2), 1-24, 2020
822020
CHASE: Contract-based requirement engineering for cyber-physical system design
P Nuzzo, M Lora, YA Feldman, AL Sangiovanni-Vincentelli
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 839-844, 2018
342018
Moving from co-simulation to simulation for effective smart systems design
F Fummi, M Lora, F Stefanni, D Trachanis, J Vanhese, S Vinco
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014
302014
Analog models manipulation for effective integration in smart system virtual platforms
M Lora, S Vinco, E Fraccaroli, D Quaglia, F Fummi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
252017
Translation, abstraction and integration for effective smart system design
M Lora, S Vinco, F Fummi
IEEE Transactions on Computers 68 (10), 1525-1538, 2019
202019
Modeling in industry 5.0: What is there and what is missing: Special session 1: Languages for industry 5.0
S Gaiardelli, S Spellini, M Lora, F Fummi
2021 Forum on specification & Design Languages (FDL), 01-08, 2021
15*2021
Reusing RTL assertion checkers for verification of SystemC TLM models
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
Journal of Electronic Testing 31, 167-180, 2015
152015
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems
E Fraccaroli, M Lora, S Vinco, D Quaglia, F Fummi
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
142016
Conservative behavioural modelling in SystemC-AMS
S Vinco, M Lora, M Zwolinski
2015 Forum on Specification and Design Languages (FDL), 1-8, 2015
122015
Compositional design of multi-robot systems control software on ROS
S Spellini, M Lora, F Fummi, S Chattopadhyay
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019
102019
Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms
M Lora, S Centomo, D Quaglia, F Fummi
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 676-681, 2018
92018
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling
M Lora, E Fraccaroli, F Fummi
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 232-237, 2017
92017
A unifying flow to ease smart systems integration
M Lora, S Vinco, F Fummi
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
92016
On the reuse of RTL assertions in SystemC TLM verification
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
92014
Simulation alternatives for the verification of networked cyber-physical systems
M Lora, R Muradore, D Quaglia, F Fummi
Microprocessors and Microsystems 39 (8), 843-853, 2015
82015
Hardware synthesis from software-oriented UML descriptions
M Lora, F Martinelli, F Fummi
2014 15th International Microprocessor Test and Verification Workshop, 33-38, 2014
82014
Multi-level modeling of wireless embedded systems
F Li, E Dekneuvel, G Jacquemod, D Quaglia, M Lora, F Pecheux, ...
Proceedings of the 2014 Forum on Specification and Design Languages (FDL …, 2014
82014
A software architecture to control service-oriented manufacturing systems
S Gaiardelli, S Spellini, M Panato, M Lora, F Fummi
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 40-43, 2022
72022
Virtual prototyping a production line using assume–guarantee contracts
S Spellini, R Chirico, M Panato, M Lora, F Fummi
IEEE Transactions on Industrial Informatics 17 (9), 6294-6302, 2020
72020
Transaction-level functional mockup units for cyber-physical virtual platforms
S Centomo, M Lora, F Fummi
2018 Forum on Specification & Design Languages (FDL), 5-8, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20