| Swarms and Swarm Intelligence M Hinchey, R Sterritt, C Rouff computer 40 (4), 111-113, 2007 | 276 | 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 | 195 | 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 | 183 | 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 | 137 | 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 | 59 | 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 | 58 | 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 | 47 | 2004 |
| Asteroid exploration with autonomic systems W Truszkowski, J Rash, C Rouff, M Hinchey Proceedings. 11th IEEE International Conference and Workshop on the …, 2004 | 43 | 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 | 40 | 2007 |
| Experience from the DARPA urban challenge C Rouff, M Hinchey Springer Publishing Company, Incorporated, 2011 | 39 | 2011 |
| 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 | 39 | 2006 |
| Agent technology from a formal perspective C Rouff, M Hinchey, J Rash, W Truszkowski, DF Gordon-Spears Springer Science & Business Media, 2006 | 38 | 2006 |
| 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 | 37 | 2005 |
| 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 |
Mike HincheyLero-the Irish Software Engineering Research CentreVerified email at lero.ie
