A rewriting approach to satisfiability procedures A Armando, S Ranise, M Rusinowitch Information and Computation 183 (2), 140-164, 2003 | 193 | 2003 |
MCMT: A model checker modulo theories S Ghilardi, S Ranise Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 176 | 2010 |
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006 | 153 | 2006 |
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis S Ghilardi, S Ranise Logical Methods in Computer Science 6, 2010 | 139 | 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 | 126 | 2009 |
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 | 112 | 2005 |
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 | 105 | 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 | 94 | 2006 |
The satisfiability modulo theories library (SMT-LIB). www S Ranise, C Tinelli SMT-LIB. org 164, 2006 | 85 | 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 | 81 | 2003 |
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 | 80 | 2020 |
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 | 77 | 2005 |
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 | 75 | 2015 |
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 | 72 | 2006 |
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 | 68 | 2012 |
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 | 66 | 2012 |
Collective remote attestation at the Internet of Things scale: State-of-the-art and future challenges M Ambrosin, M Conti, R Lazzeretti, MM Rabbani, S Ranise IEEE Communications Surveys & Tutorials 22 (4), 2447-2461, 2020 | 61 | 2020 |
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 | 61 | 2007 |
Satisfiability modulo theories S Ranise, C Tinelli Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006 | 61 | 2006 |
PADS: Practical attestation for highly dynamic swarm topologies M Ambrosin, M Conti, R Lazzeretti, MM Rabbani, S Ranise 2018 International Workshop on Secure Internet of Things (SIoT), 18-27, 2018 | 55 | 2018 |