english Icono del idioma   español Icono del idioma  

Listar por Autor Luna, Carlos

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 20 de 21  Siguiente >
Fecha de publicaciónTítuloAutor(es)
2008A Certified Access Controller for JME-MIDP 2.0 enabled Mobile DevicesRoushani Oskui, Ramin; Betarte, Gustavo; Luna, Carlos
2008A Certified Access Controller for JME-MIDP 2.0 enabled Mobile DevicesCrespo, Juan Manuel; Betarte, Gustavo; Luna, Carlos
2006A formal specification of the MIDP 2.0 security modelZanella Béguelin, Santiago; Betarte, Gustavo; Luna, Carlos
2009Análisis formal del estándar NIST para modelos RBACLuna, Carlos; Rosa, Cristian D
2009Autorización de Acceso en MIDP 3.0Mazeikis, Gustavo; Luna, Carlos
2013Descripción y análisis del modelo de seguridad de AndroidRomano, Agustín; Luna, Carlos
2000Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing exampleLuna, Carlos
2007Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)Betarte, Gustavo; Luna, Carlos; Sierra Abbate, Luis Ricardo
2009Estado del arte de lenguajes y herramientas de transformación de modelosLópez, Horacio; Veresi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
2011Estado del arte de testing de transformaciones de modelosLópez, Leonardo; Pintos, Leonardo; Calegari, Daniel; Luna, Carlos
2010Estado del arte de verificación de transformación de modelosLópez, Horacio; Varesi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
2014Formal analysis of security models for mobile devices, virtualization platforms and domain name systemsLuna, Carlos
2014Formalizing alternating-time temporal logic in the coq proof assistantLuna, Carlos; Sierra, Luis; Zanarini, Dante
2008Hacia una especificación formal de un microcontrolador usado en marcapasosLuna, Carlos; Echenique, Paula; Sierra Abbate, Luis Ricardo
2008Hacia una especificación formal del modelo de seguridad de MIDP 3.0Mazeikis, Gustavo; Betarte, Gustavo; Luna, Carlos
2012Modelos de memoria en entornos de virtualizaciónChimento, Jesús Mauricio Martín; Luna, Carlos; Betarte, Gustavo; Campo, Juan Diego
2017Orientación estudiantil y desempeño académico en ingenieríaLuna, Carlos; Alessandrini, Daniel; Otegui, Ximena; Chiavone, Luciana; Viscarret, Andrea
2005Programación 2 :experiencias y propuestasAlliaume, Javier; Luna, Carlos; Pedemonte, Martín; Viera, Marcos
2010Representation of metamodels using inductive types in a type-theoretic framework for MDECalegari García, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Alvaro
2010Seguridad informática en la Universidad de la RepúblicaBetarte, Gustavo; Blanco, Alejandro; Campo, Juan Diego; Corti, María Eugenia; Luna, Carlos; Rodríguez Da Silva, Marcelo Paul; Zipitría, Felipe