Pablo F. Castro

Thomas Stephen Edward Maibaum

Fundam. Informaticae, 2019

An Algebraic Approach for Action Based Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Measuring Masking Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Interpolation and Beth Definability in Default Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

A Tableaux Calculus for Default Intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Reasoning About Prescription and Description Using Prioritized Default Rules.

[BibT_eX]

[DOI]

Valentin Cassano

Carlos Areces

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

From operational to declarative specifications using a genetic algorithm.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

Goal-conflict likelihood assessment based on model counting.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stud Logica, 2017

Simulation relations for fault-tolerance.

[BibT_eX]

[DOI]

Ramiro Demasi

Thomas Stephen Edward Maibaum

Formal Aspects Comput., 2017

2016

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Algebraic Foundations for Specification Refinements.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Goal-conflict detection based on temporal satisfiability checking.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Categorical foundations for structured specifications in Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.

[BibT_eX]

[DOI]

Ramiro Demasi

Thomas Stephen Edward Maibaum

Nicolás Ricci

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.

[BibT_eX]

[DOI]

Cecilia Kilmurray

Nir Piterman

Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

A Recursive Probabilistic Temporal Logic.

[BibT_eX]

[DOI]

Cecilia Kilmurray

Nir Piterman

Proceedings of the Formal Methods and Software Engineering, 2015

2014

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Automated Reasoning over Deontic Action Logics with Finite Vocabularies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Encapsulating deontic and branching time specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.

[BibT_eX]

[DOI]

Tom Maibaum

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Towards a First-Order Deontic Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Characterizing Locality (Encapsulation) with Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.

[BibT_eX]

[DOI]

Proceedings of the Methods, 2009

Deontic action logic, atomic boolean algebras and fault-tolerance.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Logical Aspects of Fault Tolerance, 2009

2008

A Tableaux System for Deontic Action Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A Complete and Compact Propositional Deontic Logic.

[BibT_eX]

[DOI]