Related Links

 Google Scholar

 DBLP

Journals

  • Lucrecia Rescaldani, Ana Garis, Daniel Riesco. “Evaluando un Sistema de Gestión de Expedientes Electrónicos Judiciales de Acuerdo con el Plan de Modernización Argentino”, Iberoamerican Journal of Project Management, ISSN 2346-9161, pp. 1-19, 2017. > pdf
  • Alcino Cunha, Ana Garis, Daniel Riesco. “Translating between Alloy specifications and UML class diagrams annotated with OCL”, Journal of Software and Systems Modeling (SoSyM), Springer, ISSN 1619-1366, pp. 1-21, 2015. > pdf (PrePrint)
  • Ana Garis. “Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales ”, Fundamentos en Humanidades (UNSL), ISSN 1515-4467, Año XI – Número I (21/2010), pp 151-161, 2010. > pdf
  • Ana Garis, Claudia Albornoz, Daniel Riesco, Germán Montejano, Narayan Debnath. “Development of a tool for code automatic generation of persistent objects”, Journal of Computational Methods in Science and Engineering, Vol. 5, N° 1, pp 85-92, Editor Dr. Theodore E. Simos, IOS Press, ISSN 1472-7978, 2005.

International Conferences

  • Ana Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco. “Specifying UML Protocol State Machines in Alloy”, Proceedings of the 9th International Conference on Integrated Formal Methods (iFM'2012), LNCS, Springer, Vol. 7321, pp. 312-326, 2012. > pdf (PrePrint)
  • Ana Garis, Alcino Cunha, Daniel Riesco. “Translating Alloy Specifications to UML Class Diagrams Enriched with OCL”, Proceedings of the 9th International Conference - Software Engineering and Formal Methods (SEFM'11), LNCS, Springer, Vol. 7041/2011, pp. 221-236. > pdf (PrePrint)
  • Abigail Parisaca Vargas, Ana Garis, Lizeth Tapia, Chris George. “Model checking LTL formulae in RAISE with FDR”, Integrated Formal Methods (iFM'09), LNCS, Springer, Vol. 5423/2009, pp. 231-245. > pdf (PrePrint)
  • Narayan Debnath, Ana Garis, Daniel Riesco, Germán Montejano. “Defining OCL constraints for the Proxy Design Pattern Profile”, Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, AICCSA'2007; Editorial IEEE Computer Society, ISBN 1-4244-1030-4, pp. 880-885, 2007. > pdf (PrePrint)
  • Narayan Debnath, Ana Garis, Daniel Riesco, Germán Montejano. “Defining Patterns using UML Profiles”, Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications AICCSA'06, ISBN 1-4244-0211-5, pp. 1147-1152, 2006. > pdf (PrePrint)
  • Narayan Debnath, Ana Garis, Daniel Riesco, Germán Montejano. “UML Profiles for Design Patterns”, Proccedings of the 20th Internacional Conference on Computers and their Applications - ISCA, Vol. 1, pp. 435-440, 2005.
  • Ana Garis, Claudia Albornoz, Daniel Riesco, Germán Montejano, Narayan Debnath. “A CASE tool for Automatic Generation of Persistent Classes”. Proccedings of the Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA), 2003.
  • Daniel Riesco, Germán Montejano, Roberto Uzal, Alejandro Sánchez, Ana Gabriela Garis, Narayan Debnath. “Structuring a Formal Specification starting from Process Modeling”, Proceedings of the 15th International Conference, Computer Applications in Industry and Engineering, the International Society for Computers and their Applications – ISCA, ISBN: 1-880843-45-5, pp. 248- 251, 2002.

National Conferences

  • Ana Garis, Claudia Albornoz, Mario Silvestri. “La Hora del Código: Promoviendo la Programación en Escuelas Secundarias de San Luis”, Proceedings of the 5to. Congreso Nacional de Ingeniería Informática / Sistemas de Información (CoNaIISI 2017), Editorial de la Universidad Tecnológica Nacional – Santa Fe, ISSN: 2347-0372, pp. 1215-1220, 2017. > pdf
  • Ana Garis, Alejandro Sánchez. "Verificación en Alloy de modelos y metamodelos específicos del dominio", Proceedings of the XVIII Workshop de Investigadores en Ciencias de la Computación (WICC), Editorial de la Universidad Nacional de Entre Ríos, ISBN 978-950-698-377-2, pp. 549-552, 2016.
  • Ana Garis, Alejandro Sánchez. "Verification and Validation of Domain Specification Languages using Alloy", Proceedings of the XXI Congreso Argentino de Ciencias de la Computación (CACIC), Editorial de la Universidad Nacional del Noroeste de la Provincia de Buenos Aires, ISBN 978-987-3724-37-4, pp. 589-598, 2015. > pdf
  • María Belén Bonino, Ana Garis, Daniel Riesco. "Incorporando Alloy en Desarrollos basados en Metodologías Agiles", Proceedings of the XVII WICC, ISBN 978-987-633-134-0, id 7049, 2015.
  • Lucrecia Rescaldani, Ana Garis, Daniel Riesco. "Adopción de COBIT para la Auditoría de Sistemas de Gestión de Expedientes Digitales", Proceedings of the XVII WICC, ISBN 978-987-633-134-0, id 7126. Eugenia Sosa Bruchmann, Germán Montejano, Ana Garis. “Análisis de la Experiencia del Usuario: Relación entre el Comportamiento Emocional y la Satisfacción de Uso”, Proceedings of the XVII WICC, ISBN 978-987-633-134-0, id 7021, 2015.
  • Ana Garis, Alejandro Sánchez. "Especificación Formal de Lenguajes Específicos del Dominio utilizando Alloy", Proceedings of the XVII WICC, ISBN 978-987-633-134-0, id 6898, 2015.
  • Alberto Cortez, Ana Garis, Daniel Riesco. “Perfiles UML para la Especificación de Patrones de Comportamiento: Un caso de Estudio", Proceedings of the XVIII Congreso Argentino de Ciencias de la Computación (CACIC 2012), 2012.
  • Alberto Cortez, Ana Garis. “Aplicación de Perfiles UML en la Especificación de Patrones de Comportamiento”, Proceedings of the 13th Argentine Symposium on Software Engineering (ASSE 2012), 41 Jornadas Argentinas de Informática (41 JAIIO), ISSN: 1850-2792, pp. 199-214, 2012.
  • Alberto Cortez, Ana Garis, Daniel Riesco. “Perfiles UML para la Especificación de Patrones de Comportamiento: Un caso de Estudio", aceptado para ser publicado en el XVIII Congreso Argentino de Ciencias de la Computación (CACIC 2012), 2012.
  • Alberto Cortez, Ana Garis, Daniel Riesco. “Formalización de Patrones de Diseño de Comportamiento”, Proceedings of the XIII the Workshop de Investigadores en Ciencias de la Computación, Editorial de la Universidad Nacional de Rosario, ISBN 978-950-673-892-1, pp. 435-438, 2011.
  • Ana Garis, Daniel Riesco, Germán Montejano. “Defining the Proxy Design Pattern using UML Profile”, Proccedings of the XII CACIC, Vol 1, pp. 241, 2006.
  • Ana Garis, Daniel Riesco, Germán Montejano. “Perfiles UML para definición de Patrones de Diseño”, Proceedings of the VIII Workshop de Investigadores en Ciencias de la Computación, Vol 1, pp. 393-395, 2006.
  • Marcelo Errecalde, Ana Garis, Guillermo Leguizamon. “SARSA-BB: Un Algoritmo 'on policy' para Sistemas Clasificadores”, Proceedings of the VIII CACIC, Vol. 1, pp. 389-400, 2002.

Technical Reports

  • Chris George, Ana Garis. “SAL translator user guide”; reporte técnico num. 227, pp. 113-149, UNU/IIST (United Nations University, International for Software Technology – UNU/IIST - China), 2008. > pdf

class="statcounter"> joomla site stats