Spremljaj
Michele Lora
Naslov
Navedeno
Navedeno
Leto
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
1152020
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
432018
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
322014
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
302017
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
27*2021
Translation, abstraction and integration for effective smart system design
M Lora, S Vinco, F Fummi
IEEE Transactions on Computers 68 (10), 1525-1538, 2019
232019
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
152022
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
152016
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
142015
Conservative behavioural modelling in SystemC-AMS
S Vinco, M Lora, M Zwolinski
2015 Forum on Specification and Design Languages (FDL), 1-8, 2015
132015
Enabling component reuse in model-based system engineering of cyber-physical production systems
S Spellini, S Gaiardelli, M Lora, F Fummi
2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021
102021
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
102020
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
102018
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
102017
On the reuse of heterogeneous IPs into SysML models for integration validation
N Bombieri, E Ebeid, F Fummi, M Lora
Journal of Electronic Testing 29 (5), 647-667, 2013
102013
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
92019
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
Hardware synthesis from software-oriented UML descriptions
M Lora, F Martinelli, F Fummi
2014 15th International Microprocessor Test and Verification Workshop, 33-38, 2014
92014
Automatic generation of analog/mixed signal virtual platforms for smart systems
E Fraccaroli, M Lora, F Fummi
IEEE Transactions on Computers 69 (9), 1263-1278, 2020
82020
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
82018
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20