Travelled to:1 × Germany
1 × Italy
1 × Uruguay
Collaborated with:A.Cunha D.Riesco A.C.R.Paiva A.P.Vargas S.L.T.Tarifa C.George
Talks about:alloy (2) uml (2) translat (1) protocol (1) specifi (1) formula (1) diagram (1) specif (1) machin (1) state (1)
Person: Ana Gabriela Garis
DBLP: Garis:Ana_Gabriela
Contributed to:
2012
20112009Wrote 3 papers:
- IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
- SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml
- Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
- IFM-2009-VargasGTG #ltl #model checking
- Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.