Pablo F. Castro

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 26

Top Topics

Database Replication

Stochastic Games

Top Venues

Formal Aspects Comput.

Publications

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Algebraic tools for default modal systems. J. Log. Comput. 33 (6) (2023)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS (2023)
Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
A Deontic Logic of Knowingly Complying. AAMAS (2023)
Carlos Areces, Valentin Cassano, Raul Fervari, Pablo F. Castro, Andrés R. Saravia
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. CoRR (2023)
Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. JELIA (2023)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. CoRR (2022)
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio
MaskD: A Tool for Measuring Masking Fault-Tolerance. TACAS (1) (2022)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CAV (2) (2022)
Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
Deontic Action Logics via Algebra. DEON (2021)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CoRR (2021)
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Default Modal Systems as Algebraic Updates. DaLí (2020)
Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
A Tableaux Calculus for Default Intuitionistic Logic. CADE (2019)
Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
An Algebraic Approach for Action Based Default Reasoning. TARK (2019)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. TACAS (2) (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166 (4) (2019)
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Interpolation and Beth Definability in Default Logics. JELIA (2019)
Valentin Cassano, Carlos Areces, Pablo F. Castro
Reasoning About Prescription and Description Using Prioritized Default Rules. LPAR (2018)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. CoRR (2018)
Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
Goal-conflict likelihood assessment based on model counting. ICSE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre
Simulation relations for fault-tolerance. Formal Aspects Comput. 29 (6) (2017)
Pablo F. Castro
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. Stud Logica 105 (2) (2017)
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
Goal-conflict detection based on temporal satisfiability checking. ASE (2016)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)
Pablo F. Castro, Nazareno Aguirre
Algebraic Foundations for Specification Refinements. SBMF (2016)
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
A Recursive Probabilistic Temporal Logic. ICFEM (2015)
Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. TACAS (2015)
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. STACS (2015)
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27 (5-6) (2015)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC (2014)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM (2013)
Pablo F. Castro, T. S. E. Maibaum
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. LAFM (2013)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA (2013)
Pablo F. Castro, T. S. E. Maibaum
Encapsulating deontic and branching time specifications. Theor. Comput. Sci. 455 (2012)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT (2012)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
A Categorical Approach to Structuring and Promoting Z Specifications. FACS (2012)
Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. SBMF (2012)
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM (2011)
Pablo F. Castro, T. S. E. Maibaum
Towards a First-Order Deontic Action Logic. WADT (2010)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC (2010)
Pablo F. Castro, T. S. E. Maibaum
Characterizing Locality (Encapsulation) with Bisimulation. ICTAC (2010)
Pablo F. Castro, T. S. E. Maibaum
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electron. Notes Theor. Comput. Sci. 258 (2) (2009)
Pablo F. Castro, T. S. E. Maibaum
Deontic action logic, atomic boolean algebras and fault-tolerance. J. Appl. Log. 7 (4) (2009)
Pablo F. Castro, T. S. E. Maibaum
A Tableaux System for Deontic Action Logic. DEON (2008)
Pablo F. Castro, T. S. E. Maibaum
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM (2007)
Pablo F. Castro, T. S. E. Maibaum
A Complete and Compact Propositional Deontic Logic. ICTAC (2007)