Search the dblp DataBase

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. 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]
   
3. 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]
   
4. 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]
   
5. 
   Formal Methods for Autonomic and Swarm-based Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Some Verification Issues at NASA Goddard Space Flight Center. [Citation Graph (, )][DBLP]
   
   
7. 
   Completing and Adapting Models of Biological Processes. [Citation Graph (, )][DBLP]
   
   
8. 
   You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Enhanced Requirements-Based Programming for Embedded Systems Design. [Citation Graph (, )][DBLP]
   
   
10. 
    A requirements-based programming approach to developing a NASA autonomous ground control system. [Citation Graph (, )][DBLP]
    
    
11. 
    Swarms and Swarm Intelligence. [Citation Graph (, )][DBLP]