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 × Austria
1 × France
Collaborated with:
C.Sánchez S.Sankaranarayanan B.E.Chang
Talks about:
parametr (2) version (1) reflect (1) generat (1) datatyp (1) concurr (1) system (1) invari (1) extend (1) verif (1)

Person: Alejandro Sánchez

DBLP DBLP: S=aacute=nchez:Alejandro

Contributed to:

CAV 20142014
SAS 20122012

Wrote 2 papers:

CAV-2014-SanchezS #concurrent #data type #named #verification
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
SAS-2012-SanchezSSC #generative #invariant #self #using
Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.

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.