1

Reporte técnico

Verification of model transformations : A survey of the state-of-the-art (Extended version)

Autor(es): Calegari, Daniel; Szasz, Nora
Año: 2012
Institución: Universidad de la República
2

Reporte técnico

Institution-based semantics for MOF and QVT-relations :Extended version

Autor(es): Calegari, Daniel; Szasz, Nora
Año: 2013
Institución: Universidad de la República
3

Reporte técnico

A type-theoretic framework for certified model transformations

Autor(es): Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro
Año: 2010
Institución: Universidad ORT Uruguay
5

Preprint

A Process Mining-based approach for Attacker Profiling

Autor(es): Rodríguez, Marcelo; Betarte, Gustavo; Calegari, Daniel
Año: 2021
Institución: Universidad de la República
6

Reporte técnico

Estado del arte de testing de transformaciones de modelos

Autor(es): López, Leonardo; Pintos, Leonardo; Calegari, Daniel; Luna, Carlos
Año: 2011
Institución: Universidad de la República
8

Reporte técnico

Estado del arte de verificación de transformación de modelos

Autor(es): López, Horacio; Varesi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
Año: 2010
Institución: Universidad de la República