Publications

Export 300 results:
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, Whillock R, Edman R, Lewis B, Vestal S.  2018.  Lessons Learned in Inter-Organization Virtual Integration. Aerospace Systems and Technology Conference .
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.
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).
2013
Nelson K, Bischoff BJ.  2013.  Activity Monitoring.
Michalowski M, Carpenter T, Nelson K.  2013.  Interactive Educational Tool.
Gohde J, Boddy M, Shackleton H.  2013.  Learning from Previous Execution to Improve Route Planning. ICAPS Workshop on Planning and Learning.
Wilk S, Michalowski W, Michalowski M, Farion K, Hing MMainegra, Mohapatra S.  2013.  Mitigation of Adverse Interactions in Pairs of Clinical Practice Guidelines Using Constraint Logic Programming. Journal of Biomedical Informatics. 46(2):341-353.
Payne C, Sonnek J, Harp S, O'Brien R, Gohde J.  2013.  Multi-Domain Information Sharing.

Pages