Christopher Rouff
Christopher Rouff
Johns Hopkins University Applied Physics Laboratory
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
Swarms and Swarm Intelligence
M Hinchey, R Sterritt, C Rouff
computer 40 (4), 111-113, 2007
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
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
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
Requirements to design to code: Towards a fully formal approach to automatic code generation
MG Hinchey, JL Rash, CA Rouff
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
Autonomous and autonomic swarms
MG Hinchey, JL Rash, WF Truszkowski, CA Rouff, R Sterritt
Asteroid exploration with autonomic systems
W Truszkowski, J Rash, C Rouff, M Hinchey
Proceedings. 11th IEEE International Conference and Workshop on the …, 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
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
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
Agent technology from a formal perspective
M Hinchey, J Rash, W Truszkowski, DF Gordon-Spears
Springer Science & Business Media, 2006
Swarm Technology at NASA
E Vassev, R Sterritt, C Rouff, M Hinchey
IT Pro, 36-42, 2012
A test agent for testing agents and their communities
C Rouff
Proceedings, IEEE Aerospace Conference 5, 5-2638, 2002
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
A formal approach to requirements-based programming
MG Hinchey, JL Rash, CA Rouff
12th IEEE International Conference and Workshops on the Engineering of …, 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
A survey of formal methods for intelligent swarms
CA Rouff, WF Truszkowski, JL Rash, MG Hinchey
Greenbelt, MD: NASA Goddard Space Flight Center, 2005
Experience from the DARPA Urban Challenge
C Rouff, M Hinchey
Springer, 2012
Experience from the DARPA urban challenge
C Rouff, M Hinchey
Springer Publishing Company, Incorporated, 2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20