Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
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
Mostrati risultati da 1 a 20 di 21
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