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: S=aacute=nchez:Alejandro
Contributed to:
2014
2012Wrote 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.