| 2026 | TACAS | AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. | Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2025 | KR | How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. | Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2023 | JELIA | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia |
| 2022 | CAV | Playing Against Fair Adversaries in Stochastic Games with Total Rewards. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2022 | TACAS | MaskD: A Tool for Measuring Masking Fault-Tolerance. | Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio |
| 2019 | CADE | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | JELIA | Interpolation and Beth Definability in Default Logics. | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
| 2019 | TACAS | Measuring Masking Fault-Tolerance. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2018 | ICSE | Goal-conflict likelihood assessment based on model counting. | Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | LPAR | Reasoning About Prescription and Description Using Prioritized Default Rules. | Valentin Cassano, Carlos Areces, Pablo F. Castro |
| 2015 | ICFEM | A Recursive Probabilistic Temporal Logic. | Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | STACS | Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. | Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | TACAS | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |
| 2014 | ICTAC | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. | Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2013 | ATVA | Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2013 | IFM | Characterizing Fault-Tolerant Systems by Means of Simulation Relations. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2011 | SEFM | dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. | Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |
| 2010 | ICTAC | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo Lpez Pombo, T. S. E. Maibaum |
| 2010 | ICTAC | Characterizing Locality (Encapsulation) with Bisimulation. | Pablo F. Castro, T. S. E. Maibaum |
| 2007 | ICTAC | A Complete and Compact Propositional Deontic Logic. | Pablo F. Castro, T. S. E. Maibaum |
| 2007 | SEFM | An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. | Pablo F. Castro, T. S. E. Maibaum |