Publications

Boddy M, Krebsbach K.  1997.  Hybrid Reasoning for Complex Systems. Symposium on Model-directed Autonomous Systems.

• Google Scholar
• BibTex

Musliner D, Boddy M, Goldman R, Krebsbach K.  1997.  The Link Between Distributed Planning and Abstraction.

• Google Scholar
• BibTex

Vestal S.  1997.  MetaH Support for Real-Time Multi-Processor Avionics. 5th IEEE Workshop on Parallel and Distributed Real-Time Systems.

• Google Scholar
• BibTex

Vestal S, Guerby L, Dewar R, Lewis B, McConnell D.  1997.  Reimplementing a Multiprocess Distributed Paradigm for Real-Time Systems in Ada95. 8th International Real-Time Ada Workshop.

• Google Scholar
• BibTex

Nelson K, Penner R, Musliner D, Krebsbach K.  1997.  Search and Rescue Assistant.

• Google Scholar
• BibTex

Haigh J.T.  1996.  Auditing on Sidewinder.

• Google Scholar
• BibTex

Haigh J.T.  1996.  Best of the New Security Paradigms Workshop (Panel Chair).

• Google Scholar
• BibTex

Binns P, Englehart M, Jackson M, Vestal S.  1996.  Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering.

• Google Scholar
• BibTex

Lakshminarayan K., Harp S, Goldman R., Samad T..  1996.  Imputation of Missing Data Using Machine Learning Techniques. :140-145.

• Google Scholar
• BibTex

Moore A., Payne C.  1996.  Increasing Assurance with Literate Programming Techniques. :187-198.

• Google Scholar
• BibTex

Haigh J.T.  1996.  Proceedings of the 1996 Workshop on New Security Paradigms.

• Google Scholar
• BibTex

Boddy M.  1996.  Temporal Reasoning for Planning and Scheduling: Lessons Learned.

• Google Scholar
• BibTex

Binns P, Vestal S.  1995.  Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.

• Google Scholar
• BibTex

Moore A., Chapman E., Kim D., Klinker E., Mihelcic D., Voreh M., Payne C, Hayman K..  1995.  External COMSEC Adaptor Software Engineering Methodology.

• Google Scholar
• BibTex

Harp S, Samad T..  1995.  Genetic Algorithms and Neural Networks for Optimized Modeling and Control.

• Google Scholar
• BibTex

Froscher J.N, Goldschlag D.M, Kang M.H, Landwehr C.E, Moore A.P, Moskowitz I.S, Payne C.  1995.  Improving Inter-Enclave Information Flow for a Secure Strike Planning Application. :89-98.

• Google Scholar
• BibTex

Boddy M, Goldman R, Short N, White J.  1995.  Integrated Planning and Scheduling for the EOS Core System (ECS).

• Google Scholar
• BibTex

Thomsen D., O’Brien R, Haigh J.T.  1995.  LOCK DBMS: Integrating Type Enforcement.

• Google Scholar
• BibTex

Konar AF, Samad T, Harp S.  1995.  Neruo-pid Controller.

• Google Scholar
• BibTex

Vestal S.  1994.  Assuring the Correctness of Automatically Generated Software. 13th Digital Avionics Systems Conference.

• Google Scholar
• BibTex

Goldman R, Boddy M.  1994.  Conditional Linear Planning.

• Google Scholar
• BibTex

Boddy M, Dean T.  1994.  Decision-Theoretic Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artificial Intelligence. 67

• Google Scholar
• BibTex

Goldman R, Boddy M.  1994.  Epsilon-Safe Planning.

• Google Scholar
• BibTex

Payne C, Moore AP, Mihelcic DM.  1994.  An Experience Modeling Critical Requirements.

• Google Scholar
• BibTex

Vestal S.  1994.  Fixed Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Transactions on Software Engineering. 20:308-317.

• Google Scholar
• BibTex