BRAGAGLIO, MORENO
BRAGAGLIO, MORENO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.01 secondi).
Assertion-aware approximate computing design exploration on behavioral models
2022-01-01 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level
2022-01-01 Bragaglio, M; Germiniani, S; Pravadelli, G
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
2021-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
MIST: monitor generation from informal specifications for firmware verification
2020-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
System-level bug explanation through program slicing and instruction clusterization
2021-01-01 Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Assertion-aware approximate computing design exploration on behavioral models | 1-gen-2022 | Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level | 1-gen-2022 | Bragaglio, M; Germiniani, S; Pravadelli, G | |
| From Informal Specifications to an ABV Framework for Industrial Firmware Verification | 1-gen-2021 | Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano | |
| MIST: monitor generation from informal specifications for firmware verification | 1-gen-2020 | Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano | |
| System-level bug explanation through program slicing and instruction clusterization | 1-gen-2021 | Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano |