A Complete and Compact Propositional Deontic Logic. - Pablo F. Castro; T. S. E. Maibaum (ICTAC, 2007)

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. - Pablo F. Castro; T. S. E. Maibaum (SEFM, 2007)

A Tableaux System for Deontic Action Logic. - Pablo F. Castro; T. S. E. Maibaum (DEON, 2008)

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. - Pablo F. Castro; T. S. E. Maibaum (LAFT@LICS, 2009)

Deontic action logic, atomic boolean algebras and fault-tolerance. - Pablo F. Castro; T. S. E. Maibaum (J. Appl. Log., 2009)

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. - Pablo F. Castro; T. S. E. Maibaum (Methods, Models and Tools for Fault Tolerance, 2009)

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; T. S. E. Maibaum (ICTAC, 2010)

Characterizing Locality (Encapsulation) with Bisimulation. - Pablo F. Castro; T. S. E. Maibaum (ICTAC, 2010)

Towards a First-Order Deontic Action Logic. - Pablo F. Castro; T. S. E. Maibaum (WADT, 2010)

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. - Pablo F. Castro; Cecilia Kilmurray; Araceli Acosta; Nazareno Aguirre (SEFM, 2011)

A Categorical Approach to Structuring and Promoting Z Specifications. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; Tom Maibaum (FACS, 2012)

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. - Araceli Acosta; Cecilia Kilmurray; Pablo F. Castro; Nazareno Aguirre (SBMF, 2012)

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (WADT, 2012)

Encapsulating deontic and branching time specifications. - Pablo F. Castro; T. S. E. Maibaum (Theor. Comput. Sci., 2012)

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (ATVA, 2013)

Characterizing Fault-Tolerant Systems by Means of Simulation Relations. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (IFM, 2013)

Automated Reasoning over Deontic Action Logics with Finite Vocabularies. - Pablo F. Castro; T. S. E. Maibaum (LAFM, 2013)

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (ICTAC, 2014)

A Recursive Probabilistic Temporal Logic. - Pablo F. Castro; Cecilia Kilmurray; Nir Piterman (ICFEM, 2015)

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. - Pablo F. Castro; Cecilia Kilmurray; Nir Piterman (STACS, 2015)

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; Nicolás Ricci; Thomas Stephen Edward Maibaum; Nazareno Aguirre (TACAS, 2015)

Categorical foundations for structured specifications in Z. - Pablo F. Castro; Nazareno Aguirre; Carlos López Pombo; T. S. E. Maibaum (Formal Aspects Comput., 2015)

Goal-conflict detection based on temporal satisfiability checking. - Renzo Degiovanni; Nicolás Ricci; Dalal Alrajeh; Pablo F. Castro; Nazareno Aguirre (ASE, 2016)

Algebraic Foundations for Specification Refinements. - Pablo F. Castro; Nazareno Aguirre (SBMF, 2016)

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBMF, 2016)

Simulation relations for fault-tolerance. - Ramiro Demasi; Pablo F. Castro; Thomas Stephen Edward Maibaum; Nazareno Aguirre (Formal Aspects Comput., 2017)

Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. - Pablo F. Castro (Stud Logica, 2017)

Goal-conflict likelihood assessment based on model counting. - Renzo Degiovanni; Pablo F. Castro; Marcelo Arroyo; Marcelo Ruiz; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2018)

From operational to declarative specifications using a genetic algorithm. - Facundo Molina; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

Reasoning About Prescription and Description Using Prioritized Default Rules. - Valentin Cassano; Carlos Areces; Pablo F. Castro (LPAR, 2018)

A Tableaux Calculus for Default Intuitionistic Logic. - Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001; Carlos Areces; Pablo F. Castro (CADE, 2019)

Interpolation and Beth Definability in Default Logics. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (JELIA, 2019)

Measuring Masking Fault-Tolerance. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (TACAS (2), 2019)

An Algebraic Approach for Action Based Default Reasoning. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (TARK, 2019)

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. - Carlos López Pombo; Pablo F. Castro; Nazareno Aguirre; Thomas Stephen Edward Maibaum (Fundam. Informaticae, 2019)

An evolutionary approach to translating operational specifications into declarative specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (Sci. Comput. Program., 2019)

Default Modal Systems as Algebraic Updates. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (DaLí, 2020)

Deontic Action Logics via Algebra. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (DEON, 2021)

Playing Against Fair Adversaries in Stochastic Games with Total Rewards. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (CAV (2), 2022)

MaskD: A Tool for Measuring Masking Fault-Tolerance. - Luciano Putruele; Ramiro Demasi; Pablo F. Castro; Pedro R. D'Argenio (TACAS (1), 2022)

A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. - Pablo F. Castro; Pedro R. D'Argenio; Luciano Putruele; Ramiro Demasi (CoRR, 2022)

A Deontic Logic of Knowingly Complying. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (AAMAS, 2023)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (JELIA, 2023)

Quantifying Masking Fault-Tolerance via Fair Stochastic Games. - Pablo F. Castro; Pedro R. D'Argenio; Ramiro Demasi; Luciano Putruele (EXPRESS/SOS, 2023)

Algebraic tools for default modal systems. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (J. Log. Comput., 2023)

Tolerange: Quantifying Fault Masking in Stochastic Systems. - Luciano Putruele; Ramiro Demasi; Pablo F. Castro; Pedro R. D'Argenio (SPIN, 2024)

Deontic Action Logics: A Modular Algebraic Perspective. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari (CoRR, 2025)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. - Pablo F. Castro; Luciano Putruele; Renzo Degiovanni; Nazareno Aguirre (CoRR, 2025)

Polytopal Stochastic Games. - Pablo F. Castro; Pedro R. D'Argenio (CoRR, 2025)