Travelled to:1 × Canada
1 × Poland
1 × Portugal
1 × Russia
2 × United Kingdom
3 × Italy
3 × USA
Collaborated with:A.Goel C.Tinelli S.Conchon J.Matthews J.Grundy A.Reynolds J.Launchbury D.Pavlovic R.Leslie M.R.Tuttle A.Mebsout F.Zaïdi A.Fuchs M.Deters C.Barrett
Talks about:theori (4) smt (4) combin (3) model (3) interpol (2) system (2) ground (2) finit (2) find (2) base (2)
Person: Sava Krstic
DBLP: Krstic:Sava
Facilitated 1 volumes:
EdContributed to:
2013
2013201220122009
20092007
200420032003
2002
2001Wrote 12 papers:
- CADE-2013-ReynoldsTGKDB #finite #quantifier #smt
- Quantifier Instantiation Techniques for Finite Model Finding in SMT (AR, CT, AG, SK, MD, CB), pp. 377–391.
- CAV-2013-ReynoldsTGK #finite #smt
- Finite Model Finding in SMT (AR, CT, AG, SK), pp. 640–655.
- CAV-2012-ConchonGKMZ #model checking #named #parallel #smt
- Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
- SMT-2012-GoelKLT #smt #verification
- SMT-Based System Verification with DVF (AG, SK, RL, MRT), pp. 32–43.
- CADE-2009-GoelKT
- Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.
- TACAS-2009-FuchsGGKT #formal method #similarity
- Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.
- TACAS-2007-KrsticGGT #parametricity #satisfiability
- Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.
- PPDP-2004-KrsticM #semantics
- Semantics of the reFLect language (SK, JM), pp. 32–42.
- CADE-2003-KrsticC
- Canonization for Disjoint Unions of Theories (SK, SC), pp. 197–211.
- TACAS-2003-ConchonK
- Strategies for Combining Decision Procedures (SC, SK), pp. 537–552.
- VMCAI-2002-KrsticM #algorithm #monad #verification
- Verifying BDD Algorithms through Monadic Interpretation (SK, JM), pp. 182–195.
- FoSSaCS-2001-KrsticLP #algebra #category theory #process
- Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.