Silvio Ranise

Silvio Ranise

Fondazione Bruno Kessler - Trentino / Italy
Others
AD Scientific Index ID: 4455302
-
person_outline Silvio Ranise's MOST POPULAR ARTICLES
1-) A rewriting approach to satisfiability proceduresA Armando, S Ranise, M RusinowitchInformation and Computation 183 (2), 140-164, 20031922003
2-) MCMT: A model checker modulo theoriesS Ghilardi, S RaniseInternational Joint Conference on Automated Reasoning, 22-29, 20101522010
3-) The smt-lib standard: Version 1.2S Ranise, C TinelliTechnical report, Department of Computer Science, The University of Iowa …, 20061502006
4-) Backward reachability of array-based systems by SMT solving: Termination and invariant synthesisS Ghilardi, S RaniseLogical Methods in Computer Science 6, 20101402010
5-) New results on rewrite-based satisfiability proceduresA Armando, MP Bonacina, S Ranise, S SchulzACM Transactions on Computational Logic (TOCL) 10 (1), 1-51, 20091272009