Pablo Castro
Pablo Castro
Verified email at dc.exa.unrc.edu.ar
TitleCited byYear
Deontic action logic, atomic boolean algebras and fault-tolerance
PF Castro, TSE Maibaum
Journal of Applied Logic 7 (4), 441-466, 2009
432009
A complete and compact propositional deontic logic
PF Castro, TSE Maibaum
International Colloquium on Theoretical Aspects of Computing, 109-123, 2007
312007
Towards managing dynamic reconfiguration of software systems in a categorical setting
PF Castro, NM Aguirre, CGL Pombo, TSE Maibaum
International Colloquium on Theoretical Aspects of Computing, 306-321, 2010
162010
A tableaux system for deontic action logic
PF Castro, TSE Maibaum
International Conference on Deontic Logic in Computer Science, 34-48, 2008
162008
Tractable probabilistic mu-calculus that expresses probabilistic temporal logics
P Castro, C Kilmurray, N Piterman
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
132015
dCTL: a branching time temporal logic for fault-tolerant system verification
PF Castro, C Kilmurray, A Acosta, N Aguirre
International Conference on Software Engineering and Formal Methods, 106-121, 2011
82011
Deontic logic, contrary to duty reasoning and fault tolerance
PF Castro, TSE Maibaum
Electronic Notes in Theoretical Computer Science 258 (2), 17-34, 2009
82009
Reasoning about system-degradation and fault-recovery with deontic logic
PF Castro, TSE Maibaum
Methods, Models and Tools for Fault Tolerance, 25-43, 2009
82009
Deontic Action Logics for Specification and Analysis of Fault-Tolerance
PF Castro
82009
Synthesizing masking fault-tolerant systems from deontic specifications
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Automated Technology for Verification and Analysis, 163-177, 2013
62013
An ought-to-do deontic logic for reasoning about fault-tolerance: The diarrheic philosophers
PF Castro, TSE Maibaum
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
62007
Goal-conflict detection based on temporal satisfiability checking
R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
52016
A complete and compact deontic action logic
P Castro, T Maibaum
ICTAC, 109-123, 2007
52007
An evolutionary approach to translating operational specifications into declarative specifications
F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ...
Science of Computer Programming, 2019
42019
Characterizing fault-tolerant systems by means of simulation relations
R Demasi, PF Castro, TSE Maibaum, N Aguirre
International Conference on Integrated Formal Methods, 428-442, 2013
42013
A Categorical Approach to Structuring and Promoting Z Specifications
PF Castro, N Aguirre, CGL Pombo, T Maibaum
International Workshop on Formal Aspects of Component Software, 73-91, 2012
42012
Towards a first-order deontic action logic
PF Castro, TSE Maibaum
International Workshop on Algebraic Development Techniques, 61-75, 2010
42010
Interpolation and Beth Definability in Default Logics
V Cassano, R Fervari, C Areces, PF Castro
European Conference on Logics in Artificial Intelligence, 675-691, 2019
22019
Algebraic Foundations for Specification Refinements
PF Castro, N Aguirre
Brazilian Symposium on Formal Methods, 112-128, 2016
22016
Categorical foundations for structured specifications in
PF Castro, N Aguirre, CL Pombo, TSE Maibaum
Formal Aspects of Computing 27 (5-6), 831-865, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20