publications

(Taken from my dblp entry.)

2023

  1. A Deontic Logic of Knowingly Complying
    Areces, Carlos, Cassano, Valentin, Castro, Pablo F., Fervari, Raul, and Saravia, Andrés R.
    In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023 2023

2022

  1. Playing Against Fair Adversaries in Stochastic Games with Total Rewards
    Castro, Pablo F., D’Argenio, Pedro R., Demasi, Ramiro, and Putruele, Luciano
    In Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II 2022
  2. MaskD: A Tool for Measuring Masking Fault-Tolerance
    Putruele, Luciano, Demasi, Ramiro, Castro, Pablo F., and D’Argenio, Pedro R.
    In Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I 2022
  3. A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
    Castro, Pablo F., D’Argenio, Pedro R., Putruele, Luciano, and Demasi, Ramiro
    CoRR 2022

2021

  1. Deontic Action Logics via Algebra
    Castro, Pablo F., Cassano, Valentin, Fervari, Raul, and Areces, Carlos
    In Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021 2021
  2. Playing Against Fair Adversaries in Stochastic Games with Total Rewards
    Castro, Pablo F., D’Argenio, Pedro R., Putruele, Luciano, and Demasi, Ramiro
    CoRR 2021

2020

  1. Default Modal Systems as Algebraic Updates
    Cassano, Valentin, Fervari, Raul, Areces, Carlos, and Castro, Pablo F.
    In Dynamic Logic. New Trends and Applications - Third International Workshop, DaLı́ 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers 2020

2019

  1. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
    Pombo, Carlos López, Castro, Pablo F., Aguirre, Nazareno, and Maibaum, Thomas Stephen Edward
    Fundam. Informaticae 2019
  2. An evolutionary approach to translating operational specifications into declarative specifications
    Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    Sci. Comput. Program. 2019
  3. A Tableaux Calculus for Default Intuitionistic Logic
    Cassano, Valentin, Fervari, Raul, Hoffmann, Guillaume, Areces, Carlos, and Castro, Pablo F.
    In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings 2019
  4. Interpolation and Beth Definability in Default Logics
    Cassano, Valentin, Fervari, Raul, Areces, Carlos, and Castro, Pablo F.
    In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 2019
  5. Measuring Masking Fault-Tolerance
    Castro, Pablo F., D’Argenio, Pedro R., Demasi, Ramiro, and Putruele, Luciano
    In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II 2019
  6. An Algebraic Approach for Action Based Default Reasoning
    Castro, Pablo F., Cassano, Valentin, Fervari, Raul, and Areces, Carlos
    In Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019 2019

2018

  1. From operational to declarative specifications using a genetic algorithm
    Molina, Facundo, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018 2018
  2. Goal-conflict likelihood assessment based on model counting
    Degiovanni, Renzo, Castro, Pablo F., Arroyo, Marcelo, Ruiz, Marcelo, Aguirre, Nazareno, and Frias, Marcelo F.
    In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 2018
  3. Reasoning About Prescription and Description Using Prioritized Default Rules
    Cassano, Valentin, Areces, Carlos, and Castro, Pablo F.
    In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 2018
  4. Measuring Masking Fault-Tolerance
    Castro, Pablo F., D’Argenio, Pedro R., Demasi, Ramiro, and Putruele, Luciano
    CoRR 2018

2017

  1. Simulation relations for fault-tolerance
    Demasi, Ramiro, Castro, Pablo F., Maibaum, Thomas Stephen Edward, and Aguirre, Nazareno
    Formal Aspects Comput. 2017
  2. Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
    Castro, Pablo F.
    Stud Logica 2017

2016

  1. Goal-conflict detection based on temporal satisfiability checking
    Degiovanni, Renzo, Ricci, Nicolás, Alrajeh, Dalal, Castro, Pablo F., and Aguirre, Nazareno
    In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 2016
  2. Algebraic Foundations for Specification Refinements
    Castro, Pablo F., and Aguirre, Nazareno
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings 2016
  3. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
    Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, and Frias, Marcelo F.
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings 2016

2015

  1. Categorical foundations for structured specifications in Z
    Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos López, and Maibaum, T. S. E.
    Formal Aspects Comput. 2015
  2. A Recursive Probabilistic Temporal Logic
    Castro, Pablo F., Kilmurray, Cecilia, and Piterman, Nir
    In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings 2015
  3. Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics
    Castro, Pablo F., Kilmurray, Cecilia, and Piterman, Nir
    In 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany 2015
  4. syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
    Demasi, Ramiro, Castro, Pablo F., Ricci, Nicolás, Maibaum, Thomas Stephen Edward, and Aguirre, Nazareno
    In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015

2014

  1. A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
    Pombo, Carlos Gustavo López, Castro, Pablo F., Aguirre, Nazareno, and Maibaum, T. S. E.
    In Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings 2014

2013

  1. Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
    Demasi, Ramiro, Castro, Pablo F., Maibaum, T. S. E., and Aguirre, Nazareno
    In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings 2013
  2. Characterizing Fault-Tolerant Systems by Means of Simulation Relations
    Demasi, Ramiro, Castro, Pablo F., Maibaum, T. S. E., and Aguirre, Nazareno
    In Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings 2013
  3. Automated Reasoning over Deontic Action Logics with Finite Vocabularies
    Castro, Pablo F., and Maibaum, T. S. E.
    In Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013 2013

2012

  1. Encapsulating deontic and branching time specifications
    Castro, Pablo F., and Maibaum, T. S. E.
    Theor. Comput. Sci. 2012
  2. A Categorical Approach to Structuring and Promoting Z Specifications
    Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos Gustavo López, and Maibaum, Tom
    In Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2012
  3. Model Checking Propositional Deontic Temporal Logic via a \(μ\)-Calculus Characterization
    Acosta, Araceli, Kilmurray, Cecilia, Castro, Pablo F., and Aguirre, Nazareno
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012
  4. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
    Pombo, Carlos Gustavo López, Castro, Pablo F., Aguirre, Nazareno, and Maibaum, T. S. E.
    In Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2012

2011

  1. dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
    Castro, Pablo F., Kilmurray, Cecilia, Acosta, Araceli, and Aguirre, Nazareno
    In Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 2011

2010

  1. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
    Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos Gustavo López, and Maibaum, T. S. E.
    In Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 2010
  2. Characterizing Locality (Encapsulation) with Bisimulation
    Castro, Pablo F., and Maibaum, T. S. E.
    In Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 2010
  3. Towards a First-Order Deontic Action Logic
    Castro, Pablo F., and Maibaum, T. S. E.
    In Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers 2010