CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Simplified stimuli generation for scenario and assertion based verification 1-gen-2014 Pravadelli, Graziano; Piccolboni, Luca
Exploiting GPU Architectures for Dynamic Invariant Mining 1-gen-2015 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
A parallelizable approach for mining likely invariants 1-gen-2015 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Stimuli Generation through Invariant Mining for Black-Box Verification 1-gen-2016 Piccolboni, Luca; Pravadelli, Graziano
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 1-gen-2017 Fraccaroli, Enrico; Piccolboni, Luca; Fummi, Franco
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 1-gen-2019 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Mostrati risultati da 1 a 6 di 6
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