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