DI GUGLIELMO, Luigi
DI GUGLIELMO, Luigi
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
DDPSL: an Easy Way of Defining Properties
2010-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano
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
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
IPA: Assertion-based verification in embedded-software design
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
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.
On the Functional Qualification of a Platform Model
2009-01-01 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
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
Reusing of Properties after Discretization of Hybrid Automata
2011-01-01 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
The Role of Mutation Analysis for Property Qualification
2009-01-01 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
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
Vacuity Analysis by Fault Simulation
2008-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Vacuity Analysis for Property Qualification by Mutation of Checkers
2010-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
| Correct-by-construction code generation from hybrid automata specification | 1-gen-2011 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano | |
| DDPSL: an Easy Way of Defining Properties | 1-gen-2010 | DI GUGLIELMO, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano | |
| 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 | |
| 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 | |
| IPA: Assertion-based verification in embedded-software design | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
| 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. | |
| On the Functional Qualification of a Platform Model | 1-gen-2009 | Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi | |
| 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 | |
| Reusing of Properties after Discretization of Hybrid Automata | 1-gen-2011 | 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 | |
| The Role of Mutation Analysis for Property Qualification | 1-gen-2009 | Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi | |
| 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 | |
| Vacuity Analysis by Fault Simulation | 1-gen-2008 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
| Vacuity Analysis for Property Qualification by Mutation of Checkers | 1-gen-2010 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano |