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: Pombo:Carlos_L=oacute=pez
Contributed to:
2010
2007
2005
2003Wrote 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.