Todd Carpenter

11 papers A 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated property-based testing from AADL component contracts.
Int. J. Softw. Tools Technol. Transf.
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2023 C conf
Automated Property-Based Testing from AADL Component Contracts.
FMICS
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2023 J jnl
Model-driven development for the seL4 microkernel using the HAMR framework.
J. Syst. Archit.
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, Konrad Slind, Ihor Kuz, Kent McLeod
2021 C conf
HAMR: An AADL Multi-platform Code Generation Toolset.
ISoLA
John Hatcliff, Jason Belt, Robby, Todd Carpenter
2019 J jnl
The open PCA pump project: an exemplar open source medical device as a community resource.
SIGBED Rev.
John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens
2017 — conf
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World.
SERENE
Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter
2017 — conf
A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices.
SafeThings@SenSys
Todd Carpenter, John Hatcliff, Eugene Y. Vasserman
1998 J jnl
Avionics Integration for CNS/ATM.
Computer
Todd Carpenter
1996 — conf
A Model for the Coanalysis of Hardware and Software Architectures.
CODES
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Shackleton, Todd Steeves Honeywell
1996 J jnl
Paradigms for Modeling and Simulation of Multiprocessor Architectures.
Int. J. Comput. Simul.
Sudhakar Yalamanchili, Todd Carpenter
1994 A conf
ARINC 659 Scheduling: Problem Definition.
RTSS
Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini