Publications

Journals and Conferences

2017

Alexandru G. Bardas1, Sathya Chandran Sundaramurthy, Xinming Ou, and Scott A. DeLoach. MTD CBITS: Moving Target Defense for Cloud-Based IT Systems. Proceedings of the 2017 European Symposium on Research in Computer Security (ESORICS). September 11-13, 2017. Oslo, Norway

2016

Matthias Scheutz, Scott DeLoach, Julie A. Adams. A framework for developing and using shared mental models in human-agent teams. Journal of Cognitive Engineering and Decision Making.  (accepted for publication).

Pavel Janovsky and Scott A. DeLoach. --Agent Simulation Framework for Large-Scale Coalition Formation. Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence October 13-16, 2016. Omaha, Nebraska, USA.

Pavel Janovksy, and Scott A. DeLoach. Increasing Coalition Stability in Large-Scale Coalition Formation with Self-Interested Agents. 22nd European Conference on Artificial Intelligence. Aug 29 - Sep 2, 2016. The Hague, Netherlands.

2015

Anil Pahwa, Scott A. DeLoach, Bala Natarajan, Sanjoy Das, Ahmad R. Malekpour, Md. Shafiul Alam, and Denise M. Case. Goal-Based Holonic --Agent System for Operation of Power Distribution Systems. IEEE Transactions on Smart Grid: Special Issue on Cyber Physical System and Security for Smart Grid. 6(5), pp. 2510 - 2518. Sep. 2015.

Rui Zhuang, Alexandru G. Bardas, Scott A. DeLoach, and Xinming Ou. A Theory of Cyber Attacks - A Step Towards Analyzing MTD Systems. Proceedings of the Second ACM Workshop on Moving Target Defense (MTD 2015). October 12, 2015, Denver, Colorado, USA

2014

Yi Cheng, Julia Deng, Jason Li, Scott A. DeLoach, Anoop Singhal, and Xinming Ou. "Metrics of Security." In Cyber Defense and Situational Awareness, pp. 263-295. Springer International Publishing, 2014.

Denise M. Case, M. N. Faqiry, B. P. Majumder, Sanjoy Das, and Scott A. DeLoach. Implementation of a two-tier double auction for on-line power purchasing in the simulation of a distributed intelligent cyber-physical system. In Research in Computing Science, 2014.

Rui Zhuang, Scott A. DeLoach, Xinming Ou. Towards a Theory of Moving Target Defense. Proceedings of the First ACM Workshop on Moving Target Defense (MTD 2014) November 3, 2014, Scottsdale, Arizona, USA

Ian Unruh, Alexandru G. Bardas, Rui Zhuang, Xinming Ou, Scott A. DeLoach. Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. USENIX Large Installation System Administration (LISA) Conference. November 9-14, 2014. Seattle, WA.

Scott A. DeLoach, Simon Ou, Rui Zhuang, Su Zhang. Model-driven, Moving-Target Defense for Enterprise Network Security. In Uwe Assmann, Nelly Bencomo, Gordon Blair, Betty H. C. Cheng, Robert France (eds) Models@run.time. Springer International Publishing, Switzerland. LNCS 8378, pp. 137-161 (in press).

Scott A. DeLoach. O-MaSE: an extensible methodology for --agent systems. in Onn Shehory and Arnon Sturm (eds.) Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks, Springer, Berlin. 2014. ISBN: 978-3-642-54431-6.

Scott A. DeLoach and Juan C. Garcia-Ojeda. The O-MaSE Methodology. In M. Cossentino et al. (eds.), Handbook on Agent-Oriented Design Processes, Springer-Verlag, Berlin Heidelberg, 2014. pp. 253-285. ISBN 978-3-642-39974-9.

Rui Zhuang, Scott A. DeLoach, Xinming Ou. A Model for Analyzing the Effect of Moving Target Defenses on Enterprise Networks. Proceedings of the 9th Cyber and Information Security Research Conference April 8 - 10, 2014. Oak Ridge, Tennessee.

Denise Case , Scott A. DeLoach, Xinming Ou. OBAA++: An Agent Architecture for Participating in -ple Groups. Proceedings of the 13th International Conference on Autonomous Agents and -agent Systems.

2013

Rui Zhuang, Su Zhang, Alex Bardas, Scott A. DeLoach, Xinming Ou, Anoop Singhal.Investigating the Application of Moving Target Defenses to Network Security. 1st International Symposium on Resilient Cyber Systems (ISRCS). August 13-15, 2013, San Francisco, CA.

Anil Pahwa, Scott A. DeLoach, Sanjoy Das, Balasubramaniam Natarajan, Xinming Ou, Daniel Andresen, Noel Schulz, Gurdip Singh (2013). Holonic --Agent Control of Intelligent Power Distribution Systems. IEEE PES General Meeting. Vancouver, BC, Canada.

Denise Case, Scott A. DeLoach. Applying an O-MaSE Compliant Process to Develop a Holonic -agent System for the Evaluation of Intelligent Power Distribution Systems. in Cossentino, M., Seghrouchni, F. and Winikoff, M. (eds) Engineering --Agent Systems (EMAS 2013). LNCS 8245. pp. 78-96. (1st Intl Workshop on Engineering -agent Systems, May 6-7, 2013, Minneapolis, MN).

Justin Yackoski, Jason Li, Scott A. DeLoach, Xinming Ou. Mission-oriented Moving Target Defense Based on Cryptographically Strong Network Dynamics. Proceedings of the 8th Annual Cyber Security and Information Intelligence Research Workshop, Jan 8 - 10, 2013. Oak Ridge, Tennessee.

2012

Anil Pahwa, Scott A. Deloach, Sanjoy Das, Balasubramaniam Natarajan, Xinming Ou, Daniel Andresen, Noel Schulz, and Gurdip Singh. Holonic --agent Control of Power Distribution Systems of the Future. CIGRE Grid of the Future Symposium. October 28-30, 2012. Kansas City, Missouri USA.

Rui Zhuang, Su Zhang, Scott A. DeLoach, Xinming Ou, and Anoop Singhal. Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense. National Symposium on Moving Target Research. June 11, 2012, Annapolis, MD.

Caroline E. Harriott, Rui Zhuang, Julie A. Adams and Scott A. DeLoach. Towards Using Human Performance Moderator Functions in Human-Robot Teams. First International Workshop on Human-Agent Interaction Design and Models (HAIDM 2012). Valencia, Spain, June 4, 2012.

2011

Christopher Zhong and Scott A. DeLoach. Runtime Models for Automatic Reorganization of --Robot Systems. 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011). Waikiki, Honolulu, Hawaii, May 23-24, 2011.

2010

Scott A. DeLoach & Juan Carlos Garcia-Ojeda. O-MaSE: a customizable approach to designing and building complex, adaptive -agent systems. International Journal of Agent-Oriented Software Engineering. Volume 4, no. 3, 2010, pp. 244 - 280.

Juan C. Garca-Ojeda and Scott A. DeLoach.The O-MaSE Process: a Standard View. Proceedings of the IEEE FIPA Workshop on Design Process Documentation and Fragmentation (FIPA DPDF), held in conjunction with The --Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010). August 30 - September 2, 2010. Lyon, France.

Walamitien Oyenan, Scott DeLoach, & Gurdip Singh. An Organizational Design for Adaptive Sensor Networks. Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT '10). Toronto Canada, September 2010.

Walamitien Oyenan and Scott DeLoach. Towards a Systematic Approach for Designing Autonomic Systems. Web Intelligence and Agent Systems: An International Journal. Volume 8, no. 1, 2010.

Scott A. DeLoach & Matthew Miller. A Goal Model for Adaptive Complex Systems. International Journal of Computational Intelligence: Theory and Practice. Volume 5, no. 2, 2010. (errata).

2009

Scott A. DeLoach & Matthew Miller. A Goal Model for Adaptive Complex Systems. International Conference on Knowledge-Intensive --Agent Systems (KIMAS 2009). St. Louis, MO, October 11-14, 2009.

Scott J. Harmon, Scott A. DeLoach, and Robby. Abstract Requirement Analysis in -agent System Design, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT '09). Milan, Italy, September 15-18, 2009.

Scott DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using Three AOSE Toolkits to Develop a Sample Design. International Journal of Agent Oriented Software Engineering. Volume 3, no. 4, 2009, 2009, pp 416-476.

Scott A. DeLoach. Moving -agent Systems from Research to Practice. International Journal of Agent-Oriented Software Engineering. Volume 3, no. 4, 2009, pp. 378-382.

Scott A. DeLoach. OMACS: a Framework for Adaptive, Complex Systems. in Virginia Dignum (ed.) --Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global: Hershey, PA. ISBN: 1-60566-256-9 (March 2009). This chapter copyright 2008, IGI Global, www.igi-pub.com. Posted by permission of the publisher.

Eric Matson, Scott A. DeLoach, Raj Bhatnagar. Evaluation of Properties in the Transition of Capability Based Agent Organization. Web Intelligence and Agent Systems: An International Journal. Volume 7, no. 1, 2009, pp. 1-21.

Walamitien Oyenan, Scott DeLoach, & Gurdip Singh. Exploiting Reusable Organizations to Reduce Complexity in -agent System Design. Proceedings of the 9th International Workshop on Agent Oriented Software Engineering (AOSE 2009), Budapest Hungary, May 2009.

Juan C. Garcia-Ojeda, Scott A. DeLoach, and Robby. agentTool Process Editor: Supporting the Design of Tailored Agent-based Processes. Proceedings of the 24th Annual ACM Symposium on Applied Computing to be held at the Hilton Hawaiian Village Beach Resort & Spa Waikiki Beach, Honolulu, Hawaii, USA. March 8 - 12, 2009.

Walamitien Oyenan, Scott DeLoach, & Gurdip Singh. A Service-Oriented Approach for Integrating -agent System Designs. Proceedings of the Proceedings of 8th International Conference on Autonomous Agents and -agent Systems (AAMAS 2009), Decker, Sichman, Sierra, and Castelfranchi (eds.), May, 10-15, 2009, Budapest, Hungary.

Scott Harmon, Scott DeLoach, & Robby. From Abstract Qualities to Concrete Specification using Guidance Policies. Proceedings of the Proceedings of 8th International Conference on Autonomous Agents and -agent Systems (AAMAS 2009), Decker, Sichman, Sierra, and Castelfranchi (eds.), May, 10-15, 2009, Budapest, Hungary.

Juan C. Garca-Ojeda, Scott A. DeLoach, and Robby, agentTool III: From Process Definition to Code Generation, Proc. of 8th Int. Conf. on Autonomous Agents and -agent Systems (AAMAS 2009), Decker, Sichman, Sierra, and Castelfranchi (eds.), May, 10-15., 2009, Budapest, Hungary, pp. 1393-1394.

2008

Scott A. DeLoach, Walamitien Oyenan & Eric T. Matson. A Capabilities Based Model for Artificial Organizations. Journal of Autonomous Agents and -agent Systems. Volume 16, no. 1, February 2008, pp. 13-56. DOI: 10.1007/s10458-007-9019-4.

Scott J. Harmon, Scott A. DeLoach, Robby, and Doina Caragea. Leveraging Organizational Guidance Policies with Learning to Self-Tune -agent Systems Leveraging Organizational Guidance Policies with Learning to Self-Tune -agent Systems. Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Isola di San Servolo (Venice), Italy, October 20-24, 2008.

Lin Padgham, Michael Winikoff, Scott DeLoach, and Massimo Cossentino. A Unified Graphical Notation for AOSE. Proceedings of the 9th International Workshop on Agent Oriented Software Engineering, Estoril Portugal, May 2008.

Scott A. DeLoach. Developing a -agent Conference Management System Using the O-MaSE Process Framework. In Michael Luck (eds.), Agent-Oriented Software Engineering VIII: The 8th International Workshop on Agent Oriented Software Engineering (AOSE 2007), LNCS 4951, 171-185, Springer-Verlag: Berlin.

Juan C. Garcia-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan and Jorge Valenzuela. O-MaSE: A Customizable Approach to Developing -agent Development Processes. In Michael Luck (eds.), Agent-Oriented Software Engineering VIII: The 8th International Workshop on Agent Oriented Software Engineering (AOSE 2007), LNCS 4951, 1-15, Springer-Verlag: Berlin.

2007

Walamitien Oyenan and Scott A. DeLoach. Design and Evaluation of a -agent Autonomic Information System. International Conference on Intelligent Agent Technology (IAT'07). Fremont, California. November 2007.

Scott Harmon, Scott A. DeLoach, and Robby. Trace-based Specification of Law and Guidance Policies for -agent Systems. The Eighth Annual International Workshop "Engineering Societies in the Agents World" (ESAW 07) Athens, Greece, October, 2007.

Scott A. DeLoach and Jorge L. Valenzuela. An Agent-Environment Interaction Model. in L. Padgham and F. Zambonelli (Eds.): AOSE 2006, LNCS 4405, pp. 1-18, 2007. Springer-Verlag, Berlin Heidelberg 2007.

2006

Eugene Santos Jr., Scott A. DeLoach, Michael T. Cox. Achieving Dynamic, --Commander, --Mission Planning and Execution. Journal of Applied Intelligence Volume 25, no. 3, December 2006, pp. 335-357.

Christopher Zhong and Scott A. DeLoach. An Investigation of Reorganization Algorithms. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2006). June 2006, Las Vegas, Nevada, CSREA Press, 2006.

Robby, Scott A. DeLoach, Valeriy A. Kolesnikov. Using Design Metrics for Predicting System Flexibility. in Luciano Baresi, Reiko Heckel (eds.) Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Springer LNCS Vol 3922, pp 184-198, 2006.

Scott A. DeLoach. -agent Systems Engineering of Organization-based -agent Systems. 4th International Workshop on Software Engineering for Large-Scale --Agent Systems (SELMAS'05). May 15-16, 2005, St. Louis, MO. Springer LNCS Vol 3914, Apr 2006, pp 109 - 125.

2005

Eric Matson & Scott A. DeLoach. Formal Transition in Agent Organizations, IEEE International Conference on Knowledge Intensive -agent Systems (KIMAS '05), Waltham, MA, April 18-21, 2005.

Eric Matson & Scott A. DeLoach. Autonomous Organization-Based Adaptive Information Systems, IEEE International Conference on Knowledge Intensive -agent Systems (KIMAS '05), Waltham, MA, April 18-21, 2005.

Scott A. DeLoach & Madhukar Kumar. -agent Systems Engineering: an Overview and Case Study. In Agent-Oriented Methodologies. Brian Henderson-Sellers and Paolo Giorgini (eds). Idea Group, 2005.

2004

David Gustafson, Venkata Prashant Rapaka, Scott DeLoach. A Comparison of Algorithms for Teams of Robots. Proceedings of the 2004 International Conference on Systems, Man and Cybernetics. October 10-13 2004 The Hague, The Netherlands.

Eric Matson, Scott A. DeLoach, and Robyn Pauly. Building Interest in Math and Science for Rural and Underserved Elementary School Children Using Robot. Journal of STEM Education Volume 5, no. 3 & 4, July-December 2004, pp. 35-46.

Scott A. DeLoach. The MaSE Methodology. In Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering Handbook Series : -agent Systems, Artificial Societies, and Simulated Organizations, Vol. 11. Bergenti, Federico; Gleizes, Marie-Pierre; Zambonelli, Franco (Eds.) Kluwer Academic Publishing (available via Springer), August 2004.

Scott A. DeLoach, Eric Matson. An Organizational Model for Designing Adaptive -agent Systems. The AAAI-04 Workshop on Agent Organizations: Theory and Practice (AOTP 2004). Technical Report WS-04-02. AAAI Press. pp. 66-73. July 25-29, 2004, San Jose, California.

Eric Matson & Scott A. DeLoach. Integrating Robotic Sensor and Effector Capabilities with --Agent Organizations. Proceedings of The 2004 International Conference on Artificial Intelligence (IC-AI'04). Las Vegas, Nevada, USA. June 21 - 24, 2004.

Eric Matson, Scott A. DeLoach. Using Robots to Increase Interest of Technical Disciplines in Rural and Underserved Schools, 36th 2004 ASEE Annual Conference, June 20-23, 2004. Salt Lake City, Utah. Selected as National Best Zone Paper Award.

Eric Matson & Scott A. DeLoach. Enabling Intra-Robotic Capabilities Adaptation Using an Organization-Based -agent System. Proceedings of the 2004 IEEE International Conference on Robotics and Automation (ICRA 2004). April 26 - May 1, 2004. New Orleans, LA.

2003

Eric Matson & Scott A. DeLoach. An Organization-Based Adaptive Information System for Battlefield Situational Analysis. Proceedings of the International Conference on Integration of Knowledge Intensive --Agent Systems: KIMAS'03: Modeling, Exploration, and Engineering. 30 Sep - 3 Oct 2003. Boston, MA

Scott DeLoach and Eric Matson. Autonomously Reorganizing Information Systems. 2003 International Conference on Advanced Technologies for Homeland Security (ICATHS). September 25-26, 2003. Storrs, CT.

Eric Matson, Robyn Pauly, Scott DeLoach. Robotic Simulators to Develop Logic and Critical Thinking Skills in K-6 School Children, 38th ASEE Midwest Section Conference, Rolla, Missouri, September 10-12, 2003.

Eric Matson, Robyn Pauly, Scott DeLoach. The Impact of the Robot Roadshow Program to Increase Interest of Technical Disciplines in Rural and Under Served School, 38th ASEE Midwest Section Conference, Rolla, Missouri, September 10-12, 2003.

Scott A. DeLoach, Eric T. Matson, Yonghua Li. Exploiting Agent Oriented Software Engineering in the Design of a Cooperative Robotics Search and Rescue System. The International Journal of Pattern Recognition and Artificial Intelligence, 17 (5), pp. 817-835, August 2003.

Eric Matson and Scott DeLoach. Using Dynamic Capability Evaluation to Organize a Team of Cooperative, Autonomous Robots. Proceedings of The 2003 International Conference on Artificial Intelligence (IC-AI'03) June 23-26, 2003, Las Vegas, Nevada, USA.

Athie Self & Scott A. DeLoach. Designing and Specifying Mobility within the -agent Systems Engineering Methodology. Special Track on Agents, Interactions, Mobility, and Systems (AIMS) at The 18th ACM Symposium on Applied Computing (SAC 2003). March 9 - 12, 2003, Melbourne, Florida, USA.

2002

Eric Matson, Scott A. DeLoach. Organizational Model for Cooperative and Sustaining Robotic Ecologies. Proceedings of Robosphere 2002, a workshop on Self Sustaining Robotic Ecologies, pp. 5-9. NASA Ames Research Center November 14-15, 2002.

Eric Matson, Scott DeLoach. Using Robots to Increase Interest of Technical Disciplines in Rural and Underserved Schools, 36th ASEE Midwest Section Conference, Norman, Oklahoma, September 11-13, 2002. Outstanding Paper Award.

Jonathan DiLeo, Timothy Jacobs, and Scott DeLoach. Integrating Ontologies into -agent Systems Engineering. Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002). 15-16 July 2002, Bologna (Italy).

Scott A. DeLoach, "Analysis and Design of -agent Systems Using Hybrid Coordination Media" Proceedings of Software Engineering in -agent Systems (SEMAS 2002). Orlando, Florida. July 18, 2002.

Scott A. DeLoach, "Modeling Organizational Rules in the -agent Systems Engineering Methodology" Proceedings of the 15th Canadian Conference on Artificial Intelligence (AI'2002). Calgary, Alberta, Canada. May 27-29, 2002. (LNAI format)

Scott A. DeLoach, Eric T. Matson, and Yonghua Li. "Applying Agent Oriented Software Engineering to Cooperative Robotics," Proceedings of the 15th International FLAIRS Conference (FLAIRS 2002). pp. 391 - 396. Pensacola, Florida. May 16-18, 2002.

2001

Scott A. DeLoach, Mark F. Wood and Clint H. Sparkman, -agent Systems Engineering, The International Journal of Software Engineering and Knowledge Engineering, Volume 11 no. 3, June 2001.

Clint H. Sparkman, Scott A. DeLoach, and Athie L. Self "Automated Derivation of Complex Agent Architectures from Analysis Specifications," In Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions, LNCS 2222, Springer-Verlag: Berlin.

Scott A. O'Malley and Scott A. DeLoach "Determining When to Use an Agent-Oriented Software Engineering Paradigm," In Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions, LNCS 2222, 188-205, Springer-Verlag: Berlin. DOI: 10.1007/3-540-70657-7

Scott A. DeLoach, Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents. Proceedings of the Fifth Annual Conference on Autonomous Agents, Montreal Canada, May 28 - June 1, 2001.

Scott A. DeLoach & Mark Wood, Developing -agent Systems with agentTool. in Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop ( ATAL 2000, Boston, MA, USA, July 7-9, 2000), C. Castelfranchi, Y. Lesperance (Eds.). Lecture Notes in Computer Science. Vol. 1986, Springer Verlag, Berlin, 2001.

Joanna Bryson, Keith Decker, Scott DeLoach, Michael Huhns, & Michael Wooldridge. Agent Development Tools, in Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop ( ATAL 2000, Boston, MA, USA, July 7-9, 2000), C. Castelfranchi, Y. Lesperance (Eds.). Lecture Notes in Computer Science. Vol. 1986, Springer Verlag, Berlin, 2001.

Scott A. DeLoach. Analysis and Design using MaSE and agentTool, Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001). Miami University, Oxford, Ohio, March 31 - April 1, 2001.

Mark Wood & Scott A. DeLoach. An Overview of the -agent Systems Engineering Methodology, in Agent-Oriented Software Engineering. P. Ciancarini, M. Wooldridge, (Eds.) Lecture Notes in Computer Science. Vol. 1957, Springer Verlag, Berlin, January 2001.

2000

Marc J. Raphael & Scott A. DeLoach. A Knowledge Base for Knowledge-Based -agent System Construction, Proceedings of the National Aerospace and Electronics Conference (NAECON), Dayton, OH, October 10-12, 2000.

Scott A. O'Malley, Athie L. Self, & Scott A. DeLoach. Comparing Performance of Static versus Mobile -agent Systems, Proceedings of the National Aerospace and Electronics Conference (NAECON) Dayton, OH, October 10-12, 2000.

Scott A. DeLoach, Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents. Technical Report, Air Force Institute of Technology, AFIT/EN-TR-00-03, July 2000.

Scott A. DeLoach & Mark Wood, -agent Systems Engineering: the Analysis Phase. Technical Report, Air Force Institute of Technology, AFIT/EN-TR-00-02, June 2000.

Lacey, Timothy H. & Scott A. DeLoach, Verification of Agent Behavioral Models. The 2000 International Conference on Artificial Intelligence (IC-AI'2000). June 26 - 29, 2000 Monte Carlo Resort, Las Vegas, Nevada

J. Todd McDonald, Michael L. Talbert, and Scott A. DeLoach , Heterogeneous Database Integration Using Agent Oriented Information Systems. The 2000 International Conference on Artificial Intelligence (IC-AI'2000). June 26 - 29, 2000 Monte Carlo Resort, Las Vegas, Nevada.

Lacey, Timothy H. and Scott A. DeLoach, Automatic Verification of -agent Conversations, Eleventh Annual Midwest Artificial Intelligence and Cognitive Science Conference, pp. 93-100, AAAI Press,, April 15 - 16, 2000, University of Arkansas, Fayetteville

1999

Hartrum, Thomas C. and Scott A. DeLoach, Design Issues for Mixed-Initiative Agent Systems, Proceedings of the AAAI-99 Workshop on Mixed-Initiative Intelligence, Orlando FL, July 1999.

DeLoach, Scott A. -agent Systems Engineering: A Methodology and Language for Designing Agent Systems, Agent-Oriented Information Systems '99 (AOIS'99), Seattle WA, 1 May 1999.

PhD Theses

    Zhong, Christopher. Modeling Humans as Peers and Supervisors in Computing Systems Through Runtime Models. PhD Thesis, Dept. of Computing and Information Sciences, Kansas State University, 2012.

    Harmon, Scott, J. MASSPEC - -agent System Specification Through Policy Exploration and Checking. PhD Thesis, Dept. of Computing and Information Sciences, Kansas State University, 2012.

    Miller, Matthew, J. An Interaction Framework for -agent Systems. PhD Thesis, Dept. of Computing and Information Sciences, Kansas State University, 2012.

    Oyenan, Walamitien, H. An Algebraic Framework for Compositional Design of Autonomous and Adaptive -agent Systems. PhD Thesis, Dept. of Computing and Information Sciences, Kansas State University, 2010.

MS Theses

    Manghat, Jaidev. Simulation of Power Distribution Management System Using OMACS Metamodel. Master's Project, Dept. of Computing and Information Sciences, Kansas State University, 2008.

    Miller, Matthew A. Goal Model for Dynamic Systems. Master's Thesis, Dept. of Computing and Information Sciences, Kansas State University, 2007.

    Zhong, Christopher. An Investigation of Reorganization Algorithms. MS Thesis, 2006.

    Kahsyap, Sham. Reorganization in -agent Organizations. MS Thesis, 2006.

    DiLeo, Jonathan M, Lieutenant, USAF. Ontological Engineering and Mapping in -agent Systems Development, 2002.

    Sparkman, Clint H., Lieutenant, USAF. Transforming Analysis Models into Design Models for the -agent Systems Engineering Methodology, 2001. (postscript, zipped)

    O'Malley, Scott A, Lieutenant, USAF. Selecting a Software Engineering Methodology Using -objective Decision Analysis, 2001.

    Self, Athie L., Captain, USAF. Design & Specification of Dynamic, Mobile, and Reconfigurable -agent Systems, 2001.

    Lacey, Timothy H., Captain, USAF. A Formal Methodology and Technique for Verifying Communication Protocols in a --agent Environment, 2000.

    Raphael, Marc J., Captain, USAF. Knowledge Base Support for Design and Synthesis of --agent Systems, 2000.

    Robinson, David J., Captain, USAF. A Component Based Approach to Agent Specification, 2000.

    Wood, Mark F., Captain, USAF. -agent Systems Engineering: A Methodology for Analysis and Design of -agent Systems, 2000.

    Marks, Christopher G., An Extensible --Agent System for Heterogeneous Database Association Rule Mining and Unification, AFIT/GCS/ENG/99M-12, 1999.

    Stratton, Phillip G., A Metrics-based Analysis of Interface Usability Improvements by Applying Intelligent Agents, AFIT/GCS/ENG/99M-18, 1999.

Technical Reports

    Ian Unruh, Alexandru G. Bardas, Rui Zhuang, Xinming Ou, and Scott A. DeLoach. Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. Department of Computing & Information Sciences Technical Report no. 2013-2. Kansas State University. October 2013.

    Scott A. DeLoach, and Xinming Ou. A Value Based Goal Model. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2011-01. Kansas State University. May, 2011.

    Mike Fraka. Distributed Efficient --Robot Cooperation Framework (DEMiR-CF) in an Object Construction Application. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-06. Kansas State University. August, 2010.

    Christopher Zhong and Scott A. DeLoach. Integrating Performance Factors into an Organization Model for -agent Systems. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-05. Kansas State University. August, 2010.

    Walamitien H. Oyenan, Scott A. DeLoach, and Gurdip Singh. Designing Adaptive Sensor Networks Using an Organization-based Approach. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-04. Kansas State University. June, 2010.

    Scott A. DeLoach. Analyzing GMoDS Goal Models using Petri Net Semantics. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-03. Kansas State University. May, 2010.

    Christopher Zhong and Scott A. DeLoach. Integrating Performance Factors into an Organization Model for Better Task Allocation in -agent Systems. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-02. Kansas State University. April, 2010.

    Walamitien H. Oyenan and Scott A. DeLoach. Using Category Theory to Compose -agent Organization Design Models. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2010-01. Kansas State University. March 25, 2010.

    Scott J. Harmon, Scott A. DeLoach, and Robby. Guidance and Law Policies in -agent Systems. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2007-02. Kansas State University. March 17, 2007.

    Scott A. DeLoach & Walamitien H. Oyenan. An Organizational Model and Dynamic Goal Model for Autonomous, Adaptive Systems. -agent & Cooperative Robotics Laboratory Technical Report No. MACR-TR-2006-01. Kansas State University. March 13, 2006.

    Eugene Santos, Jr., Scott DeLoach, Michael T. Cox. MADGS: An Architecture for Dynamic, --Commander, --Mission Planning and Execution. IDIS Laboratory Technical Report No. 105. University of Connecticut. September 2003.

    Michael T. Cox, Thomas Hartrum, Scott DeLoach,1 and S. Narayanan. Agent-Based Mixed-Initiative Collaboration: The ABMIC project final report. Wright State University Technical Report WSU-CS-02-01, July 2002.

    Scott A. DeLoach, Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents. Technical Report, Air Force Institute of Technology, AFIT/EN-TR-00-03, July 2000.

    Scott A. DeLoach & Mark Wood, -agent Systems Engineering: the Analysis Phase. Technical Report, Air Force Institute of Technology, AFIT/EN-TR-00-02, June 2000.