BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krstic:Sava

Facilitated 1 volumes:

SMT 2007Ed

Contributed to:

CADE 20132013
CAV 20132013
CAV 20122012
SMT 20122012
CADE 20092009
TACAS 20092009
TACAS 20072007
PPDP 20042004
CADE 20032003
TACAS 20032003
VMCAI 20022002
FoSSaCS 20012001

Wrote 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.
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.
Canonization for Disjoint Unions of Theories (SK, SC), pp. 197–211.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.