J. Rash

Roy Sterritt, Christopher A. Rouff, James L. Rash, 2006, 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06).

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2005 .

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2012, Conquering Complexity.

You can’t get there from here! Problems and potential solutions in developing new classes of complex computer systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2008, 2008 International Multiconference on Computer Science and Information Technology.

Towards Formal Specification and Generation of Autonomic Policies

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, EUC Workshops.

Challenges of Developing New Classes of NASA Self-Managing Missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Trans. SDPS.

Autonomous and autonomic systems: a paradigm for future space exploration missions

M.G. Hinchey, W.F. Truszkowski, J.L. Rash, 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2013 .

Internet Technology on Spacecraft

James L. Rash, Edward I. Powers, Ron Parise, 2000 .

Internet technology for future space missions

James L. Rash, Keith Hogie, Ralph Casasanta, 2002, Comput. Networks.

Formal Approaches to Agent-Based Systems

Christopher A. Rouff, Mike Hinchey, James L. Rash, 2001, Lecture Notes in Computer Science.

Requirements of an integrated formal method for intelligent swarms

J. L. Rash, M. G. Hinchey, C. A. Rouff, 2005, FMICS '05.

Formal Methods for Autonomic and Swarm-based Systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, ISoLA.

Mise En Scene: Conversion of Scenarios to CSP Traces for the Requirements-To-Design-To-Code Project

W. B. Gardner, M. Hinchey, J. Rash, 2013 .

Experiences applying formal approaches in the development of swarm-based space exploration systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2006, International Journal on Software Tools for Technology Transfer.

Completing and Adapting Models of Biological Processes

Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2006, BICC.

A requirements-based programming approach to developing a NASA autonomous ground control system

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2006, Artificial Intelligence Review.

Some Verification Issues at NASA Goddard Space Flight Center

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, VSTTE.

An approach to generating and verifying complex scripts and procedures

James L. Rash, Denis Gracanin, Michael G. Hinchey, 2005, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05).

Verifying large numbers of cooperating adaptive agents

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Enabling requirements-based programming for highly-dependable complex parallel and distributed systems

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Formal requirements-based programming for complex systems

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Towards an automated development methodology for dependable systems with application to sensor networks

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005..

A formal approach to requirements-based programming

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Properties of a formal method for prediction of emergent behaviors in swarm-based systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Verification of emergent behaviors in swarm-based systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Verification of NASA emergent systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

Formal approaches to intelligent swarms

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..

Verification and validation of autonomous systems

Mike Hinchey, J. L. Rash, Chris Rouff, 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.

NASA's Swarm Missions: The Challenge of Building Autonomous Software

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, IT Prof..

Asteroid exploration with autonomic systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Overcoming Robotic Failures through Autonomicity

C. Rouff, J. Rash, W. Truszkowski, 2007, Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07).

Autonomicity of NASA Missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Second International Conference on Autonomic Computing (ICAC'05).

Designing and managing evolving systems using a MAS product line approach

Manuel Resinas, Roy Sterritt, James L. Rash, 2007, Sci. Comput. Program..

Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach

Manuel Resinas, Roy Sterritt, James L. Rash, 2006, Software Engineering Research and Practice.

Requirements of an integrated formal method for intelligent swarms

M. Hinchey, W. Truszkowski, J. Rash, 2005, FMICS '05.

Autonomic Management of Space Missions. Chapter 12

Roy Sterritt, Michael G. Hinchey, Christopher A. Rouff, 2006 .

Autonomous and Autonomic Swarms

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Software Engineering Research and Practice.

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September ... Papers (Lecture Notes in Computer Science)

Roy Sterritt, Michael G. Hinchey, Christopher A. Rouff, 2007 .

Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems

Roy Sterritt, Christopher A. Rouff, James L. Rash, 2005 .

Self*- Properties in NASA Mission

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Software Engineering Research and Practice.

Next generation system and software architectures: Challenges from future NASA exploration missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2006, Sci. Comput. Program..

Internet Technology on Spacecraft AIAA-2000-5295

James L. Rash, Ron Parise, Keith Hogie, 2000 .