DI GUGLIELMO, Luigi

DI GUGLIELMO, Luigi  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
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
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 1-gen-2012 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
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.
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
Realizability of embedded controllers: from hybrid models to correct implementations 1-gen-2012 DI GUGLIELMO, Luigi
Reusing of Properties after Discretization of Hybrid Automata 1-gen-2011 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
The Role of Mutation Analysis for Property Qualification 1-gen-2009 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 1-gen-2013 DI GUGLIELMO, Luigi; S., Seshia; Villa, Tiziano
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
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 1-gen-2013 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