James L. Rash

发表

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

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..

Autonomic Communications for Space: The Next Frontier?

Roy Sterritt, Michael G. Hinchey, James L. Rash, 2006 .

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 Future Swarm-Based Missions

Walt Truszkowski, James L. Rash, Michael G. Hinchey, 2006 .

Verification of NASA Emergent Systems

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

Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT

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

Formal Methods at NASA Goddard Space Flight Center

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

Third International Symposium on Space Mission Operations and Ground Data Systems, part 1

James L. Rash, 1994 .

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Roy Sterritt, Walter Truszkowski, Harold L. Hallock, 2007, NASA Monographs in Systems and Software Engineering.

FAABS 2000: Formal Approaches to Agent-Based Systems

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2001 .

Swarms in Space Missions

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

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).

Ground Autonomy Evolution

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

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

James L. Rash, Michael G. Hinchey, D. Carter.John, 2013 .

A rule-based systems approach to spacecraft communications configuration optimization

James L. Rash, Yen F. Wong, James J. Cieplak, 1988 .

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

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

An RF interference mitigation methodology with potential applications in scheduling

James L. Rash, Yen F. Wong, 1991 .

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 Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

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

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 .

A prototype expert system in OPS5 for data error detection

James L. Rash, 1986 .

Autonomous and Autonomic Swarms

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

Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing

Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

Core Technologies for Developing Autonomous and Autonomic Systems

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

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..

Workshop on Radical Agent Concepts (WRAC)

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

Overview of Flight and Ground Software

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

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.

RANGE AND SPACE NETWORKING - WHAT’S MISSING

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

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers

Christopher A. Rouff, James L. Rash, Diana F. Gordon, 2001 .

Analysis, Simulation, and Verification of Knowledge-Based, Rule-Based, and Expert Systems

James L. Rash, Denis Gracanin, Michael G. Hinchey, 2010 .

Flight Autonomy Evolution

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

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..

Internet technology for future space missions

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

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

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

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).

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).

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 AIAA-2000-5295

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

Autonomic Management of Space Missions. Chapter 12

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

Towards Formal Specification and Generation of Autonomic Policies

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

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..

Internet Data Delivery for Future Space Missions

James L. Rash, Joseph F. Hennessy, Keith Hogie, 2002 .

Developing Software for NASA Missions in the New Millennia

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2004 .

Autonomicity of NASA Missions

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

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.

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.

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.

Completing and Adapting Models of Biological Processes

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

MDP: Reliable File Transfer for Space Missions

James L. Rash, Joseph F. Hennessy, Ron Parise, 2002 .

Self*- Properties in NASA Mission

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

Towards a Formal Approach to Swarm Technology

James L. Rash, M. G. Hinchey, C. A. Rouff, 2004 .

Internet Access to Spacecraft

James L. Rash, Chris Jackson, Edward I. Powers, 2013 .

Achieving dependability in sensor networks through automated requirements-based programming

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2006, Comput. Commun..

Designing and managing evolving systems using a MAS product line approach

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

Agent-Based Spacecraft Autonomy Design Concepts

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

Agent Technology, Complex Adaptive Systems, and Autonomic Systems: Their Relationships

Walt Truszkowski, James L. Rash, Chistopher Rouff, 2004 .

An Optimizing Space Data-Communications Scheduling Method and Algorithm with Interference Mitigation, Generalized for a Broad Class of Optimization Problems

James L. Rash, J. Rash, 2014 .

Formal approaches to intelligent swarms

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

Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

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

Formal Methods for Autonomic and Swarm-based Systems

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

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).

Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2004 .

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

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.

A Tool for Requirements-Based Programming

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

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.

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions

Yuan-Shun Dai, Walter Truszkowski, James L. Rash, 2007, SAC '07.

Sustainable and autonomic space exploration missions

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

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.

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

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

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).

Systems of Systems Verification

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

A Survey of Formal Methods for Intelligent Swarms

Walt Truszkowski, James L. Rash, Mike Hinchey, 2013 .

Demonstrating a Realistic IP Mission Prototype

James L. Rash, Keith Hogie, Bill Miller, 2003 .

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 .

Internet Technology on Spacecraft

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

Some Verification Issues at NASA Goddard Space Flight Center

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