Experience Using Formal Methods for Specifying a Multi-Agent System. - Christopher A. Rouff; James L. Rash; Michael G. Hinchey (ICECCS, 2000)

Formal Approaches to Intelligent Swarms. - Christopher A. Rouff; Walter Truszkowski; James L. Rash; Michael G. Hinchey (SEW, 2003)

Verification of Emergent Behaviors in Swarm-based Systems. - Christopher A. Rouff; Amy Vanderbilt; Michael G. Hinchey; Walt Truszkowski; James L. Rash (ECBS, 2004)

Asteroid Exploration with Autonomic Systems. - Walt Truszkowski; James L. Rash; Christopher A. Rouff; Michael G. Hinchey (ECBS, 2004)

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. - Walt Truszkowski; James L. Rash; Christopher A. Rouff; Michael G. Hinchey (ECBS, 2004)

Verification of Nasa Emergent Systems. - Christopher A. Rouff; Amy Vanderbilt; Walt Truszkowski; James L. Rash; Michael G. Hinchey (AIAI, 2004)

Formal Methods for Autonomic and Swarm-based Systems. - Christopher A. Rouff; Amy Vanderbilt; Walter Truszkowski; James L. Rash; Michael G. Hinchey (ISoLA (Preliminary proceedings), 2004)

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. - Christopher A. Rouff; Amy Vanderbilt; Michael G. Hinchey; Walt Truszkowski; James L. Rash (SEFM, 2004)

NASA's Swarm Missions: The Challenge of Building Autonomous Software. - Walt Truszkowski; Mike Hinchey; James L. Rash; Christopher A. Rouff (IT Prof., 2004)

An Approach to Generating and Verifying Complex Scripts and Procedures. - James L. Rash; Michael G. Hinchey; Denis Gracanin (CSB Workshops, 2005)

A Formal Approach to Requirements-Based Programming. - Michael G. Hinchey; James L. Rash; Christopher A. Rouff (ECBS, 2005)

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. - James L. Rash; Michael G. Hinchey; Christopher A. Rouff; Denis Gracanin; John Erickson (ECBS, 2005)

Towards Formal Specification and Generation of Autonomic Policies. - Roy Sterritt; Michael G. Hinchey; James L. Rash; Walt Truszkowski; Christopher A. Rouff; Denis Gracanin (EUC Workshops, 2005)

Requirements of an integrated formal method for intelligent swarms. - Michael G. Hinchey; Christopher A. Rouff; James L. Rash; Walter Truszkowski (FMICS, 2005)

Autonomicity of NASA Missions. - Christopher A. Rouff; Michael G. Hinchey; James L. Rash; Walter Truszkowski; Roy Sterritt (ICAC, 2005)

Formal Requirements-Based Programming for Complex Systems. - James L. Rash; Michael G. Hinchey; Christopher A. Rouff; Denis Gracanin (ICECCS, 2005)

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. - Michael G. Hinchey; James L. Rash; Christopher A. Rouff (ICPADS (2), 2005)

Challenges of Developing New Classes of NASA Self-Managing Missions. - Michael G. Hinchey; James L. Rash; Walt Truszkowski; Christopher A. Rouff; Roy Sterritt (ICPADS (2), 2005)

Towards Autonomic Management of NASA Missions. - Christopher A. Rouff; Michael G. Hinchey; James L. Rash; Walt Truszkowski; Roy Sterritt (ICPADS (2), 2005)

Verifying Large Numbers of Cooperating Adaptive Agents. - Christopher A. Rouff; Michael G. Hinchey; Walt Truszkowski; James L. Rash (ICPADS (1), 2005)

Towards an automated development methodology for dependable systems with application to sensor networks. - Michael G. Hinchey; James L. Rash; Christopher A. Rouff (IPCCC, 2005)

Autonomous and Autonomic Swarms. - Michael G. Hinchey; James L. Rash; Walter Truszkowski; Christopher A. Rouff; Roy Sterritt (Software Engineering Research and Practice, 2005)

Self*- Properties in NASA Mission. - Roy Sterritt; Christopher A. Rouff; James L. Rash; Walter Truszkowski; Michael G. Hinchey (Software Engineering Research and Practice, 2005)

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. - Christopher A. Rouff; Michael G. Hinchey; James L. Rash; Walter Truszkowski (SEW, 2005)

Some Verification Issues at NASA Goddard Space Flight Center. - Michael G. Hinchey; James L. Rash; Christopher A. Rouff (VSTTE, 2005)

Internet technology for future space missions. - James L. Rash; Keith Hogie; Ralph Casasanta (Comput. Networks, 2005)

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. - Michael G. Hinchey; James L. Rash; Walter Truszkowski; Christopher A. Rouff; Roy Sterritt (Trans. SDPS, 2005)

A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. - Yuan-Shun Dai; Michael G. Hinchey; Manish Madhusoodan; James L. Rash; Xukai Zou (DASC, 2006)

Completing and Adapting Models of Biological Processes. - Tiziana Margaria; Michael G. Hinchey; Harald Raffelt; James L. Rash; Christopher A. Rouff; Bernhard Steffen (BICC, 2006)

Enhanced Requirements-Based Programming for Embedded Systems Design. - Michael G. Hinchey; Tiziana Margaria; James L. Rash; Christopher A. Rouff; Bernhard Steffen (MBEES, 2006)

Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. - Joaquín Peña; Michael G. Hinchey; Manuel Resinas; Roy Sterritt; James L. Rash (Software Engineering Research and Practice, 2006)

A requirements-based programming approach to developing a NASA autonomous ground control system. - James L. Rash; Michael G. Hinchey; Christopher A. Rouff; Denis Gracanin; John Erickson (Artif. Intell. Rev., 2006)

Achieving dependability in sensor networks through automated requirements-based programming. - Michael G. Hinchey; James L. Rash; Christopher A. Rouff; Denis Gracanin (Comput. Commun., 2006)

Next generation system and software architectures: Challenges from future NASA exploration missions. - Roy Sterritt; Christopher A. Rouff; Michael G. Hinchey; James L. Rash; Walter Truszkowski (Sci. Comput. Program., 2006)

Experiences applying formal approaches in the development of swarm-based space exploration systems. - Christopher A. Rouff; Michael G. Hinchey; Walter Truszkowski; James L. Rash (Int. J. Softw. Tools Technol. Transf., 2006)

Autonomous and autonomic systems: a paradigm for future space exploration missions. - Walter Truszkowski; Michael G. Hinchey; James L. Rash; Christopher A. Rouff (IEEE Trans. Syst. Man Cybern. Syst., 2006)

Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. - Michael G. Hinchey; Yuan-Shun Dai; Christopher A. Rouff; James L. Rash; Mingrui Qi (AINA, 2007)

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. - Michael G. Hinchey; Yuan-Shun Dai; James L. Rash; Walt Truszkowski; Manish Madhusoodan (SAC, 2007)

Designing and managing evolving systems using a MAS product line approach. - Joaquín Peña; Michael G. Hinchey; Manuel Resinas; Roy Sterritt; James L. Rash (Sci. Comput. Program., 2007)

You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. - Michael G. Hinchey; James L. Rash; Walter Truszkowski; Roy Sterritt; Christopher A. Rouff (IMCSIT, 2008)

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems - Walt Truszkowski; Harold L. Hallock; Christopher A. Rouff; Jay Karlin; James L. Rash; Michael G. Hinchey; Roy Sterritt (Springer, 2010)

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. - Mike Hinchey; James L. Rash; Walter Truszkowski; Christopher A. Rouff; Roy Sterritt (Conquering Complexity, 2012)