CATALOGO DEI PRODOTTI DELLA RICERCA

DI GUGLIELMO, Giuseppe

DI GUGLIELMO, Giuseppe  

DIPARTIMENTO DI MEDICINA  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A testbench specification language for SystemC Verification 1-gen-2012 DI GUGLIELMO, Giuseppe; Pravadelli, Graziano
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 1-gen-2012 Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
Automatic generation of EFSMs and HLDDs for functional ATPG 1-gen-2008 A., Chepurov; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; J., Raik; R., Ubar; T., Viilukas
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
Dynamic property mining for embedded software 1-gen-2012 Bonato, Marco; DI GUGLIELMO, Giuseppe; Masahiro, F.; Fummi, Franco; Pravadelli, Graziano
Effective EFSM generation for HW/SW-design verification 1-gen-2010 Bertasi, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
EFSM Manipulation to Increase High-Level ATPG 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
EFSM-based model-driven approach to concolic testing of system-level design 1-gen-2011 DI GUGLIELMO, Giuseppe; Fujita, Masahiro; Fummi, Franco; Pravadelli, Graziano; Soffia, Stefano
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
FATE: a Functional ATPG to Traverse unstabilized EFSMs 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
IPA: Assertion-based verification in embedded-software design 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.
Mutation analysis with high-level decision diagrams 1-gen-2010 Hantson, H.; Raik, J.; Jenihhin, M.; Chepurov, A.; Ubar, R.; DI GUGLIELMO, Giuseppe; Fummi, Franco
On the Combined Use of HLDDs and EFSMs for Functional ATPG 1-gen-2007 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Jenihhin; Pravadelli, Graziano; J., Raik; R., Ubar
On the use of assertions for embedded-software dynamic verification 1-gen-2012 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco
On the validation of embedded systems through functional ATPG 1-gen-2008 DI GUGLIELMO, Giuseppe
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