IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 45
Titolo Data di pubblicazione Autore(i) File
Reasoning with Quantified Boolean Formulas 1-gen-2009 Giunchiglia, Enrico; Marin, P; Narizzano, Massimo
Automatic Test Generation for Coverage Analysis of ERTMS Software 1-gen-2009 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
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
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 1-gen-2009 MATTHEW D. T., Lewis; Paolo, Marin; Tobias, Schubert; Narizzano, Massimo; Bernd, Becker; Giunchiglia, Enrico
QuBE7.0 1-gen-2010 Giunchiglia, Enrico; P., Marin; Narizzano, Massimo
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 1-gen-2010 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 1-gen-2010 Giunchiglia, Enrico; P., Marin; Narizzano, Massimo
Parallel QBF Solving with Advanced Knowledge Sharing 1-gen-2011 M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico
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.
An empirical perspective on ten years of QBF solving 1-gen-2015 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Automatic Test-Pattern Generation for Grey-Box Programs 1-gen-2015 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
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
Learning for verification in embedded systems: A case study 1-gen-2016 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 1-gen-2016 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Learning middleware models for verification of distributed control programs 1-gen-2017 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 1-gen-2017 Scorza, D.; De Momi, E.; Plaino, L.; Amoroso, G.; Arnulfo, G.; Narizzano, M.; Kabongo, L.; Cardinale, F.
A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series 1-gen-2017 Cardinale, Francesco; Rizzi, Michele; D'Orio, Piergiorgio; Casaceli, Giuseppe; Arnulfo, Gabriele; Narizzano, Massimo; Scorza, Davide; De Momi, Elena; Nichelatti, Michele; Redaelli, Daniela; Sberna, Maurizio; Moscato, Alessio; Castana, Laura
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 1-gen-2017 Narizzano, Massimo; Arnulfo, Gabriele; Ricci, Serena; Toselli, Benedetta; Tisdall, Martin; Canessa, Andrea; Fato, MARCO MASSIMO; Cardinale, Francesco
Consistency of property specification patterns with boolean and constrained numerical signals 1-gen-2018 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
Mostrati risultati da 21 a 40 di 45
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