| Cubicle: a parallel SMT-based model checker for parameterized systems: tool paper S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 119 | 2012 |
| Quantifier instantiation techniques for finite model finding in SMT A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 85 | 2013 |
| Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL S Krstić, A Goel Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007 | 81 | 2007 |
| The non-finite presentability of IA (F3) and GL2 (Z [t, t-1]) S Krstic, J McCool Inventiones mathematicae 129 (3), 595, 1997 | 80 | 1997 |
| Finite model finding in SMT A Reynolds, C Tinelli, A Goel, S Krstić Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 74 | 2013 |
| Equivariant outer space and automorphisms of free-by-finite groups S Krstić, K Vogtmann Comment. Math. Helv. 68 (2), 216-262, 1993 | 61 | 1993 |
| Ground Interpolation for the Theory of Equality. A Fuchs, A Goel, J Grundy, S Krstic, C Tinelli TACAS 9, 413-427, 2009 | 54 | 2009 |
| Synchronous elastic networks S Krstic, J Cortadella, M Kishinevsky, J O'Leary 2006 Formal Methods in Computer Aided Design, 19-30, 2006 | 51 | 2006 |
| Parameterized system verification with guard strengthening and parameter abstraction S Krstic Automated verification of infinite state systems, 2005 | 51 | 2005 |
| Invariants for finite instances and beyond S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi 2013 Formal Methods in Computer-Aided Design, 61-68, 2013 | 50 | 2013 |
| Security of SoC firmware load protocols S Krstić, J Yang, DW Palmer, RB Osborne, E Talmor 2014 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2014 | 47 | 2014 |
| Canonization for disjoint unions of theories S Krstić, S Conchon Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003 | 41 | 2003 |
| Actions of finite groups on graphs and related automorphisms of free groups S Krstić Journal of algebra 124 (1), 119-138, 1989 | 40 | 1989 |
| Ground interpolation for combined theories A Goel, S Krstić, C Tinelli Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 39 | 2009 |
| Combined satisfiability modulo parametric theories S Krstić, A Goel, J Grundy, C Tinelli Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 35 | 2007 |
| Deciding array formulas with frugal axiom instantiation A Goel, S Krstić, A Fuchs Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008 | 29 | 2008 |
| Categories of processes enriched in final coalgebras S Krstić, J Launchbury, D Pavlović Foundations of Software Science and Computation Structures: 4th …, 2001 | 28 | 2001 |
| Finitely generated virtually free groups have finitely presented automorphism group S Krstić Proceedings of the London Mathematical Society 3 (1), 49-69, 1992 | 24 | 1992 |
| SMT-Based System Verification with DVF. A Goel, S Krstic, R Leslie, MR Tuttle SMT@ IJCAR 20, 32-43, 2012 | 22 | 2012 |
| Strategies for combining decision procedures S Conchon, S Krstić Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 21 | 2003 |
