Boydston A, Feiler P, Vestal S, Lewis B.  2019.  Architecture Centric Virtual Integration Process (ACVIP): A Key Component of the DoD Digital Engineering Strategy.

• Google Scholar
• BibTex

Smith T, Edman R.  2018.  AADL Annex for the FACE™ Technical Standard, Edition 3.0.

• Google Scholar
• BibTex

Smith T, Edman R, Seibel J.  2018.  Basswood: BALSA in Real-time. US Army FACE Technical Interchange Meeting.

• Google Scholar
• BibTex

Smith T, Edman R, Seibel J.  2018.  Basswood: BALSA Inspired Real-Time Analysis and Model Based System Engineering.

• Google Scholar
• BibTex

Smith T.  2018.  Countering Inside Threat Actors in Algorithm-Based Media. 2018 IEEE International Conference on Big Data (Big Data).

• Google Scholar
• BibTex

Smith T, Whillock R, Edman R, Lewis B, Vestal S.  2018.  Lessons Learned in Inter-Organization Virtual Integration. Aerospace Systems and Technology Conference .

• Google Scholar
• BibTex

Lemieux V, Smith T.  2018.  Leveraging Archival Theory to Develop A Taxonomy of Online Disinformation. 2018 IEEE International Conference on Big Data (Big Data).

• Google Scholar
• BibTex

Isle B, Smith T.  2018.  Real World Examples Suggest a Path to Automated Mitigation of Disinformation. 2018 IEEE International Conference on Big Data (Big Data).

• Google Scholar
• BibTex

Harp S, Carpenter T, Hatcliff J.  2018.  A Reference Architecture for Secure Medical Devices. Biomedical Instrumentation & Technology. 52(5):357-365.

• Google Scholar
• BibTex

Borck H, Kline P, Shackleton H, Gohde J, Johnston S, Alexander P, Carpenter T.  2017.  100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. International Workshop on Software Engineering for Resilient Systems.

• Google Scholar
• BibTex

Borck H, Boddy M.  2017.  Automated case generation using a genetic algorithm. Proceedings of the Genetic and Evolutionary Computation Conference Companion.

• Google Scholar
• BibTex

Smith T.  2017.  The Blockchain Litmus Test. 2017 IEEE International Conference on Big Data (Big Data).

• Google Scholar
• BibTex

Carpenter T.  2017.  Designing Cybersecurity into Connected Medical Devices. Medical Design Briefs.

• Google Scholar
• BibTex

Borck H, Johnston S, Southern M, Boddy M.  2016.  Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. Workshop on Reasoning about Time in CBR (RATIC) at the International Conference on Case-Based Reasoning (ICCBR) 2016.

• Google Scholar
• BibTex

Borck H, Boddy M, De Silva IJ, Harp S, Hoyme K, Johnston S, Schwerdfeger A, Southern M.  2016.  Frankencode: Creating Diverse Programs Using Code Clones. 2016 IEEE 23nd International Conference on Software Analysis, Evolution and Reengineering (SANER). :604-608.

• Google Scholar
• BibTex

Alford R, Borck H, Karneeb J, Aha D.  2015.  Active Behavior Recognition in Beyond Visual Range Air Combat. Advances in Cognitive Systems.

• Google Scholar
• BibTex

Haigh J.T, Landwehr C.  2015.  Building Code for Medical Device Software Security.

• Google Scholar
• BibTex

Borck H, Karneeb J, Alford R, Aha D.  2015.  Case-Based Behavior Recognition in Beyond Visual Range Air Combat. 28th International Florida Artificial Intelligence Research Society Conference.

• Google Scholar
• BibTex

Borck H, Karneeb J, Floyd M, Alford R, Aha D.  2015.  Case-based Policy and Goal Recognition. International Conference on Case Based Reasoning.

• Google Scholar
• BibTex

Boddy M, Michalowski M, Shackleton H, R. Bonasso P, Bell S.  2015.  ConCEPT: Constraint-Checking Editor for Procedure Editing and Tracking. Workshop on AI in Space at the 2015 International Joint Conferences on Artificial Intelligence (IJCAI).

• Google Scholar
• BibTex

Michalowski M, Wilk S, Rosu D, Kezadri M, Michalowski W, Carrier M.  2015.  Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences. AMIA 2015 Annual Symposium, pp. 895-903.

• Google Scholar
• BibTex

Borck H, Karneeb J, Alford R, Aha D.  2014.  Case-based behavior recognition to facilitate planning in unmanned air vehicles. ICCBR Case Based Agents Workshop.

• Google Scholar
• BibTex

Michalowski M, Wilk S, Tan X, Michalowski W.  2014.  First-Order Logic Theory for Manipulating Clinical Practice Guidelines Applied to Comorbid Patients: A Case Study. AMIA 2014 Annual Symposium, pp. 892-898 (Distinguished Paper Nominee).

• Google Scholar
• BibTex

Bell S, Carciofini J, Boddy M, Bonasso P.  2014.  Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.

• Google Scholar
• BibTex

Wilk S, Michalowski M, Tan X, Michalowski W.  2014.  Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions. Knowledge Representation for Health Care (KR4HC 2014).

• Google Scholar
• BibTex