NARIZZANO, MASSIMO

NARIZZANO, MASSIMO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 1-gen-2015 Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, F.; Fato, MARCO MASSIMO; Palva, J. M.
Automatic Test Generation for Coverage Analysis of ERTMS Software 1-gen-2009 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
Automatic Test Generation for Coverage Analysis Using CBMC 1-gen-2009 Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; S., Sabina
Automatic Test-Pattern Generation for Grey-Box Programs 1-gen-2015 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Chapter 30. Reasoning with Quantified Boolean Formulas 1-gen-2021 Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Comparison of knowledge sharing strategies in a parallel QBF solver 1-gen-2009 P., Marin; Narizzano, Massimo; Giunchiglia, Enrico; M. D. T., Lewis; T., Schubert; B., Becker
Consistency of property specification patterns with boolean and constrained numerical signals 1-gen-2018 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
An empirical perspective on ten years of QBF solving 1-gen-2015 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 1-gen-2009 Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando
Improving the automatic test generation proces for Coverage Analysis using CBMC 1-gen-2009 Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra; Sabina, Salvatore
Learning for Quantified Boolean Logic Satisfiability 1-gen-2002 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Learning for verification in embedded systems: A case study 1-gen-2016 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando
Learning middleware models for verification of distributed control programs 1-gen-2017 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando
Metodo per il supporto alla pianificazione di traiettorie stereotassiche lineari per l'mpianto di dispositivi intracerebrali quali elettrodi multicontatto registranti e/o stimolanti, sonde bioptiche, applicatori di luce laser 1-gen-2016 Fato, MARCO MASSIMO; Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, Francesco
Monotone Literals and Learning in QBF Reasoning 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando