ARINC 659 Scheduling: Problem Definition. - Todd Carpenter; Kevin Driscoll 001; Ken Hoyme; Jim Carciofini (RTSS, 1994)

A Model for the Coanalysis of Hardware and Software Architectures. - Fred Rose; Todd Carpenter; Sanjaya Kumar; John Shackleton; Todd Steeves Honeywell (CODES, 1996)

Paradigms for Modeling and Simulation of Multiprocessor Architectures. - Sudhakar Yalamanchili; Todd Carpenter (Int. J. Comput. Simul., 1996)

Avionics Integration for CNS/ATM. - Todd Carpenter (Computer, 1998)

A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices. - Todd Carpenter; John Hatcliff; Eugene Y. Vasserman (SafeThings@SenSys, 2017)

100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. - Hayley Borck; Paul Kline; Hazel Shackleton; John Gohde; Steven Johnston; Perry Alexander; Todd Carpenter (SERENE, 2017)

The open PCA pump project: an exemplar open source medical device as a community resource. - John Hatcliff; Brian R. Larson; Todd Carpenter; Paul L. Jones; Yi Zhang 051; Joseph Jorgens (SIGBED Rev., 2019)

HAMR: An AADL Multi-platform Code Generation Toolset. - John Hatcliff; Jason Belt; Robby; Todd Carpenter (ISoLA, 2021)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)

Automated property-based testing from AADL component contracts. - John Hatcliff; Jason Belt; Robby; Jacob Legg; Danielle Stewart; Todd Carpenter (Int. J. Softw. Tools Technol. Transf., 2025)