Massimo Narizzano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2001–2023
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECMS | Verification Of Data-Intensive Embedded Systems. | Massimo Narizzano, Armando Tacchella |
| 2019 | ICSE | Automata based test generation with SpecPro. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | ICST | Poster: Automatic Consistency Checking of Requirements with ReqV. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2015 | ICSE | Automatic Test-Pattern Generation for Grey-Box Programs. | Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia |
| 2010 | CADE | Automatic generation of high quality test sets via CBMC. | Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu |
| 2010 | SAT | sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
| 2009 | ICST | Automatic Test Generation for Coverage Analysis of ERTMS Software. | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
| 2006 | DATE | Quantifier structure in search based procedures for QBFs. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2006 | JELIA | The QBFEVAL Web Portal. | Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2004 | CP | Monotone Literals and Learning in QBF Reasoning. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | FMCAD | QuBE++: An Efficient QBF Solver. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | The Second QBF Solvers Comparative Evaluation. | Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2003 | SAT | Watched Data Structures for QBF Solvers. | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
| 2002 | AAAI | Learning for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2001 | CADE | QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2001 | IJCAI | Backjumping for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |