An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (AI*IA, 2001)

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (IJCAR, 2001)

Towards an Efficient Library for SAT: a Manifesto. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella; Moshe Y. Vardi (Electron. Notes Discret. Math., 2001)

Learning for Quantified Boolean Logic Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (AAAI/IAAI, 2002)

Watched Data Structures for QBF Solvers. - Ian P. Gent; Enrico Giunchiglia; Massimo Narizzano; Andrew G. D. Rowley; Armando Tacchella (SAT, 2003)

Backjumping for Quantified Boolean Logic satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (Artif. Intell., 2003)

Monotone Literals and Learning in QBF Reasoning. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (CP, 2004)

QuBE++: An Efficient QBF Solver. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (FMCAD, 2004)

The Second QBF Solvers Comparative Evaluation. - Daniel Le Berre; Massimo Narizzano; Laurent Simon 001; Armando Tacchella (SAT (Selected Papers, 2004)

QBF Reasoning on Real-World Instances. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (SAT, 2004)

The QBFEVAL Web Portal. - Massimo Narizzano; Luca Pulina; Armando Tacchella (JELIA, 2006)

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (J. Artif. Intell. Res., 2006)

Report of the Third QBF Solvers Evaluation. - Massimo Narizzano; Luca Pulina; Armando Tacchella (J. Satisf. Boolean Model. Comput., 2006)

Ranking and Reputation Systems in the QBF Competition. - Massimo Narizzano; Luca Pulina; Armando Tacchella (AI*IA, 2007)

Quantifier Structure in Search-Based Procedures for QBFs. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Preprocessing Techniques for QBFs. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (RCRA, 2008)

Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu; Salvatore Sabina (RCRA@AI*IA, 2009)

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Paolo Marin; Matthew Lewis 004; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (RCRA@AI*IA, 2009)

Automatic Test Generation for Coverage Analysis Using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (EUROCAST, 2009)

Automatic Test Generation for Coverage Analysis of ERTMS Software. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (ICST, 2009)

Comparison of knowledge sharing strategies in a parallel QBF solver. - Paolo Marin; Massimo Narizzano; Enrico Giunchiglia; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (HPCS, 2009)

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Paolo Marin; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (SAT, 2009)

Evaluating and certifying QBFs: A comparison of state-of-the-art tools. - Massimo Narizzano; Claudia Peschiera; Luca Pulina; Armando Tacchella (AI Commun., 2009)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2009)

Automatic generation of high quality test sets via CBMC. - Emanuele Di Rosa; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu (VERIFY@IJCAR, 2010)

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (SAT, 2010)

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (J. Autom. Reason., 2010)

QuBE7.0. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (J. Satisf. Boolean Model. Comput., 2010)

Parallel QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001; Paolo Marin; Massimo Narizzano; Enrico Giunchiglia (Fundam. Informaticae, 2011)

An Empirical Perspective on Ten Years of QBF Solving. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (RCRA@AI*IA, 2015)

Automatic Test-Pattern Generation for Grey-Box Programs. - Ali Khalili; Massimo Narizzano; Armando Tacchella; Enrico Giunchiglia (AST@ICSE, 2015)

Automatic segmentation of deep intracerebral electrodes in computed tomography scans. - Gabriele Arnulfo; Massimo Narizzano; Francesco Cardinale; Marco Fato; Jaakko Palva (BMC Bioinform., 2015)

Learning for Verification in Embedded Systems: A Case Study. - Ali Khalili; Massimo Narizzano; Armando Tacchella (AI*IA, 2016)

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (Fundam. Informaticae, 2016)

SEEG assistant: a 3DSlicer extension to support epilepsy surgery. - Massimo Narizzano; Gabriele Arnulfo; Serena Ricci; Benedetta Toselli; Martin Tisdall; Andrea Canessa; Marco Massimo Fato; Francesco Cardinale (BMC Bioinform., 2017)

Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant. - Davide Scorza; Elena De Momi; Lisa Plaino; Gaetano Amoroso; Gabriele Arnulfo; Massimo Narizzano; Luis Kabongo; Francesco Cardinale (Int. J. Comput. Assist. Radiol. Surg., 2017)

Learning middleware models for verification of distributed control programs. - Ali Khalili; Massimo Narizzano; Lorenzo Natale; Armando Tacchella (Robotics Auton. Syst., 2017)

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2018)

Automata based test generation with SpecPro. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (RET@ICSE, 2019)

Poster: Automatic Consistency Checking of Requirements with ReqV. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (ICST, 2019)

Property specification patterns at work: verification and inconsistency explanation. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (Innov. Syst. Softw. Eng., 2019)

Automated Requirements-Based Testing of Black-Box Reactive Systems. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2020)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2021)

Verification Of Data-Intensive Embedded Systems. - Massimo Narizzano; Armando Tacchella (ECMS, 2023)