Publications

2016

Ernesto Copello, Nora Szasz, Álvaro Tasistro. Formal Metatheory of the Lambda Calculus Using Stoughton's Substitution.

Theoretical Computer Science, In press.

Article.


Ernesto Copello, Álvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

ENTCS, v.: 323, p.: 109 - 124, 2016.

Article.


Daniel Calegari, Till Mossakowski, Nora Szasz. Heterogeneous Verification in the Context of Model Driven Engineering.

Science of Computer Programming, v.: 126, p.: 3–30, 2016

Article.


2015

Álvaro Tasistro, Ernesto Copello, Nora Szasz. Formalisation in Constructive Type Theory of Stoughton's Substitution  for the Lambda Calculus.

ENTCS, v.: 312, p.: 215 - 230, 2015.

Article.


Fairweather, E.; Fernández, M; Szasz, N.; Tasistro, A. Dependent Types for Nominal Terms with Atom Substitutions

13th International Conference on Typed Lambda Calculi and Applications, p.:180 - 195

Article.


Calegari, D; Szasz, N. Institution-Based Foundations for Verification in the Context of Model-Driven Engineering.

Science of Computer Programming, v.: 107, p.: 41- 63, 2015.

Article.


Daniel Calegari, Till Mossakowski, Nora Szasz. Model-Driven Engineering in the Heterogeneous Tool Set.

Springer Lecture Notes in Computer Science, Volume 8941, p.: 64 - 79, 2015

Article.


Juan Michelini, Alvaro Tasistro. Presentation of Classical Propositional Tableaux on Program Design Premises

4th International Conference on Tools for Teaching Logic (TTL2015)

Article.


2014

Ariel González, Carlos Luna, Fabio Zorzán, Nora Szasz. Automatic Derivation of Behavior of Products in a Software Product Line.

IEEE Latin America Transactions, Volume 12-6, 2014, pp 1120-1126.

Article.


Ernesto Copello, Álvaro Tasistro, Bruno Bianchi. Case of (Quite) Painless Dependently Typed Programming: Fully  Certified Merge Sort in Agda.

Springer LNCS Volume 8771, 2014, pp 62-76.

Article.


Jorge Pais, Álvaro Tasistro. Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.

Springer LNCS 8523, pp 441-451.

Article.


2013

Jorge Pais, Álvaro Tasistro. "Proof Assistant Based on Didactic Considerations".

Journal of Universal Computer Science (JUCS) – 19(11): 1570-1596.

Article


Ernesto Copello"Inferencia de Tipos de Sesión".

Primer Premio del XX Concurso Latinoamericano de Tesis de Maestría. XXXIX Conferencia Latinoamericana de Informática, CLEI 2013, Naiguatá, Venezuela.

Article


Daniel Calegari, Nora Szasz"Verification of Model Transformations".

Electronic Notes in Theoretical Computer Science (ENTCS) – Vol. 292: 5-25.

Link


Daniel Calegari, Nora Szasz. "Institution-based Semantics for MOF and QVT-Relations".

Lecture Notes in Computer Science (LNCS) – Vol. 8195: 34-50.

Link


Daniel Calegari, Nora Szasz. "Institution-based Semantics for MOF and QVT-Relations" (extended version).

Pedeciba Informática, Reporte Técnico 13-06.

Link


Daniel Calegari, Nora Szasz. "Bridging Technological Spaces for the Verification of Model Transformations".

XVI Ibero-American Conference on Software Engineering – CIbSE 2013, Montevideo, Uruguay.

Link


Silvana Moreno, Álvaro Tasistro, Diego Vallespir. "PSPVDC: Una propuesta que incorpora el Diseño por Contrato Verificado al Personal Software Process".

Revista Latinoamericana de Ingeniería de Software 1(5) 153-166.

Link


Silvana Moreno, Álvaro Tasistro, Diego Vallespir, William Nichols. "PSPVDC: An Adaptation of the PSP that incorporates Verified Design by Contract".

Software Engineering Institute – Carnegie Mellon University. CMU-2013, TR-005.

Link


Carlos Luna, Ariel González, Nora Szasz, Fabio Zorzán. "Automatización del Proceso de Instanciación del Comportamiento de Productos de una Línea de Productos de Software"

XVI Ibero-American Conference on Software Engineering – CIbSE 2013, Montevideo, Uruguay.

Link


2012

Nora Szasz, Daniel Calegari. "Verificación de transformaciones de modelos. Una revisión del estado del arte (versión extendida)".

Pedeciba Informática, Reporte Técnico 12-05.

Link 


Álvaro Tasistro, Ernesto Copello, Nora Szasz. "Principal Type Scheme for Session Types".

International Journal of Logic and Computation, Vol. 3 No. 1, Diciembre 2012.

Link


Jorge Pais, Álvaro Tasistro. "Design and Implementation of a Proof Assistant for Natural Deduction".

SIIE 2012 (XIV Simposio Internacional de Informática Educativa). Andorra La Vella, Andorra, Octubre 2012.

Article


Silvana Moreno, Álvaro Tasistro, Diego Vallespir. "PSPDC : An Adaptation of the PSP to Incorporate Verified Design by Contract".

TSP Symposium 2012. St. Petersburg, Florida, USA, Setiembre 2012.

Article

Computación Teórica (Compute)

Grupo de Computación Teórica (Compute)

La Facultad de Ingeniería da servicios de apoyo a estudiantes avanzados y graduados para facilitar su inserción laboral. Según el último relevamiento realizado la facultad cuenta con plena inserción de sus graduados.

A través de este espacio se busca promover y dar a conocer las oportunidades que tienen las mujeres dentro del área de las Tecnologías de la Información y la Comunicación. Asimismo, se realizan diferentes actividades para impulsar a estudiar tecnología.

El Centro de Innovación y Emprendimientos (CIE) de la Universidad ORT Uruguay, promueve y desarrolla la generación de nuevos emprendedores. Sus acciones están dirigidas a fomentar la innovación, la actitud emprendedora y promover oportunidades.