 | 2009 |
|---|
| 5 |       | Abigail Parisaca Vargas,
Ana Gabriela Garis,
S. Lizeth Tapia Tarifa,
Chris George:
Model Checking LTL Formulae in RAISE with FDR.
IFM 2009: 231-245 |
| 2007 |
|---|
| 4 | | Narayan C. Debnath,
Ana Gabriela Garis,
Daniel Riesco,
German Montejano:
Defining OCL constraints for the Proxy Design Pattern Profile.
AICCSA 2007: 880-885 |
| 2006 |
|---|
| 3 | | Narayan C. Debnath,
Ana Gabriela Garis,
Daniel Riesco,
German Montejano:
Defining Patterns Using UML Profiles.
AICCSA 2006: 1147-1150 |
| 2005 |
|---|
| 2 |  | Ana Gabriela Garis,
Daniel Riesco,
German Montejano,
Narayan C. Debnath:
UML Profiles for Design Patterns.
Computers and Their Applications 2005: 435-440 |
| 2002 |
|---|
| 1 | | Daniel Riesco,
German Montejano,
Robert Uzal,
Alejandro Sanchez,
Ana Gabriela Garis,
Narayan C. Debnath:
Structuring a Formal Specification starting from Process Modeling.
CAINE 2002: 248-251 |
