BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × USA
2 × Italy
Collaborated with:
M.F.Frias J.P.Galeotti N.Aguirre M.M.Moscato N.Rosner G.Baum T.S.E.Maibaum
Talks about:
alloy (5) analysi (2) verif (2) upgrad (1) specif (1) invari (1) effici (1) analyz (1) action (1) bound (1)

Person: Carlos López Pombo

DBLP DBLP: Pombo:Carlos_L=oacute=pez

Contributed to:

ISSTA 20102010
TACAS 20072007
ICSE 20052005
FME 20032003

Wrote 4 papers:

ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification
Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
TACAS-2007-FriasPM #alloy #analysis #specification #verification
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (MFF, CLP, MMM), pp. 587–601.
ICSE-2005-FriasGPA #alloy #named
DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.
FME-2003-FriasPBAM #alloy
Taking Alloy to the Movies (MFF, CLP, GB, NA, TSEM), pp. 678–697.

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.