Todd Carpenter

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 6

Top Topics

Principle Component Analysis

Cross Disciplinary

Top Venues

SafeThings@SenSys

J. Syst. Archit.

Publications

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