Follow
Silvio Ranise
Title
Cited by
Cited by
Year
A rewriting approach to satisfiability procedures
A Armando, S Ranise, M Rusinowitch
Information and Computation 183 (2), 140-164, 2003
1922003
MCMT: A model checker modulo theories
S Ghilardi, S Ranise
International Joint Conference on Automated Reasoning, 22-29, 2010
1512010
The smt-lib standard: Version 1.2
S Ranise, C Tinelli
Technical report, Department of Computer Science, The University of Iowa …, 2006
1502006
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
1292009
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
S Ranise, S Ghilardi
Logical Methods in Computer Science 6, 2010
1192010
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
1082005
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
922008
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
922006
The satisfiability modulo theories library (SMT-LIB). www
S Ranise, C Tinelli
SMT-LIB. org 164, 2006
842006
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
832003
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
702006
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
702005
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
642012
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
632015
Satisfiability modulo theories
S Ranise, C Tinelli
Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006
592006
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
582007
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
552012
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
512005
The SMT-LIB format: An initial proposal
S Ranise, C Tinelli
Proceedings of PDPAR 3, 258, 2003
512003
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
472011
The system can't perform the operation now. Try again later.
Articles 1–20