Todd Carpenter

According to our database, Todd Carpenter authored at least 10 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

Automated Property-Based Testing from AADL Component Contracts.

John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2021

HAMR: An AADL Multi-platform Code Generation Toolset.

John Hatcliff, Jason Belt, Robby, Todd Carpenter

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2019

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, Joseph Jorgens

SIGBED Rev., 2019

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

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices.

Todd Carpenter, John Hatcliff, Eugene Y. Vasserman

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

1998

Avionics Integration for CNS/ATM.

Todd Carpenter

Computer, 1998

1996

Paradigms for Modeling and Simulation of Multiprocessor Architectures.

Sudhakar Yalamanchili, Todd Carpenter

Int. J. Comput. Simul., 1996

A Model for the Coanalysis of Hardware and Software Architectures.

Fred Rose, Todd Carpenter, Sanjaya Kumar, John Shackleton, Todd Steeves Honeywell

Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996

1994

ARINC 659 Scheduling: Problem Definition.

Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994