Sava Krstic

According to our database, Sava Krstic authored at least 24 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

FAR-Cubicle - A new reachability algorithm for Cubicle.

Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014

Security of SoC firmware load protocols.

Sava Krstic, Jin Yang, David W. Palmer, Randy B. Osborne, Eran Talmor

Proceedings of the 2014 IEEE International Symposium on Hardware-Oriented Security and Trust, 2014

2013

Coroutining Folds with Hyperfunctions.

John Launchbury, Sava Krstic, T. E. Sauerwein

Proceedings of the Semantics, 2013

Invariants for finite instances and beyond.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Quantifier Instantiation Techniques for Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Ground interpolation for the theory of equality

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli

Log. Methods Comput. Sci., 2012

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

SMT-Based System Verification with DVF.

Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2009

Ground Interpolation for Combined Theories.

Amit Goel, Sava Krstic, Cesare Tinelli

Proceedings of the Automated Deduction, 2009

2007

Preface.

Sava Krstic, Albert Oliveras

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Combined Satisfiability Modulo Parametric Theories.

Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.

Sava Krstic, Amit Goel

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Strategies for combining decision procedures.

Sylvain Conchon, Sava Krstic

Theor. Comput. Sci., 2006

Mothers of Pipelines.

Sava Krstic, Robert B. Jones, John O'Leary

Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006

Synchronous Elastic Networks.

Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Synchronous Elastic Circuits.

Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary

Proceedings of the Computer Science, 2006

2005

Canonization for disjoint unions of theories.

Sava Krstic, Sylvain Conchon

Inf. Comput., 2005

Tool Building Requirements for an API to First-Order Solvers.

Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

2004

Semantics of the <i>reFL^ect</i> language.

Sava Krstic, John Matthews

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Inductive Invariants for Nested Recursion.

Sava Krstic, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

Verifying BDD Algorithms through Monadic Interpretation.

Sava Krstic, John Matthews

Proceedings of the Verification, 2002

2001

Categories of Processes Enriched in Final Coalgebras.

Sava Krstic, John Launchbury, Dusko Pavlovic

Proceedings of the Foundations of Software Science and Computation Structures, 2001

1998

Normal Forms for Basis-Conjugating Automorphisms of a Free Group.

Mauricio Gutierrez, Sava Krstic

Int. J. Algebra Comput., 1998