ZUCCHELLI, DANIELE
ZUCCHELLI, DANIELE
DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)
Combination Methods for Software Verification
2008 D. Zucchelli
Towards SMT Model-Checking of Array-based Systems
2008 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, D. Zucchelli
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Decision Procedures for Extensions of the Theory of Arrays
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Noetherianity and Combination Problems
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures
2006 M.P. Bonacina, S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Recent Advances in Combined Decision Problems
2006 S. Ghilardi, E. Nicolini, D. Zucchelli
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2006 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A Comprehensive Framework for Combining Decision Procedures
2005 S. Ghilardi, E. Nicolini, D. Zucchelli
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems
2003 S. Castano, A. Ferrara, S. Montanelli, D. Zucchelli