Moreno Bragaglio

According to our database, Moreno Bragaglio authored at least 5 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Assertion-aware approximate computing design exploration on behavioral models.

Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola

Proceedings of the 23rd IEEE Latin American Test Symposium, 2022

2021

Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level.

Moreno Bragaglio, Samuele Germiniani, Graziano Pravadelli

Proceedings of the VLSI-SoC: Technology Advancement on SoC Design, 2021

System-level bug explanation through program slicing and instruction clusterization.

Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli

Proceedings of the 29th IFIP/IEEE International Conference on Very Large Scale Integration, 2021

2020

From Informal Specifications to an ABV Framework for Industrial Firmware Verification.

Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

Proceedings of the VLSI-SoC: Design Trends, 2020

MIST: monitor generation from informal specifications for firmware verification.

Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

Proceedings of the 28th IFIP/IEEE International Conference on Very Large Scale Integration, 2020