Pablo F. Castro

55 papers A* 3A 4B 8C 5Journal 15Unranked 19

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