Mauricio Alba-Castro

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Mauricio Alba-Castro
Procedimiento para la realización de pruebas de unidad de software orientado por objetos a nivel de clases. Rev. Avances en Sistemas Informática 8 (2) (2011)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-Interference in Rewriting Logic CoRR (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
A Tool for Automated Certification of Java Source Code in Maude. Electron. Notes Theor. Comput. Sci. 248 (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Automated Certification of Non-Interference in Rewriting Logic. FMICS (2008)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Automatic Certification of Java Source Code in Rewriting Logic. FMICS (2007)