Publications

Export 306 results:
2020
Smith T, Peroutka R, Edman R.  2020.  Compositional Formal Analysis Based on Conventional Engineering Models.
2019
Boydston A, Feiler P, Vestal S, Lewis B.  2019.  Architecture Centric Virtual Integration Process (ACVIP): A Key Component of the DoD Digital Engineering Strategy. 22nd Annual Systems and Mission Engineering Conference.
2018
Smith T, Edman R.  2018.  AADL Annex for the FACE™ Technical Standard, Edition 3.0.
Smith T, Edman R, Seibel J.  2018.  Basswood: BALSA in Real-time. US Army FACE Technical Interchange Meeting.
Smith T, Edman R, Seibel J.  2018.  Basswood: BALSA Inspired Real-Time Analysis and Model Based System Engineering.
Smith T.  2018.  Countering Inside Threat Actors in Algorithm-Based Media. 2018 IEEE International Conference on Big Data (Big Data).
Smith T, Whillock R, Edman R, Lewis B, Vestal S.  2018.  Lessons Learned in Inter-Organization Virtual Integration. Aerospace Systems and Technology Conference .
Lemieux V, Smith T.  2018.  Leveraging Archival Theory to Develop A Taxonomy of Online Disinformation. 2018 IEEE International Conference on Big Data (Big Data).
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).
Harp S, Carpenter T, Hatcliff J.  2018.  A Reference Architecture for Secure Medical Devices. Biomedical Instrumentation & Technology. 52(5):357-365.
2017
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.
Borck H, Boddy M.  2017.  Automated case generation using a genetic algorithm. Proceedings of the Genetic and Evolutionary Computation Conference Companion.
Smith T.  2017.  The Blockchain Litmus Test. 2017 IEEE International Conference on Big Data (Big Data).
Carpenter T.  2017.  Designing Cybersecurity into Connected Medical Devices. Medical Design Briefs.
2016
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.
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.
2015
Alford R, Borck H, Karneeb J, Aha D.  2015.  Active Behavior Recognition in Beyond Visual Range Air Combat. Advances in Cognitive Systems.
Haigh J.T, Landwehr C.  2015.  Building Code for Medical Device Software Security.
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.
Borck H, Karneeb J, Floyd M, Alford R, Aha D.  2015.  Case-based Policy and Goal Recognition. International Conference on Case Based Reasoning.
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).
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.
2014
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.
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).
Bell S, Carciofini J, Boddy M, Bonasso P.  2014.  Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.

Pages