Massimo Narizzano

Orcid: 0000-0002-0268-4843

According to our database1, Massimo Narizzano authored at least 44 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Verification Of Data-Intensive Embedded Systems.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023

2021
Reasoning with Quantified Boolean Formulas.
Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2020
Automated Requirements-Based Testing of Black-Box Reactive Systems.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Property specification patterns at work: verification and inconsistency explanation.
Innov. Syst. Softw. Eng., 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Automata based test generation with SpecPro.
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019

2018
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
Learning middleware models for verification of distributed control programs.
Robotics Auton. Syst., 2017

Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant.
Int. J. Comput. Assist. Radiol. Surg., 2017

SEEG assistant: a 3DSlicer extension to support epilepsy surgery.
BMC Bioinform., 2017

2016
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.
Fundam. Informaticae, 2016

Learning for Verification in Embedded Systems: A Case Study.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015
Automatic segmentation of deep intracerebral electrodes in computed tomography scans.
BMC Bioinform., 2015

Automatic Test-Pattern Generation for Grey-Box Programs.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

An Empirical Perspective on Ten Years of QBF Solving.
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2011
Parallel QBF Solving with Advanced Knowledge Sharing.
Fundam. Informaticae, 2011

2010
QuBE7.0.
J. Satisf. Boolean Model. Comput., 2010

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.
J. Autom. Reason., 2010

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Automatic generation of high quality test sets via CBMC.
Proceedings of the 6th International Verification Workshop, 2010

2009
Reasoning with Quantified Boolean Formulas.
Proceedings of the Handbook of Satisfiability, 2009

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.
AI Commun., 2009

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Comparison of knowledge sharing strategies in a parallel QBF solver.
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Automatic Test Generation for Coverage Analysis of ERTMS Software.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatic Test Generation for Coverage Analysis Using CBMC.
Proceedings of the Computer Aided Systems Theory, 2009

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

Improving the Automatic Test Generation process for Coverage Analysis using CBMC.
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008
Preprocessing Techniques for QBFs.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

2007
Quantifier Structure in Search-Based Procedures for QBFs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

Ranking and Reputation Systems in the QBF Competition.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Report of the Third QBF Solvers Evaluation.
J. Satisf. Boolean Model. Comput., 2006

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
J. Artif. Intell. Res., 2006

The QBFEVAL Web Portal.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2004
QBF Reasoning on Real-World Instances.
Proceedings of the SAT 2004, 2004

The Second QBF Solvers Comparative Evaluation.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

QuBE++: An Efficient QBF Solver.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Monotone Literals and Learning in QBF Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Backjumping for Quantified Boolean Logic satisfiability.
Artif. Intell., 2003

Watched Data Structures for QBF Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002
Learning for Quantified Boolean Logic Satisfiability.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Towards an Efficient Library for SAT: a Manifesto.
Electron. Notes Discret. Math., 2001

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001


  Loading...