Sava Krstic

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
FAR-Cubicle - A new reachability algorithm for Cubicle.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014
Security of SoC firmware load protocols.
Proceedings of the 2014 IEEE International Symposium on Hardware-Oriented Security and Trust, 2014

2013
Coroutining Folds with Hyperfunctions.
Proceedings of the Semantics, 2013

Invariants for finite instances and beyond.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Finite Model Finding in SMT.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Quantifier Instantiation Techniques for Finite Model Finding in SMT.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Ground interpolation for the theory of equality
Log. Methods Comput. Sci., 2012

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

SMT-Based System Verification with DVF.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2009
Ground Interpolation for Combined Theories.
Proceedings of the Automated Deduction, 2009

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

Combined Satisfiability Modulo Parametric Theories.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006
Strategies for combining decision procedures.
Theor. Comput. Sci., 2006

Mothers of Pipelines.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Synchronous Elastic Circuits.
Proceedings of the Computer Science, 2006

2005
Canonization for disjoint unions of theories.
Inf. Comput., 2005

Tool Building Requirements for an API to First-Order Solvers.
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

2004
Semantics of the <i>reFL<sup>ect</sup></i> language.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Inductive Invariants for Nested Recursion.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002
Verifying BDD Algorithms through Monadic Interpretation.
Proceedings of the Verification, 2002

2001
Categories of Processes Enriched in Final Coalgebras.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

1998
Normal Forms for Basis-Conjugating Automorphisms of a Free Group.
Int. J. Algebra Comput., 1998


  Loading...