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

Search the dblp DataBase

Title:
Author:
Christopher Rouff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christopher Rouff
    Workshop on formal specification of user interfaces (abstract). [Citation Graph (0, 0)][DBLP]
    CHI 95 Conference Companion, 1995, pp:441- [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Christopher Rouff, Mary Ann Robbert
    Developing the cooperative mission development environment. [Citation Graph (0, 0)][DBLP]
    GROUP, 1997, pp:351-357 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Mary Ann Robbert, Christopher Rouff, Christian Burkhardt
    A cooperative mission development environment for crossplatform integration. [Citation Graph (0, 0)][DBLP]
    SAC, 1997, pp:180-181 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee
    Progressive Autonomy - An Incremental Agent-based Approach. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:9-15 [Conf]
  23. Christopher Rouff
    Testing and Monitoring Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    WRAC, 2002, pp:155-164 [Conf]
  24. 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]
  25. 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]
  26. 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]

Search in 0.003secs, Finished in 0.004secs
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