James L. Rash

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff
You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. IMCSIT (2008)
Michael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan
Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. SAC (2007)
Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi
Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA (2007)
Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. 66 (1) (2007)
Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. 36 (3) (2006)
Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. 61 (1) (2006)
Yuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou
A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. DASC (2006)
Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice (2006)
Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
Completing and Adapting Models of Biological Processes. BICC (2006)
Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash
Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. 25 (4) (2006)
Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES (2006)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin
Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. 29 (2) (2006)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
Towards Autonomic Management of NASA Missions. ICPADS (2) (2005)
James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin
Formal Requirements-Based Programming for Complex Systems. ICECCS (2005)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW (2005)
Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin
Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops (2005)
Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt
Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) (2005)
James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS (2005)
Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
Self*- Properties in NASA Mission. Software Engineering Research and Practice (2005)
Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski
Requirements of an integrated formal method for intelligent swarms. FMICS (2005)
James L. Rash, Keith Hogie, Ralph Casasanta
Internet technology for future space missions. Comput. Networks 47 (5) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC (2005)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
Autonomicity of NASA Missions. ICAC (2005)
James L. Rash, Michael G. Hinchey, Denis Gracanin
An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops (2005)
Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) (2005)
Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
Autonomous and Autonomic Swarms. Software Engineering Research and Practice (2005)
Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS 9 (1) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
A Formal Approach to Requirements-Based Programming. ECBS (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Some Verification Issues at NASA Goddard Space Flight Center. VSTTE (2005)
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of NASA Emergent Systems. ICECCS (2004)
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of Nasa Emergent Systems. AIAI (2004)
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM (2004)
Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
Asteroid Exploration with Autonomic Systems. ECBS (2004)
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Verification of Emergent Behaviors in Swarm-based Systems. ECBS (2004)
Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS (2004)
Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff
NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. 6 (5) (2004)
Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey
Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) (2004)
Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
Formal Approaches to Intelligent Swarms. SEW (2003)
Christopher A. Rouff, James L. Rash, Michael G. Hinchey
Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS (2000)