Sfoglia per Autore
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Model-Driven Design and Validation of Embedded Software
2011-01-01 DI GUGLIELMO, Giuseppe; Masahiro, Fujita; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini C., Foltinek A.
Optimization of assertion placement in time-constrained embedded systems
2011-01-01 Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe
A testbench specification language for SystemC Verification
2012-01-01 DI GUGLIELMO, Giuseppe; Pravadelli, Graziano
On the use of assertions for embedded-software dynamic verification
2012-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software
2012-01-01 Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
Dynamic property mining for embedded software
2012-01-01 Bonato, Marco; DI GUGLIELMO, Giuseppe; Masahiro, F.; Fummi, Franco; Pravadelli, Graziano
Combining Dynamic Slicing and Mutation Operators for ESL Correction
2012-01-01 Repinski, U.; Hantson, H.; Jenihhin, M.; Raik, J.; Ubar, R.; DI GUGLIELMO, Giuseppe; Pravadelli, Graziano; Fummi, Franco
Enabling dynamic assertion-based verification of embedded software through model-driven design
2012-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
On the Reuse of TLM Mutation Analysis at RTL
2012-01-01 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
Time-Constraint-Aware Optimization of Assertions in Embedded Software
2012-01-01 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
| Model-Driven Design and Validation of Embedded Software | 1-gen-2011 | DI GUGLIELMO, Giuseppe; Masahiro, Fujita; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini C., Foltinek A. | |
| Optimization of assertion placement in time-constrained embedded systems | 1-gen-2011 | Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe | |
| A testbench specification language for SystemC Verification | 1-gen-2012 | DI GUGLIELMO, Giuseppe; Pravadelli, Graziano | |
| On the use of assertions for embedded-software dynamic verification | 1-gen-2012 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco | |
| Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software | 1-gen-2012 | Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano | |
| Dynamic property mining for embedded software | 1-gen-2012 | Bonato, Marco; DI GUGLIELMO, Giuseppe; Masahiro, F.; Fummi, Franco; Pravadelli, Graziano | |
| Combining Dynamic Slicing and Mutation Operators for ESL Correction | 1-gen-2012 | Repinski, U.; Hantson, H.; Jenihhin, M.; Raik, J.; Ubar, R.; DI GUGLIELMO, Giuseppe; Pravadelli, Graziano; Fummi, Franco | |
| Enabling dynamic assertion-based verification of embedded software through model-driven design | 1-gen-2012 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
| On the Reuse of TLM Mutation Analysis at RTL | 1-gen-2012 | Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R. | |
| Time-Constraint-Aware Optimization of Assertions in Embedded Software | 1-gen-2012 | Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile