Massimo Narizzano

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