| 2018 | MODELS | Assurance via model transformations and their hierarchical refinement. | Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford |
| 2017 | MODELS | A Graph Transformation Approach to Introducing Aspects into Software Architectures. | Md Nour Hossain, Wolfram Kahl, Tom Maibaum |
| 2017 | SAFECOMP | Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. | Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
| 2016 | ICSE | Model management for regulatory compliance: a position paper. | Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum |
| 2016 | MODELS | A model management approach for assurance case reuse due to system evolution. | Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik |
| 2016 | MODELS | Heterogeneous Megamodel Slicing for Model Evolution. | Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum |
| 2016 | TASE | Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. | Aliakbar Safilian, Tom Maibaum |
| 2015 | FM | The Semantics of Cardinality-Based Feature Models via Formal Languages. | Aliakbar Safilian, Tom Maibaum, Zinovy Diskin |
| 2015 | ICTAC | Modeling Product Lines with Kripke Structures and Modal Logic. | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
| 2015 | MODELS | Analysis of Source-to-Target Model Transformations in QueST. | Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum |
| 2014 | IFM | A Separation Principle for Embedded System Interfacing. | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
| 2014 | MODELS | A Query Structured Approach for Model Transformation. | Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum |
| 2014 | PROFES | Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. | Wen Chen, Alan Wassyng, Tom Maibaum |
| 2013 | ICSE | Safety cases: a review of challenges. | Zarrin Langari, Tom Maibaum |
| 2013 | ICST | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. | Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicols Rosner, Ignacio Vissani |
| 2013 | SEFM | What IS a BoK? Large - Extended Abstract -. | Tom Maibaum |
| 2013 | SLE | Mapping-Aware Megamodeling: Design Patterns and Laws. | Zinovy Diskin, Sahar Kokaly, Tom Maibaum |
| 2012 | APSEC | Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. | Xiang Ling, Tom Maibaum |
| 2006 | ICSE | Towards specification, modelling and analysis of fault tolerance in self managed systems. | Jeff Magee, Tom Maibaum |