Publications

Export 11 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Thomas S.E. Maibaum  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
P. F. Castro and T. S. E. Maibaum, “Automated Reasoning over Deontic Action Logics with Finite Vocabularies”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF icon tableaux-open.pdf (1 MB)
H
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting”, in Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014.PDF icon compodesign-main.pdf (413 KB)
I
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF icon icst2013.pdf (285.71 KB)
P
V. Cassano, C. G. López Pombo, and T. S. E. Maibaum, “A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules”, in Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, 2015.
S
G. Regis, N. Ricci, N. Aguirre, and T. S. E. Maibaum, “Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows”, in Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012.PDF icon WorkflowPropVerification.pdf (433.21 KB)
R. Demasi, P. F. Castro, T. S. E. Maibaum, and N. Aguirre, “Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications”, in Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, 2013.