Thomas Stephen Edward Maibaum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2016
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFEM | A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. | Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova |
| 2015 | HCI | Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng |
| 2015 | TABLEAUX | A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. | Valentin Cassano, Carlos Gustavo Lpez Pombo, Thomas Stephen Edward Maibaum |
| 2015 | TACAS | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |