Sava Krstic

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 2

Top Topics

Key Agreement Protocol

Improved Algorithm

Top Venues

Festschrift for Dave Schmidt

Publications

Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR (2018)
Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD (2017)
Sava Krstic, Jin Yang, David W. Palmer, Randy B. Osborne, Eran Talmor
Security of SoC firmware load protocols. HOST (2014)
John Launchbury, Sava Krstic, T. E. Sauerwein
Coroutining Folds with Hyperfunctions. Festschrift for Dave Schmidt (2013)
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic
Finite Model Finding in SMT. CAV (2013)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Invariants for finite instances and beyond. FMCAD (2013)
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett
Quantifier Instantiation Techniques for Finite Model Finding in SMT. CADE (2013)
Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle
SMT-Based System Verification with DVF. SMT@IJCAR (2012)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV (2012)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground interpolation for the theory of equality Log. Methods Comput. Sci. 8 (1) (2012)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground Interpolation for the Theory of Equality. TACAS (2009)
Amit Goel, Sava Krstic, Cesare Tinelli
Ground Interpolation for Combined Theories. CADE (2009)
Sava Krstic, Albert Oliveras
Preface. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Sava Krstic, Amit Goel
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCoS (2007)
Sava Krstic, Robert B. Jones, John O'Leary
Mothers of Pipelines. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
Combined Satisfiability Modulo Parametric Theories. TACAS (2007)
Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary
Synchronous Elastic Circuits. CSR (2006)
Sylvain Conchon, Sava Krstic
Strategies for combining decision procedures. Theor. Comput. Sci. 354 (2) (2006)
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
Tool Building Requirements for an API to First-Order Solvers. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary
Synchronous Elastic Networks. FMCAD (2006)
Sava Krstic, Sylvain Conchon
Canonization for disjoint unions of theories. Inf. Comput. 199 (1-2) (2005)
Sava Krstic, John Matthews
language. PPDP (2004)
Sylvain Conchon, Sava Krstic
Strategies for Combining Decision Procedures. TACAS (2003)
Sava Krstic, John Matthews
Inductive Invariants for Nested Recursion. TPHOLs (2003)
Sava Krstic, Sylvain Conchon
Canonization for Disjoint Unions of Theories. CADE (2003)
Sava Krstic, John Matthews
Verifying BDD Algorithms through Monadic Interpretation. VMCAI (2002)
Sava Krstic, John Launchbury, Dusko Pavlovic
Categories of Processes Enriched in Final Coalgebras. FoSSaCS (2001)
Mauricio Gutierrez, Sava Krstic
Normal Forms for Basis-Conjugating Automorphisms of a Free Group. Int. J. Algebra Comput. 8 (6) (1998)