Sava Krstic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
2001–2017
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMCAD | FAR-Cubicle - A new reachability algorithm for Cubicle. | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux |
| 2013 | CADE | Quantifier Instantiation Techniques for Finite Model Finding in SMT. | Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett |
| 2013 | CAV | Finite Model Finding in SMT. | Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic |
| 2013 | FMCAD | Invariants for finite instances and beyond. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2012 | CADE | SMT-Based System Verification with DVF. | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
| 2012 | CAV | Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2009 | CADE | Ground Interpolation for Combined Theories. | Amit Goel, Sava Krstic, Cesare Tinelli |
| 2009 | TACAS | Ground Interpolation for the Theory of Equality. | Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
| 2007 | TACAS | Combined Satisfiability Modulo Parametric Theories. | Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli |
| 2006 | CSR | Synchronous Elastic Circuits. | Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary |
| 2006 | FMCAD | Synchronous Elastic Networks. | Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
| 2004 | PPDP | Semantics of the | Sava Krstic, John Matthews |
| 2003 | CADE | Canonization for Disjoint Unions of Theories. | Sava Krstic, Sylvain Conchon |
| 2003 | TACAS | Strategies for Combining Decision Procedures. | Sylvain Conchon, Sava Krstic |
| 2002 | VMCAI | Verifying BDD Algorithms through Monadic Interpretation. | Sava Krstic, John Matthews |
| 2001 | FOSSACS | Categories of Processes Enriched in Final Coalgebras. | Sava Krstic, John Launchbury, Dusko Pavlovic |