Swarms and Swarm Intelligence M Hinchey, R Sterritt, C Rouff computer 40 (4), 111-113, 2007 | 266 | 2007 |
NASA's swarm missions: The challenge of building autonomous software W Truszkowski, M Hinchey, J Rash, C Rouff IT professional 6 (5), 47-52, 2004 | 192 | 2004 |
Autonomous and autonomic systems: A paradigm for future space exploration missions WF Truszkowski, MG Hinchey, JL Rash, CA Rouff IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2006 | 181 | 2006 |
Autonomous and autonomic systems: with applications to NASA intelligent spacecraft operations and exploration systems W Truszkowski, H Hallock, C Rouff, J Karlin, J Rash, M Hinchey, R Sterritt Springer Science & Business Media, 2009 | 133 | 2009 |
Requirements to design to code: Towards a fully formal approach to automatic code generation MG Hinchey, JL Rash, CA Rouff | 70 | 2005 |
Swarm Technology at NASA E Vassev, R Sterritt, C Rouff, M Hinchey IT Pro, 36-42, 2012 | 57 | 2012 |
Autonomous and autonomic swarms MG Hinchey, JL Rash, WF Truszkowski, CA Rouff, R Sterritt 2005 International Conference on Software Engineering Research and Practice …, 2005 | 57 | 2005 |
Properties of a formal method for prediction of emergent behaviors in swarm-based systems C Rouff, A Vanderbilt, M Hinchey, W Truszkowski, J Rash Proceedings of the Second International Conference on Software Engineering …, 2004 | 52 | 2004 |
Verification of NASA emergent systems C Rouff, A Vanderbilt, W Truskowski, J Rash, M Hinchey Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004 | 46 | 2004 |
Asteroid exploration with autonomic systems W Truszkowski, J Rash, C Rouff, M Hinchey Proceedings. 11th IEEE International Conference and Workshop on the …, 2004 | 44 | 2004 |
Modeling for NASA autonomous nano-technology swarm missions and model-driven autonomic computing M Hinchey, YS Dai, CA Rouff, JL Rash, M Qi 21st International Conference on Advanced Information Networking and …, 2007 | 39 | 2007 |
Experience from the DARPA Urban Challenge C Rouff, M Hinchey Springer, 2012 | 38 | 2012 |
Requirements of an integrated formal method for intelligent swarms MG Hinchey, CA Rouff, JL Rash, WF Truszkowski Proceedings of the 10th international workshop on Formal Methods for …, 2005 | 38 | 2005 |
Experiences applying formal approaches in the development of swarm-based space exploration systems CA Rouff, MG Hinchey, WF Truszkowski, JL Rash International Journal on Software Tools for Technology Transfer 8, 587-603, 2006 | 36 | 2006 |
Agent technology from a formal perspective C Rouff, M Hinchey, J Rash, W Truszkowski, DF Gordon-Spears Springer Science & Business Media, 2006 | 36 | 2006 |
Systems, methods and apparatus for generation and verification of policies in autonomic computing systems MG Hinchey, WF TRUSZKOWSKI, CA ROUFF, R Sterritt, D Gracanin US Patent 7,886,273, 2011 | 34 | 2011 |
A test agent for testing agents and their communities C Rouff Proceedings, IEEE Aerospace Conference 5, 5-2638, 2002 | 34 | 2002 |
A formal approach to requirements-based programming MG Hinchey, JL Rash, CA Rouff 12th IEEE International Conference and Workshops on the Engineering of …, 2005 | 32 | 2005 |
A survey of formal methods for intelligent swarms CA Rouff, WF Truszkowski, JL Rash, MG Hinchey Greenbelt, MD: NASA Goddard Space Flight Center, 2005 | 31 | 2005 |
Experience using formal methods for specifying a multi-agent system C Rouff, J Rash, MG Hinchey Proceedings Sixth IEEE International Conference on Engineering of Complex …, 2000 | 29 | 2000 |