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 × Italy
2 × Austria
Collaborated with:
E.Rodríguez-Carbonell A.Rubio A.Oliveras K.Nimkar
Talks about:
smt (2) constraint (1) polynomi (1) approach (1) generat (1) termin (1) invari (1) extens (1) prove (1) model (1)

Person: Daniel Larraz

DBLP DBLP: Larraz:Daniel

Contributed to:

CAV 20142014
SAT 20142014
VMCAI 20132013

Wrote 3 papers:

CAV-2014-LarrazNORR #proving #using
Proving Non-termination Using Max-SMT (DL, KN, AO, ERC, AR), pp. 779–796.
SAT-2014-LarrazORR #constraints #polynomial
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
VMCAI-2013-LarrazRR #array #generative #invariant #smt
SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.

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.