A rewriting approach to satisfiability procedures A Armando, S Ranise, M Rusinowitch Information and Computation 183 (2), 140-164, 2003 | 191 | 2003 |
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006 | 149 | 2006 |
MCMT: A model checker modulo theories S Ghilardi, S Ranise International Joint Conference on Automated Reasoning, 22-29, 2010 | 148 | 2010 |
New results on rewrite-based satisfiability procedures A Armando, MP Bonacina, S Ranise, S Schulz ACM Transactions on Computational Logic (TOCL) 10 (1), 1-51, 2009 | 128 | 2009 |
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis S Ranise, S Ghilardi Logical Methods in Computer Science 6, 2010 | 117 | 2010 |
Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Rossum, ... International Conference on Computer Aided Verification, 335-349, 2005 | 108 | 2005 |
Towards SMT model checking of array-based systems S Ghilardi, E Nicolini, S Ranise, D Zucchelli International Joint Conference on Automated Reasoning, 67-82, 2008 | 92 | 2008 |
Efficient theory combination via boolean search M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ... Information and Computation 204 (10), 1493-1525, 2006 | 92 | 2006 |
The satisfiability modulo theories library (SMT-LIB). www S Ranise, C Tinelli SMT-LIB. org 164, 2006 | 84 | 2006 |
Light-weight theorem proving for debugging and verifying units of code D Déharbe, S Ranise First International Conference onSoftware Engineering and Formal Methods …, 2003 | 83 | 2003 |
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli International Joint Conference on Automated Reasoning, 513-527, 2006 | 70 | 2006 |
Combining data structures with nonstably infinite theories using many-sorted logic S Ranise, C Ringeissen, CG Zarba International Workshop on Frontiers of Combining Systems, 48-64, 2005 | 69 | 2005 |
Analysis of XACML policies with SMT F Turkmen, J Hartog, S Ranise, N Zannone International Conference on Principles of Security and Trust, 115-134, 2015 | 63 | 2015 |
SAFARI: SMT-based abstraction for arrays with interpolants F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina International Conference on Computer Aided Verification, 679-685, 2012 | 63 | 2012 |
Decision procedures for extensions of the theory of arrays S Ghilardi, E Nicolini, S Ranise, D Zucchelli Annals of Mathematics and Artificial Intelligence 50 (3), 231-254, 2007 | 58 | 2007 |
Satisfiability modulo theories S Ranise, C Tinelli Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006 | 58 | 2006 |
Lazy abstraction with interpolants for arrays F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina International Conference on Logic for Programming Artificial Intelligence …, 2012 | 52 | 2012 |
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal A Armando, MP Bonacina, S Ranise, S Schulz International Workshop on Frontiers of Combining Systems, 65-80, 2005 | 51 | 2005 |
The SMT-LIB format: An initial proposal S Ranise, C Tinelli Proceedings of PDPAR 3, 258, 2003 | 50 | 2003 |
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies F Alberti, A Armando, S Ranise Proceedings of the 6th ACM symposium on information, computer and …, 2011 | 47 | 2011 |