Michele Lora
Michele Lora
Universitą degli Studi di Verona, and University of Southern California
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
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
272014
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
182018
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
122020
Translation, abstraction and integration for effective smart system design
M Lora, S Vinco, F Fummi
IEEE Transactions on Computers 68 (10), 1525-1538, 2019
122019
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
122017
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
112016
Conservative behavioural modelling in SystemC-AMS
S Vinco, M Lora, M Zwolinski
2015 Forum on Specification and Design Languages (FDL), 1-8, 2015
112015
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 (2), 167-180, 2015
102015
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
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
72018
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
72017
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
72016
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
72015
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
62019
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
52018
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models
S Vinco, M Lora, E Macii, M Poncino
2016 Forum on Specification and Design Languages (FDL), 1-8, 2016
52016
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity
F Fummi, M Lora, F Stefanni, S Vinco
Languages, Design Methods, and Tools for Electronic System Design, 103-124, 2015
52015
Automatic generation of cycle-accurate simulink blocks from hdl ips
S Centomo, M Lora, A Portaluri, F Stefanni, F Fummi
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
42017
Smart system case studies
I Blanco, F Cenni, R Carminati, A Ciccazzo, S Dalle Feste, F Fummi, ...
Smart Systems Integration and Simulation, 195-227, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20