Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Todd Carpenter

dblp:76/1758 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
4since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 since 2021Systems, architecture and hardware · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 77% Distributed systems · 12% Cloud and datacenter computing · 12%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › real-time embedded systems
avionics systems		 0.011994
ARINC 659 Scheduling: Problem Definition · RTSS 1994
Embedded and real-time systems
real-time scheduling		 0.011994
ARINC 659 Scheduling: Problem Definition · RTSS 1994
Distributed systems › distributed system architecture
distributed multiprocessor system		 0.011994
ARINC 659 Scheduling: Problem Definition · RTSS 1994
Cloud and datacenter computing › resource allocation › resource allocation policy
resource partitioning		 0.011994
ARINC 659 Scheduling: Problem Definition · RTSS 1994

Methods — techniques the papers use, named apart from their topics

pre-scheduling · 0.0partitioning · 0.0
YearPublicationVenuePosition
2025 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.6
2023 Automated Property-Based Testing from AADL Component Contracts
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
 FMICS6
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.6
2021 HAMR: An AADL Multi-platform Code Generation Toolset
John Hatcliff, Jason Belt, Robby, Todd Carpenter
 ISoLA4
1994 ARINC 659 Scheduling: Problem Definition
abstract
Honeywell is completing integration of the new Boeing 777 integrated Airplane Information Management System (AIMS). AIMS functions range from hard real-time to non-real-time, include flight-critical and non-essential functions, and must all reside on the same distributed multiprocessor system. This system, based on Aeronautical Radio Inc's ARINC 659 specification, allows for high resource utilization while providing strict partitioning and provable performance via pre-scheduling of processing and communication resources. Such scheduling presents significant theoretical and practical problems. This paper describes these scheduling requirements with the intent of providing the research community with practical bounds for problem definition.>
Todd Carpenter, Kevin Driscoll 0001, Ken Hoyme, Jim Carciofini
 RTSS1