Pablo Castro
Pablo Castro
Verified email at - Homepage
Cited by
Cited by
Deontic action logic, atomic boolean algebras and fault-tolerance
PF Castro, TSE Maibaum
Journal of Applied Logic 7 (4), 441-466, 2009
A complete and compact propositional deontic logic
PF Castro, TSE Maibaum
Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
PF Castro, N Aguirre, CGL Pombo, TSE Maibaum
ICTAC 2010, 306-321, 2010
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
Tractable probabilistic μ-calculus that expresses probabilistic temporal logics
P Castro, C Kilmurray, N Piterman
University of Leicester, 2015
A tableaux system for deontic action logic
PF Castro, TSE Maibaum
Lecture Notes in Computer Science 5076, 34-48, 2008
Goal-conflict likelihood assessment based on model counting
R Degiovanni, P Castro, M Arroyo, M Ruiz, N Aguirre, M Frias
Proceedings of the 40th International Conference on Software Engineering …, 2018
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
PF Castro, C Kilmurray, A Acosta, N Aguirre
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
Deontic logic, contrary to duty reasoning and fault tolerance
PF Castro, TSE Maibaum
Electronic Notes in Theoretical Computer Science 258 (2), 17-34, 2009
Reasoning about system-degradation and fault-recovery with deontic logic
PF Castro, TSE Maibaum
Methods, Models and Tools for Fault Tolerance, 25-43, 2009
Deontic action logics for specification and analysis of fault-tolerance
PF Castro
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 181, 47-63, 2019
Categorical foundations for structured specifications in
PF Castro, N Aguirre, CL Pombo, TSE Maibaum
Formal Aspects of Computing 27 (5-6), 831-865, 2015
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
Synthesizing masking fault-tolerant systems from deontic specifications
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Automated Technology for Verification and Analysis: 11th International …, 2013
Interpolation and beth definability in default logics
V Cassano, R Fervari, C Areces, PF Castro
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
Measuring masking fault-tolerance
PF Castro, PR D’Argenio, R Demasi, L Putruele
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Deontic logics based on boolean algebra
PF Castro, P Kulicki
Krister Segerberg on Logic of Actions, 85-117, 2013
A Categorical Approach to Structuring and Promoting Z Specifications
PF Castro, N Aguirre, CG López Pombo, T Maibaum
Formal Aspects of Component Software: 9th International Symposium, FACS 2012 …, 2013
Towards a first-order deontic action logic
PF Castro, TSE Maibaum
Recent Trends in Algebraic Development Techniques: 20th International …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20