Publications

Export 14 results:
Filters: Author is Todd Carpenter  [Clear All Filters]
2018
Harp S, Carpenter T, Hatcliff J.  2018.  A Reference Architecture for Secure Medical Devices. Biomedical Instrumentation & Technology. 52(5):357-365.
2010
Michalowski M, Boddy M, Carpenter T.  2010.  Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.
1994
Carpenter T, Driscoll K., Hoyme K, Carciofini J.  1994.  ARINC 659 scheduling: problem definition. 1994 Proceedings Real-Time Systems Symposium.