Publications (see my DBLP entry here )

Some of these publications are in spanish.


PhD Thesis: Deontic Action Logics for Specification and Analysis of Fault-Tolerant Systems. McMaster University (2009).
Supervisor: T.S.E.Maibaum. download (pdf)

Journal Papers:

P.F.Castro, T.S.E.Maibaum. Deontic Action Logic, Atomic Boolean Algebras and Fault-Tolerance. Journal of Applied Logic (2009).

Conference Papers:

2009

P.F.Castro, T.S.E.Maibaum. Reasoning about system-degradation and fault-recovery with deontic logic. (Extended Version) Methods, Models and Tools for Fault Tolerance. Eds: M. Butler, C. Jones, A. Romanovsky and E. Troubitsyna. Springer, LNCS 5454, 20pp.

P.F.Castro, T.S.E.Maibaum A Deontic Logic for the Support of Modularity Tech.Report, Software Quality Research Laboratory, McMaster University, 2009. download (pdf)

2008

P.F.Castro, T.S.E.Maibaum. A Tableaux System for Deontic Action Logic. DEON 08, Lectures Notes in Computer Science 5076, Springer.

2007

P.F.Castro, T.S.E.Maibaum. A complete and compact deontic action logic. 4th International Colloquioum on Theoretical Aspects of Computing, Lecture Notes in Computer Science 4711, Springer, 2007.

P.F.Castro, T.S.E.Maibaum. An ought-to-do deontic logic for reasoning about fault-tolerance. 5Th IEEE International Conference on Software Engineering and Formal Methods, IEEE, 2007.

P.F.Castro, T.S.E.Maibaum. Reasoning about system-degradation and fault-recovery with deontic logic. Workshop on Methods, Models and Tools for Fault-Tolerance, Oxford, UK, 2007.

P.F.Castro, T.S.E.Maibaum Towards a Deontic Logic for Fault Tolerance SQRL 39, Software Quality Research Laboratory, McMaster University, 2007. download (pdf)

2006

Pablo Ponzio, Ramiro Demassi, P.F. Castro, Gabriel Baum " Verifying BON models with Alloy ", proceedings of JSCaT, 2005. Improved version of former paper.

2005

Pablo Ponzio, Ramiro Demassi, P.F. Castro, Gabriel Baum " Verificando Diseños BON mediante Alloy ", proceedings of CACIC, Argentinean Conference on Informatics and Computing, 2005.

Pablo Ponzio, Ramiro Demassi, P.F. Castro, Gabriel Baum " Darwin, una Herramienta para Verificar Diseños Arquitecturales ", WICC, Argentina, 2005.

2004

P.F.Castro, Gabriel Baum " Integrando BON con Alloy ", VII Workshop Iberoamericano de Ingenieria de Requisitos y Desarrollo de Ambientes de Software, Arequipa, Peru. 2004.

2003

P.F.Castro, Gabriel Baum " Una Formalizacion del Proceso de Desarrollo " Proceedings of CLEI, Latinoamerican Conference in Education and Informatics, 2003. La Paz.

2002

P.F.Castro, Gabriel Baum " Maquinas Evolutivas " Proceedings of CACIC, Argentinean Conference on Informatics and Computing, Buenos Aires, 2002. La Paz.

2001

P.F.Castro, Gabriel Baum " Utilizando Contratos de Reuso con Alloy " Proceedings of CACIC, Argentinean Conference on Informatics and Computing, Calafate, Argentina, 2001. La Paz.

Unpublished Technical Reports:

P.F.Castro, Javier Blanco " A Semantics for Proving Class Correctness " Technical Report, National University of Rio Cuarto, 2005. Work partially funded by Ciencia y Tecnica,
Universidad Nacional de Rio Cuarto. download (pdf)