The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
James L. Rash: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    AINA, 2007, pp:250-257 [Conf]
  2. James L. Rash, Michael G. Hinchey, Denis Gracanin
    An Approach to Generating and Verifying Complex Scripts and Procedures. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:305-313 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:3-10 [Conf]
  4. Michael G. Hinchey, James L. Rash, Christopher Rouff
    A Formal Approach to Requirements-Based Programming. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:339-345 [Conf]
  5. James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson
    Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:490-497 [Conf]
  6. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
    Verification of Emergent Behaviors in Swarm-based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:443-448 [Conf]
  7. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:490-499 [Conf]
  8. Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey
    Asteroid Exploration with Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:484-489 [Conf]
  9. Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin
    Towards Formal Specification and Generation of Autonomic Policies. [Citation Graph (0, 0)][DBLP]
    EUC Workshops, 2005, pp:1245-1254 [Conf]
  10. Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
    Autonomicity of NASA Missions. [Citation Graph (0, 0)][DBLP]
    ICAC, 2005, pp:387-388 [Conf]
  11. James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin
    Formal Requirements-Based Programming for Complex Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:116-125 [Conf]
  12. Christopher Rouff, James L. Rash, Michael G. Hinchey
    Experience Using Formal Methods for Specifying a Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:72-0 [Conf]
  13. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
    Verification of NASA Emergent Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:231-238 [Conf]
  14. Michael G. Hinchey, James L. Rash, Christopher Rouff
    Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:570-574 [Conf]
  15. Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt
    Challenges of Developing New Classes of NASA Self-Managing Missions. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:463-467 [Conf]
  16. Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
    Towards Autonomic Management of NASA Missions. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:473-477 [Conf]
  17. Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
    Verifying Large Numbers of Cooperating Adaptive Agents. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:391-397 [Conf]
  18. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
    Verification of Nasa Emergent Systems. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:167-176 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:90-96 [Conf]
  20. Christopher 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. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:24-33 [Conf]
  21. Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt
    Autonomous and Autonomic Swarms. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:36-44 [Conf]
  22. 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. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2006, pp:995-1001 [Conf]
  23. Roy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
    Self*- Properties in NASA Mission. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:66-72 [Conf]
  24. Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter F. Truszkowski
    Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:253-264 [Conf]
  25. Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
    Formal Approaches to Intelligent Swarms. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:51- [Conf]
  26. James L. Rash, Keith Hogie, Ralph Casasanta
    Internet technology for future space missions. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2005, v:47, n:5, pp:651-659 [Journal]
  27. Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin
    Achieving dependability in sensor networks through automated requirements-based programming. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:2, pp:246-256 [Journal]
  28. Roy Sterritt, Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
    Next generation system and software architectures: Challenges from future NASA exploration missions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:1, pp:48-57 [Journal]
  29. Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski, James L. Rash
    Experiences applying formal approaches in the development of swarm-based space exploration systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:587-603 [Journal]
  30. Michael G. Hinchey, James L. Rash, Christopher A. Rouff
    Towards an automated development methodology for dependable systems with application to sensor networks. [Citation Graph (0, 0)][DBLP]
    IPCCC, 2005, pp:445-451 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:1, pp:71-86 [Journal]

  32. Formal Methods for Autonomic and Swarm-based Systems. [Citation Graph (, )][DBLP]


  33. Some Verification Issues at NASA Goddard Space Flight Center. [Citation Graph (, )][DBLP]


  34. Completing and Adapting Models of Biological Processes. [Citation Graph (, )][DBLP]


  35. You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. [Citation Graph (, )][DBLP]


  36. Enhanced Requirements-Based Programming for Embedded Systems Design. [Citation Graph (, )][DBLP]


  37. A requirements-based programming approach to developing a NASA autonomous ground control system. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.332secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002