| 2017 | MEDI | Use of Tabular Expressions for Refinement Automation. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | HCI | Formalizing the Cardiac Pacemaker Resynchronization Therapy. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | SAFECOMP | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | FM | Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. | Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum |
| 2014 | HCI | Formalizing the Glucose Homeostasis Mechanism. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | ICTAC | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. | Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2014 | ISSRE | The Definition and Assessment of a Safety Argument. | Valentin Cassano, T. S. E. Maibaum |
| 2014 | ISSRE | Argument Evaluation in the Context of Assurance Case Confidence Modeling. | Silviya Grigorova, T. S. E. Maibaum |
| 2013 | ATVA | Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2013 | IFM | Characterizing Fault-Tolerant Systems by Means of Simulation Relations. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2013 | ISSRE | Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. | Silviya Grigorova, T. S. E. Maibaum |
| 2012 | FASE | Intermodeling, Queries, and Kleisli Categories. | Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki |
| 2011 | EMSOFT | Software certification experience in the canadian nuclear industry: lessons for the future. | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
| 2010 | ICTAC | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo Lpez Pombo, T. S. E. Maibaum |
| 2010 | ICTAC | Characterizing Locality (Encapsulation) with Bisimulation. | Pablo F. Castro, T. S. E. Maibaum |
| 2010 | ISoLA | Certification of Software-Driven Medical Devices. | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2009 | FASE | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2009 | ICFEM | Specifying and Verifying Business Processes Using PPML. | Germn Regis, Nazareno Aguirre, T. S. E. Maibaum |
| 2007 | ICFEM | Challenges in Software Certification. | T. S. E. Maibaum |
| 2007 | ICTAC | A Complete and Compact Propositional Deontic Logic. | Pablo F. Castro, T. S. E. Maibaum |
| 2007 | IFM | Verifying Temporal Properties of CommUnity Designs. | Nazareno Aguirre, Germn Regis, T. S. E. Maibaum |
| 2007 | SEFM | An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. | Pablo F. Castro, T. S. E. Maibaum |
| 2006 | SoMeT | On specifying systems that connect to the physical world. | T. S. E. Maibaum |
| 2005 | ICFEM | Towards Dynamically Communicating Abstract Machines in the B Method. | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2004 | FASE | The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2004 | ICFEM | Implementing Dynamic Aggregations of Abstract Machines in the B Method. | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2004 | ICSR | Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2003 | FASE | A Logical Basis for the Specification of Reconfigurable Component-Based Systems. | Nazareno Aguirre, T. S. E. Maibaum |
| 2003 | FM | Taking | Marcelo F. Frias, Carlos Lpez Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |
| 2003 | MEMOCODE | Goal-Oriented Requirements Analysis for Process Control Systems Design. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2001 | ICSE | Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. | Armando Martin Haeberer, T. S. E. Maibaum |
| 2000 | ICSE | Mathematical foundations of software engineering: a roadmap. | T. S. E. Maibaum |
| 1997 | ECOOP | Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
| 1993 | RE | Formally specifying temporal constraints and error recovery. | Stuart Kent, T. S. E. Maibaum, William J. Quirk |
| 1991 | COMPASS | Process Semantics of Temporal Logic Specifications. | Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum |
| 1990 | DS | Proof-Theoretic Semantics of Object-Oriented Specification Constructs. | Jos Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake |
| 1988 | CONCUR | A Top-down Step-wise Refinement Methodology for Protocol Specification. | Da-Hai Li, T. S. E. Maibaum |
| 1985 | DS | Database Specification. | Samit Khosla, T. S. E. Maibaum, M. R. Sadler |
| 1984 | ICSE | On What Exactly Is Going On When Software Is Developed Step-by-Step. | T. S. E. Maibaum, Wladyslaw M. Turski |
| 1983 | VLDB | A Modal System of Algebras for Database Specification and Query/Update Language Support. | Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler |
| 1982 | ICDCS | A message oriented language for system applications. | A. Koch, T. S. E. Maibaum |
| 1981 | ICDCS | A Synchronization Calculus for Message Oriented Programming. | Paulo Roberto Freire Cunha, T. S. E. Maibaum |
| 1981 | ICSE | Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. | Paulo R. F. Cunha, T. S. E. Maibaum |
| 1974 | ICALP | Parallel Rewriting Systems on terms. | Karel Culk II, T. S. E. Maibaum |
| 1972 | FOCS | The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets | T. S. E. Maibaum |