Publications

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

• 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

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

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

Gohde J, Boddy M, Shackleton H.  2013.  Learning from Previous Execution to Improve Route Planning. ICAPS Workshop on Planning and Learning.

• Google Scholar
• BibTex

Bonasso R.P., Boddy M, Kortenkamp D, Bell S.  2013.  Ontological Models To Support Space Operations.

• Google Scholar
• BibTex

Bell S, Bonasso R.P., Boddy M, Kortenkamp D, Schreckenghost D.  2013.  PRONTOE: A case study for developing ontologies for operations. 5th International Conference on Knowledge Engineering and Ontology Development.

• Google Scholar
• BibTex

Boddy M, Shackleton H.  2013.  Systems and Methods for Route Planning.

• Google Scholar
• BibTex

Boddy M.  2012.  Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness. Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-12).

• Google Scholar
• BibTex

Boddy M, Shackleton H, Carpenter T, Nelson K.  2012.  Inferring System Level Properties.

• Google Scholar
• BibTex

Michalowski M, Boddy M, Neilsen M.  2011.  Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco CA (2011).

• Google Scholar
• BibTex

Boddy M, Michalowski M, Schwerdfeger A, Shackleton H, Vestal S.  2011.  FUSED: A Tool Integration Framework for Collaborative System Engineering. 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS-11). :1-8.

• Google Scholar
• BibTex

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.

• Google Scholar
• BibTex

Bonasso P, Boddy M.  2010.  Eliciting Planning Information from Subject Matter Experts. ICAPS 2010 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS).

• Google Scholar
• BibTex

Boddy M, Bonasso R.  2010.  Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.

• Google Scholar
• BibTex

Bonasso R.P., Boddy M, Kortenkamp D.  2009.  Enhancing NASA’s Procedure Representation Language to Support Planning Operations.

• Google Scholar
• BibTex

Bonasso R.P., Boddy M, Kortenkamp D, Bell S.  2009.  Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).

• Google Scholar
• BibTex

Boddy M, Carpenter T, Shackleton H, Nelson K.  2008.  System-Level Autonomy Trust Enabler (SLATE).

• Google Scholar
• BibTex

Boddy M, Nelson K, Musliner D, Goldman R.  2007.  Deep Green Seedling: Language for Investigating Myriad Eventualities.

• Google Scholar
• BibTex

Boddy M, Fox M, Thi S.  2007.  Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling.

• Google Scholar
• BibTex

Boddy M, Gohde J, Haigh J.T, Harp S.  2005.  Course of Action Generation for Cyber Security Using Classical Planning.

• Google Scholar
• BibTex

Bennet B, Boddy M, Doyle F., Jamshidi M., Ogunnaike T..  2004.  Assessment Study on Sensors and Automation in the Industries of the Future: Reports on Industrial Controls, Information Processing, Automation, and Robotics.

• Google Scholar
• BibTex

Boddy M, Harp S, Nelson K.  2004.  CLOCKWORK: Requirements Definition and Technology Evaluation for Robust, Compiled Autonomous Spacecraft Executives.

• Google Scholar
• BibTex

Boddy M, Bennett B, Isle B, Isle R.  2004.  NASA Planning and Scheduling Applications: Emerging Technologies and Mission Trends.

• Google Scholar
• BibTex