Follow
Mauricio Fernando Alba Castro
Mauricio Fernando Alba Castro
Universidad Autónoma de Manizales UAM
Verified email at autonoma.edu.co - Homepage
Title
Cited by
Cited by
Year
Abstract certification of global non-interference in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
International Symposium on Formal Methods for Components and Objects, 105-124, 2009
212009
Automated certification of non-interference in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
122008
Automatic certification of Java source code in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
102007
Approximating non-interference and erasure in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010
42010
A tool for automated certification of Java source code in Maude
M Alba-Castro, M Alpuente, S Escobar, P Ojeda, D Romero
Electronic Notes in Theoretical Computer Science 248, 19-29, 2009
32009
Análisis de tendencia de temperatura y precipitación para el departamento de Caldas (Colombia), mediante wavelets
LC Correa Ortiz, OL Ocampo López, MF Alba Castro
Ciencia e Ingeniería Neogranadina 31 (1), 37-52, 2021
22021
Automated Abstract Certification of Non-interference with object aliasing in Rewriting Logic
M Alba-Castro
2014 9th Computing Colombian Conference (9CCC), 192-199, 2014
22014
Gestión del conocimiento acerca de los procesos de desarrollo de software en las asignaturas del programa de ingeniería de sistemas de la universidad autónoma de Manizales
B Ayala Hoyos
Universidad Autónoma de Manizales, 2013
22013
Abstract Certification of Java Programs in Rewriting Logic
MF Alba Castro
Universitat Politècnica de València, 2011
22011
CertificaciOn automática de propiedades de seguridad de cOdigo fuente Java en logica de reescritura
MF Alba Castro
Universitat Politècnica de València, 2011
22011
Procedimiento para la realización de pruebas de unidad de software orientado por objetos a nivel de clases
MA Castro
Revista Avances en Sistemas e Informática 8 (2), 165-175, 2011
22011
Temperature and precipitation trend analysis for the department of Caldas (Colombia), using wavelets
LC Correa Ortiz, OL Ocampo López, MF Alba Castro
Ciencia e Ingeniería Neogranadina 31 (1), 37-52, 2021
2021
Validation and calibration of Quantitative models for software development effort and size estimation
M Alba-Castro, SH Gil
2011 6th Colombian Computing Congress (CCC), 1-6, 2011
2011
Procedimiento para la realización de pruebas de unidad de software orientado por objetos a nivel de clases.
M Alba-Castro
Rev. Avances en Sistemas Informática 8 (2), 165-176, 2011
2011
Automated certification of non-interference in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009
2009
Automated Abstract Certification of Non-interference with Declassification in Rewriting Logic
M Alba-Castro
The system can't perform the operation now. Try again later.
Articles 1–16