Silvio Ranise
TitleCited byYear
The satisfiability modulo theories library (SMT-LIB). www
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
3692010
Where and why artificial neural networks are applicable in civil engineering
JH Garrett
JOURNAL OF COMPUTING AND CIVIL ENGINEERING (ASCE) 8 (2), 129-130, 1994
228*1994
A rewriting approach to satisfiability procedures
A Armando, S Ranise, M Rusinowitch
Information and Computation 183 (2), 140-164, 2003
1822003
The smt-lib standard: Version 1.2
S Ranise, C Tinelli
Technical report, Department of Computer Science, The University of Iowa …, 2006
1392006
New results on rewrite-based satisfiability procedures
A Armando, MP Bonacina, S Ranise, S Schulz
ACM Transactions on Computational Logic (TOCL) 10 (1), 4, 2009
1212009
MCMT: A model checker modulo theories
S Ghilardi, S Ranise
International Joint Conference on Automated Reasoning, 22-29, 2010
1122010
The satisfiability modulo theories library (SMT-LIB)(2010)
C Barrett, A Stump, C Tinelli
SMT-LIB. org 156, 2016
982016
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ...
International Conference on Computer Aided Verification, 335-349, 2005
982005
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
852006
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
S Ghilardi, S Ranise
arXiv preprint arXiv:1010.1872, 2010
842010
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
792008
The satisfiability modulo theories library (SMT-LIB). www
S Ranise, C Tinelli
SMT-LIB. org 164, 2006
792006
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
772003
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
642006
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-4), 231-254, 2007
572007
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
552012
Satisfiability modulo theories
S Ranise, C Tinelli
Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006
552006
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
542005
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
492005
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
462012
The system can't perform the operation now. Try again later.
Articles 1–20