Mauricio Fernando Alba Castro
Mauricio Fernando Alba Castro
Universidad Autónoma de Manizales UAM
Bestätigte E-Mail-Adresse bei autonoma.edu.co - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
112008
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
112008
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
112007
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
72010
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
42009
Formal Methods for Components and Objects
FSD Boer, GMS Bonsangue, WP de Roever
Springer, Berlin, 2003
32003
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
Abstract Certification of Java Programs in Rewriting Logic
MF Alba Castro
22011
Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura
MF Alba Castro
22011
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
2013
Abstract Certification of Java Programs in Rewriting Logic
MA Castro
Universitat Politècnica de València, 2011
2011
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
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
2011
Abstract Certification of Relaxed Non-interference with Declassification in Rewriting Logic
M Alba-Castro
Automated Abstract Certification of Non-interference with Declassification in Rewriting Logic
M Alba-Castro
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17