Daniele Zucchelli

According to our database, Daniele Zucchelli authored at least 11 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

A Decidability Result for the Model Checking of Infinite-State Systems.

Daniele Zucchelli, Enrica Nicolini

J. Autom. Reason., 2012

2008

ombination methods for software verification. (Méthodes de combinaison pour la vérification de logiciels).

Daniele Zucchelli

PhD thesis, 2008

A comprehensive combination framework.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli

ACM Trans. Comput. Log., 2008

Towards SMT Model Checking of Array-Based Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Decision procedures for extensions of the theory of arrays.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Ann. Math. Artif. Intell., 2007

Noetherianity and Combination Problems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Deduction, 2007

2006

Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.

Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

A Comprehensive Framework for Combined Decision Procedures.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005