Massimo Narizzano

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Reactive Systems

Consistency Checking

Computed Tomography Scans

Top Venues

Publications

Massimo Narizzano, Armando Tacchella
Verification Of Data-Intensive Embedded Systems. ECMS (2023)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM (2020)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR (2020)
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
Automata based test generation with SpecPro. RET@ICSE (2019)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST (2019)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM (2018)
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella
Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. 92 (2017)
Davide Scorza, Elena De Momi, Lisa Plaino, Gaetano Amoroso, Gabriele Arnulfo, Massimo Narizzano, Luis Kabongo, Francesco Cardinale
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant. Int. J. Comput. Assist. Radiol. Surg. 12 (10) (2017)
Massimo Narizzano, Gabriele Arnulfo, Serena Ricci, Benedetta Toselli, Martin Tisdall, Andrea Canessa, Marco Massimo Fato, Francesco Cardinale
SEEG assistant: a 3DSlicer extension to support epilepsy surgery. BMC Bioinform. 18 (1) (2017)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR (2017)
Ali Khalili, Massimo Narizzano, Armando Tacchella
Learning for Verification in Embedded Systems: A Case Study. AI*IA (2016)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149 (1-2) (2016)
Gabriele Arnulfo, Massimo Narizzano, Francesco Cardinale, Marco Fato, Jaakko Palva
Automatic segmentation of deep intracerebral electrodes in computed tomography scans. BMC Bioinform. 16 (2015)
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE (2015)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA (2015)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas CoRR (2011)
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107 (2-3) (2011)
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR (2010)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT (2010)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
QuBE7.0. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. 45 (4) (2010)
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22 (4) (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST (2009)
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST (2009)
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA (2009)
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT (2009)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
Preprocessing Techniques for QBFs. RCRA (2008)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (3) (2007)
Massimo Narizzano, Luca Pulina, Armando Tacchella
Ranking and Reputation Systems in the QBF Competition. AI*IA (2007)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Quantifier structure in search based procedures for QBFs. DATE (2006)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26 (2006)
Massimo Narizzano, Luca Pulina, Armando Tacchella
Report of the Third QBF Solvers Evaluation. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Massimo Narizzano, Luca Pulina, Armando Tacchella
The QBFEVAL Web Portal. JELIA (2006)
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QBF Reasoning on Real-World Instances. SAT (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Monotone Literals and Learning in QBF Reasoning. CP (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QBF Reasoning on Real-World Instances. SAT (Selected Papers (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QuBE++: An Efficient QBF Solver. FMCAD (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145 (1-2) (2003)
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
Watched Data Structures for QBF Solvers. SAT (2003)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI (2002)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9 (2001)