Papers

Some papers authored by members of our team:

• M. Cristiá and Brian Plüss
  "Generating Natural Language Descriptions of Z Test Cases",
  International Natural Language Generation Conference (INLG). Dublin, Ireland. 2010 (short paper)
  (116 KB) [ pdf ]
  
  
• M. Cristiá, V. Santiago and N. L. Vijaykumar
  "On Comparing and Complementing Two MBT Approaches",
  11th IEEE Latin-American Test Workshop (LATW10). Punta del Este, Uruguay. 2010.
  (110 KB) [ pdf ]
  
  
• M. Cristiá & P. Rodríguez Monetti
  "Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing",
  International Conference of Formal Engineering Methods (ICFEM). Rio de Janeiro, Brazil. 2009.
  (220 KB) [ pdf ]
  
  
• M. Cristiá & P. Mata
  "Runtime Enforcement of NonInterference by duplicating processes and their memories",
  Workshop de Seguridad Informática WSEGI 2009 (38 JAIIO). Mar del Plata, Argentina. 2009.
  (188 KB) [ pdf ]
  
  
• A. Sartorio & M. Cristiá
  "Primera Aproximación al Diseño e Implementación de los DHD",
  In Proceedings of XXXIV Conferencia Latinoamericana de Informática. Santa Fe, Argentina. 2008
  (317 KB) [ pdf ]
  
  
• M. Cristiá
  "Formalizing the Semantics of Modular DEVS Models with Temporal Logic",
  In Proceedings of 7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes MOSIM 08. París, Francia. 2008
  (198 KB) [ pdf ]
  
  
• M. Cristiá
  "A TLA+ Encoding of DEVS Models",
  International Modeling and Simulation Multiconference. Buenos Aires, Argentina. 2007.
  (148 KB) [ pdf ]
  
  
• M. Cristiá
  "Teaching Formal Methods in a Third World Country: What, Why and How",
  Teaching Formal Methods. London, UK. 2006.
  (74 KB) [ pdf ]
  
  
• M. Cristiá, G. Giusti, F. Manzano
  "The Implementation of Lisex, a MLS Linux Prototype",
  6th ASSE, 34th JAIIO, Argentina. 2005
  (170 KB) [ pdf ]
  
  
• M. Cristiá,
  "Formal verification of an extension of a secure, compatible UNIX file system",
  Anales de la XXIX Conferencia Latinoamericana de Informática (Bolivia), 2003.
  (180 KB) [ pdf ]
  
  
• G. Marro,
  "Attacks at the Data Link Layer"
  Masters Thesis, University of California at Davis (USA), 2003.
  (1.4 MB) [ pdf ]
  
  
• M. Cristiá,
  "Formal verification of an extension of a secure, compatible UNIX file system"
  Master Thesis, Universidad de la República (Uruguay), 2002.
  (540 KB) [ pdf ]