Mauricio Alba-Castro

According to our database, Mauricio Alba-Castro authored at least 6 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

2010

Approximating Non-interference and Erasure in Rewriting Logic.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Abstract Certification of Global Non-interference in Rewriting Logic.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

A Tool for Automated Certification of Java Source Code in Maude.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Automated Certification of Non-Interference in Rewriting Logic.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Automatic Certification of Java Source Code in Rewriting Logic.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar

Proceedings of the Formal Methods for Industrial Critical Systems, 2007