Automatic Certification of Java Source Code in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMICS, 2007)

Automated Certification of Non-Interference in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMICS, 2008)

A Tool for Automated Certification of Java Source Code in Maude. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001; Pedro Ojeda; Daniel Romero 001 (PROLE, 2008)

Abstract Certification of Global Non-interference in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMCO, 2009)

Approximating Non-interference and Erasure in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (SYNASC, 2010)

Procedimiento para la realización de pruebas de unidad de software orientado por objetos a nivel de clases. - Mauricio Alba-Castro (Rev. Avances en Sistemas Informática, 2011)