Ana Gabriela Garis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2002–2012
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | IFM | Specifying UML Protocol State Machines in Alloy. | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
| 2011 | SEFM | Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
| 2009 | IFM | Model Checking LTL Formulae in RAISE with FDR. | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
| 2007 | AICCSA | Defining OCL constraints for the Proxy Design Pattern Profile. | Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano |
| 2006 | AICCSA | Defining Patterns Using UML Profiles. | Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano |
| 2005 | CATA | UML Profiles for Design Patterns. | Ana Gabriela Garis, Daniel Riesco, German Montejano, Narayan C. Debnath |
| 2002 | CAINE | Structuring a Formal Specification starting from Process Modeling. | Daniel Riesco, German Montejano, Robert Uzal, Alejandro Sanchez, Ana Gabriela Garis, Narayan C. Debnath |