Pablo F. Castro
Orcid: 0000-0002-5835-4333Affiliations:
- Universidad Nacional de Rio Cuarto, Cordoba, Argentina
According to our database1,
Pablo F. Castro
authored at least 46 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
1
2
2
1
1
1
1
3
2
1
1
4
3
3
3
1
3
3
1
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
2023
Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification.
CoRR, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Deontic Action Logics via Algebra.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021
2020
Proceedings of the Dynamic Logic. New Trends and Applications, 2020
2019
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program., 2019
Fundam. Informaticae, 2019
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.
Stud Logica, 2017
2016
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
2015
Formal Aspects Comput., 2015
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
2014
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing, 2010
2009
Proceedings of the Methods, 2009
J. Appl. Log., 2009
Proceedings of the Workshop on Logical Aspects of Fault Tolerance, 2009
2008
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008
2007
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Theoretical Aspects of Computing, 2007