Workshop on formal specification of user interfaces (abstract). - Christopher A. Rouff (CHI 95 Conference Companion, 1995)

Formal specification of user interfaces. - Christopher A. Rouff (ACM SIGCHI Bull., 1996)

Developing the cooperative mission development environment. - Christopher A. Rouff; Mary Ann Robbert (GROUP, 1997)

A cooperative mission development environment for crossplatform integration. - Mary Ann Robbert; Christopher A. Rouff; Christian Burkhardt (SAC, 1997)

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

Testing and Monitoring Intelligent Agents. - Christopher A. Rouff (WRAC, 2002)

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)

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)

Progressive Autonomy - An Incremental Agent-based Approach. - Walt Truszkowski; Christopher A. Rouff; Sidney C. Bailin; Mike Rilee (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)

Progressive autonomy: a method for gradually introducing autonomy into space missions. - Walt Truszkowski; Christopher A. Rouff; Sidney C. Bailin; Mike Rilee (Innov. Syst. Softw. Eng., 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)

Software engineering and swarm-based systems. - Michael G. Hinchey; Roy Sterritt; Joaquín Peña; Christopher A. Rouff (SEAMS@ICSE, 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)

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)

Intelligence in Future NASA Swarm-based Missions. - Christopher A. Rouff (AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems, 2007)

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)

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. - Christopher A. Rouff; Michael G. Hinchey; Joaquín Peña; Antonio Ruiz Cortés (SIS, 2007)

Swarms and Swarm Intelligence. - Michael G. Hinchey; Roy Sterritt; Christopher A. Rouff (Computer, 2007)

Introduction: DARPA Urban Grand Challenge. - Christopher A. Rouff (J. Aerosp. Comput. Inf. Commun., 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)

Leveraging Emergent Ontologies in the Intelligence Community. - James Starz; Jason Losco; Brian P. Kettler; Rachel Hingst; Christopher A. Rouff (OIC, 2008)

Introduction to the Second Special Section on the DARPA Urban Grand Challenge. - Christopher A. Rouff (J. Aerosp. Comput. Inf. Commun., 2008)

Detecting Emergence in Social Networks. - Peter Haglich; Christopher A. Rouff; Laura Pullum (SocialCom/PASSAT, 2010)

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)

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. - Joaquín Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz Cortés (Softw. Syst. Model., 2011)

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)

The AdaptiV approach to verification of adaptive systems. - Christopher A. Rouff; Richard W. Buskens; Laura Pullum; Xiaohui Cui; Mike Hinchey (C3S2E, 2012)

Verification of Adaptive Systems. - Laura Pullum; Xiaohui Cui; Emil Vassev; Michael G. Hinchey; Christopher A. Rouff; Richard W. Buskens (Infotech@Aerospace, 2012)

Swarm Technology at NASA: Building Resilient Systems. - Emil Vassev; Roy Sterritt; Christopher A. Rouff; Mike Hinchey (IT Prof., 2012)

ACS Without an Attitude - Harold L. Hallock; Gary Welter; David G. Simpson; Christopher A. Rouff (Springer, 2017)

Automatic generation of network element software (AGNES): short paper. - Christopher A. Rouff; M. Douglas Williams; Qinqing Zhang; Daniel J. Bennett; Raymond C. McDowell; Anthony R. Nowicki; J. Aaron Pendergrass; Daniel R. Anderson; Robert Douglass; Bradley T. Dufresne; Jonathan T. Pham (CISRC, 2017)

SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies. - Christopher A. Rouff; Lanier A. Watkins; Roy Sterritt; Salim Hariri (CSR, 2021)

Assured Autonomy Survey. - Christopher A. Rouff; Lanier A. Watkins (Found. Trends Priv. Secur., 2022)

Explainable Autonomic Cybersecurity For Industrial Control Systems. - Valeti Manoj; Shao Wenda; Niu Sihan; Christopher A. Rouff; Lanier A. Watkins; Aviel Rubin (CCWC, 2023)

Agile services and analysis framework for autonomous and autonomic critical infrastructure. - Joseph Maurio; Paul Wood; Sebastián A. Zanlongo; Josh Silbermann; Tamim Sookoor; Alberto Lorenzo; Randall Sleight; James Rogers; Daniel Muller; Noah Armiger; Christopher A. Rouff; Lanier A. Watkins (Innov. Syst. Softw. Eng., 2023)