Sfoglia per Autore
Vacuity Analysis by Fault Simulation
2008-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
On the Functional Qualification of a Platform Model
2009-01-01 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
The Role of Mutation Analysis for Property Qualification
2009-01-01 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
DDPSL: an Easy Way of Defining Properties
2010-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano
Vacuity Analysis for Property Qualification by Mutation of Checkers
2010-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
IPA: Assertion-based verification in embedded-software design
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara
IPA: Reusing of Properties after Discretization of Hybrid Automata
2011-01-01 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.
Reusing of Properties after Discretization of Hybrid Automata
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
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
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
On the use of assertions for embedded-software dynamic verification
2012-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco
Open Problems in Verification and Refinement of Autonomous Robotic Systems
2012-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Realizability of embedded controllers: from hybrid models to correct implementations
2012-01-01 DI GUGLIELMO, Luigi
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
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata
2013-01-01 DI GUGLIELMO, Luigi; S., Seshia; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Vacuity Analysis by Fault Simulation | 1-gen-2008 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
On the Functional Qualification of a Platform Model | 1-gen-2009 | Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi | |
The Role of Mutation Analysis for Property Qualification | 1-gen-2009 | Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi | |
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 | |
HIFSuite: Tools for HDL Code Conversion and Manipulation | 1-gen-2010 | Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A. | |
DDPSL: an Easy Way of Defining Properties | 1-gen-2010 | DI GUGLIELMO, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano | |
Vacuity Analysis for Property Qualification by Mutation of Checkers | 1-gen-2010 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
Correct-by-construction code generation from hybrid automata specification | 1-gen-2011 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano | |
IPA: Assertion-based verification in embedded-software design | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara | |
IPA: Reusing of Properties after Discretization of Hybrid Automata | 1-gen-2011 | 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. | |
Reusing of Properties after Discretization of Hybrid Automata | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
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 | |
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
On the use of assertions for embedded-software dynamic verification | 1-gen-2012 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco | |
Open Problems in Verification and Refinement of Autonomous Robotic Systems | 1-gen-2012 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
Realizability of embedded controllers: from hybrid models to correct implementations | 1-gen-2012 | DI GUGLIELMO, Luigi | |
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 | |
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata | 1-gen-2013 | DI GUGLIELMO, Luigi; S., Seshia; Villa, Tiziano |
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