Sava Krstic
Sava Krstic
Research Scientist, Intel Corp.
Bestätigte E-Mail-Adresse bei intel.com
Titel
Zitiert von
Zitiert von
Jahr
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
9102010
Cubicle: A parallel SMT-based model checker for parameterized systems
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
International Conference on Computer Aided Verification, 718-724, 2012
912012
The non-finite presentability of IA (F3) and GL2 (Z [t, t− 1])
S Krstić, J McCool
Inventiones mathematicae 129 (3), 595-606, 1997
771997
Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL
S Krstić, A Goel
International Symposium on Frontiers of Combining Systems, 1-27, 2007
712007
Quantifier instantiation techniques for finite model finding in SMT
A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett
International Conference on Automated Deduction, 377-391, 2013
642013
Synchronous elastic networks
S Krstic, J Cortadella, M Kishinevsky, J O'Leary
2006 Formal Methods in Computer Aided Design, 19-30, 2006
522006
Finite model finding in SMT
A Reynolds, C Tinelli, A Goel, S Krstić
International Conference on Computer Aided Verification, 640-655, 2013
512013
Equivariant outer space and automorphisms of free-by-finite groups
S Krstić, K Vogtmann
Commentarii Mathematici Helvetici 68 (1), 216-262, 1993
511993
Ground interpolation for the theory of equality
A Fuchs, A Goel, J Grundy, S Krstić, C Tinelli
International Conference on Tools and Algorithms for the Construction and …, 2009
492009
Parameterized system verification with guard strengthening and parameter abstraction
S Krstic
Automated verification of infinite state systems, 2005
472005
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
402013
Canonization for disjoint unions of theories
S Krstić, S Conchon
International Conference on Automated Deduction, 197-211, 2003
382003
Ground interpolation for combined theories
A Goel, S Krstić, C Tinelli
International Conference on Automated Deduction, 183-198, 2009
362009
Actions of finite groups on graphs and related automorphisms of free groups
S Krstić
Journal of algebra 124 (1), 119-138, 1989
351989
Combined satisfiability modulo parametric theories
S Krstić, A Goel, J Grundy, C Tinelli
International Conference on Tools and Algorithms for the Construction and …, 2007
322007
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
312014
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
242008
Categories of processes enriched in final coalgebras
S Krstić, J Launchbury, D Pavlović
International Conference on Foundations of Software Science and Computation …, 2001
242001
Strategies for combining decision procedures
S Conchon, S Krstić
International Conference on Tools and Algorithms for the Construction and …, 2003
222003
Normal forms for basis-conjugating automorphisms of a free group
M Gutiérrez, S Krstic
IJAC 8 (6), 631-670, 1998
211998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20