Thomas Stephen Edward Maibaum

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 5

Top Topics

Cut Elimination

Probabilistic Reasoning

Proof Theoretic

Top Venues

Fundam. Informaticae

Formal Aspects Comput.

Publications

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33 (4) (2021)
Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
A proof theoretic basis for relational semantics. CoRR (2021)
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166 (4) (2019)
Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre
Simulation relations for fault-tolerance. Formal Aspects Comput. 29 (6) (2017)
Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. ICFEM (2016)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) (2015)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stateflow to Tabular Expressions. SoICT (2015)
Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. TACAS (2015)
Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. TABLEAUX (2015)