Pablo Castro
Pablo Castro
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
Deontic action logic, atomic boolean algebras and fault-tolerance
PF Castro, TSE Maibaum
Journal of Applied Logic 7 (4), 441-466, 2009
462009
A complete and compact propositional deontic logic
PF Castro, TSE Maibaum
International Colloquium on Theoretical Aspects of Computing, 109-123, 2007
292007
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
192010
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
152015
Deontic logic, contrary to duty reasoning and fault tolerance
PF Castro, TSE Maibaum
Electronic Notes in Theoretical Computer Science 258 (2), 17-34, 2009
102009
Reasoning about system-degradation and fault-recovery with deontic logic
PF Castro, TSE Maibaum
Methods, Models and Tools for Fault Tolerance, 25-43, 2009
92009
Deontic action logics for specification and analysis of fault-tolerance
PF Castro
92009
Goal-conflict detection based on temporal satisfiability checking
R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
82016
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
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
72007
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
62019
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
Towards a first-order deontic action logic
PF Castro, TSE Maibaum
International Workshop on Algebraic Development Techniques, 61-75, 2010
52010
A complete and compact deontic action logic
P Castro, T Maibaum
ICTAC, 109-123, 2007
52007
Categorical foundations for structured specifications in Z
PF Castro, N Aguirre, CL Pombo, TSE Maibaum
Formal Aspects of Computing 27 (5), 831-865, 2015
42015
Deontic logics based on boolean algebra
PF Castro, P Kulicki
Krister Segerberg on Logic of Actions, 85-117, 2014
42014
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
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
32019
The system can't perform the operation now. Try again later.
Articles 1–20