1

Reporte técnico

A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices

Autor(es): Roushani Oskui, Ramin; Betarte Guidi, Gustavo; Luna, Carlos
Año: 2008
Institución: Universidad de la República
3

Reporte técnico

Análisis formal del estándar NIST para modelos RBAC

Autor(es): Luna, Carlos; Rosa, Cristian D
Año: 2009
Institución: Universidad de la República
4

Reporte técnico

Autorización de Acceso en MIDP 3.0

Autor(es): Mazeikis, Gustavo; Luna, Carlos
Año: 2009
Institución: Universidad de la República
7

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
8

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
9

Reporte técnico

Modelos de memoria en entornos de virtualización

Autor(es): Chimento, Jesús Mauricio Martín; Luna, Carlos; Betarte Guidi, Gustavo; Campo, Juan Diego
Año: 2012
Institución: Universidad de la República
10

Reporte técnico

Descripción y análisis del modelo de seguridad de Android

Autor(es): Romano, Agustín; Luna, Carlos
Año: 2013
Institución: Universidad de la República
11

Reporte técnico

Programación 2 :experiencias y propuestas

Autor(es): Alliaume, Javier; Luna, Carlos; Pedemonte, Martín; Viera, Marcos
Año: 2005
Institución: Universidad de la República
12

Reporte técnico

Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias

Autor(es): Luna, Carlos
Año: 2005
Institución: Universidad de la República
13

Reporte técnico

A formal specification of the MIDP 2.0 security model

Autor(es): Zanella Béguelin, Santiago; Betarte Guidi, Gustavo; Luna, Carlos
Año: 2006
Institución: Universidad de la República
15

Reporte técnico

A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices

Autor(es): Crespo, Juan Manuel; Betarte Guidi, Gustavo; Luna, Carlos
Año: 2008
Institución: Universidad de la República
16

Reporte técnico

Hacia una especificación formal de un microcontrolador usado en marcapasos

Autor(es): Luna, Carlos; Echenique, Paula; Sierra Abbate, Luis Ricardo
Año: 2008
Institución: Universidad de la República
17

Reporte técnico

Hacia una especificación formal del modelo de seguridad de MIDP 3.0

Autor(es): Mazeikis, Gustavo; Betarte Guidi, Gustavo; Luna, Carlos
Año: 2008
Institución: Universidad de la República
18

Reporte técnico

Formalizing alternating-time temporal logic in the coq proof assistant

Autor(es): Luna, Carlos; Sierra, Luis; Zanarini, Dante
Año: 2014
Institución: Universidad de la República
19

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

Resultados agrupados

Quitar Filtros
Tipo: Reporte técnico Autor: Luna, Carlos
Año de publicación