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
1932003
MCMT: A model checker modulo theories
S Ghilardi, S Ranise
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
1772010
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
1402010
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
1262009
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
1132005
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
1062008
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
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
822020
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
812003
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
792005
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
752015
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
722006
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
692012
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
Satisfiability modulo theories
S Ranise, C Tinelli
Trends and Controversies-IEEE Intelligent Systems Magazine 21 (6), 71-81, 2006
632006
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
612020
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
612007
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
572018
The system can't perform the operation now. Try again later.
Articles 1–20