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 | 21 | 2009 |
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 | 12 | 2008 |
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 | 10 | 2007 |
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 | 4 | 2021 |
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 | 4 | 2010 |
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 | 3 | 2011 |
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 | 3 | 2009 |
Automated Abstract Certification of Non-interference with object aliasing in Rewriting Logic M Alba-Castro 2014 9th Computing Colombian Conference (9CCC), 192-199, 2014 | 2 | 2014 |
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 | 2 | 2013 |
Abstract Certification of Java Programs in Rewriting Logic MF Alba Castro Universitat Politècnica de València, 2011 | 2 | 2011 |
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 | 2 | 2011 |
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 | | |