Moreno Bragaglio

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Description Languages

Formal Specification

Fault Localization

Operating System

Top Venues

VLSI-SoC (Selected Papers)

Publications

Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola
Assertion-aware approximate computing design exploration on behavioral models. LATS (2022)
Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli
System-level bug explanation through program slicing and instruction clusterization. VLSI-SoC (2021)
Moreno Bragaglio, Samuele Germiniani, Graziano Pravadelli
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level. VLSI-SoC (Selected Papers) (2021)
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
MIST: monitor generation from informal specifications for firmware verification. VLSI-SOC (2020)
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
From Informal Specifications to an ABV Framework for Industrial Firmware Verification. VLSI-SoC (Selected Papers) (2020)