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
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
1672010
The smt-lib standard: Version 1.2
S Ranise, C Tinelli
Technical report, Department of Computer Science, The University of Iowa …, 2006
1532006
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
S Ghilardi, S Ranise
Logical Methods in Computer Science 6, 2010
1382010
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
1272009
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ...
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1092005
Towards SMT model checking of array-based systems
S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
982008
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
942006
The satisfiability modulo theories library (SMT-LIB). www
S Ranise, C Tinelli
SMT-LIB. org 164, 2006
852006
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
822003
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
752005
Analysis of XACML policies with SMT
F Turkmen, J Den Hartog, S Ranise, N Zannone
Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015
732015
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
712006
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
662012
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
652012
Satisfiability modulo theories
S Ranise, C Tinelli
Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006
602006
Decision procedures for extensions of the theory of arrays
S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Annals of Mathematics and Artificial Intelligence 50, 231-254, 2007
592007
SARA: Secure asynchronous remote attestation for IoT systems
E Dushku, MM Rabbani, M Conti, LV Mancini, S Ranise
IEEE Transactions on Information Forensics and Security 15, 3123-3136, 2020
582020
The SMT-LIB format: An initial proposal
S Ranise, C Tinelli
Proceedings of the 1st Workshop on Pragmatics of Decision Procedures in …, 2003
522003
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
512011
The system can't perform the operation now. Try again later.
Articles 1–20