A Memory Protection Strategy for Resource Constrained Devices in Safety Critical Applications

Mario Barbareschi , Salvatore Barone , Valentina Casola , Pasquale Montone
2022 6th International Conference on System Reliability and Safety (ICSRS) 533 -538

1
2022
A catalog-based AIG-rewriting approach to the design of approximate components

Mario Barbareschi , Salvatore Barone , Nicola Mazzocca , Alberto Moriconi
IEEE Transactions on Emerging Topics in Computing 11 ( 1) 70 -81

11
2022
Design Space Exploration Tools

Mario Barbareschi , Salvatore Barone , Nicola Mazzocca , Alberto Moriconi
Springer International Publishing 215 -259

1
2022
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique

Mario Barbareschi , Salvatore Barone , Nicola Mazzocca , Alberto Moriconi
Journal of Systems Architecture 150 103112 -103112

2024
A real-time vital control module to increase capabilities of railway control systems in highly automated train operations

Arturo Amendola , Mario Barbareschi , Salvatore De Simone , Giovanni Mezzina
Real-Time Systems 59 ( 4) 636 -661

2
2023
A Step Toward Safe Unattended Train Operations: A Pioneer Vital Control Module

Giovanni Mezzina , Arturo Amendola , Mario Barbareschi , Salvatore De Simone
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) 1 -4

2023
Model-Based Vital Control Architecture for Highly Automated Train Operations

Giovanni Mezzina , Cataldo L Saragaglia , Mario Barbareschi , Diana Serra
Springer Nature Switzerland 163 -170

2022