| A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 169 | 2014 |
| An efficient SMT solver for string constraints T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters Formal Methods in System Design 48, 206-234, 2016 | 71 | 2016 |
| Scaling up DPLL (T) string solvers using context-dependent simplification A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli International Conference on Computer Aided Verification, 453-474, 2017 | 50 | 2017 |
| A decision procedure for regular membership and length constraints over unbounded strings T Liang, N Tsiskaridze, A Reynolds, C Tinelli, C Barrett International Symposium on Frontiers of Combining Systems, 135-150, 2015 | 47 | 2015 |
| Efficient solving of string constraints for security analysis C Barrett, C Tinelli, M Deters, T Liang, A Reynolds, N Tsiskaridze Proceedings of the Symposium and Bootcamp on the Science of Security, 4-6, 2016 | 6 | 2016 |
| Automated reasoning over string constraints T Liang The University of Iowa, 2014 | 2 | 2014 |
| An efficient DPLL (T) solver for a theory of strings and regular expressions T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters Formal Methods in System Design, to appear, 2015 | | 2015 |
| Exploiting parallelism in the ME calculus. T Liang, C Tinelli PAAR@ IJCAR, 96-108, 2012 | | 2012 |
| SMT-COMP 2014 entry: CVC4 v1. 4 KB NYU, CB NYU, FB CEA, C Conway, MD NYU, LH NYU, DJ SRI, ... | | |
| SMT-COMP 2015 entry: CVC4 v1. 5-prerelease KB NYU, CB NYU, FB CEA, M Brain, C Conway, MD NYU, L Hadarean, ... | | |
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu