Christopher A. Rouff

发表

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

Verification of emergent behaviors in swarm-based systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Introduction: DARPA Urban Grand Challenge

Christopher A. Rouff, 2007, J. Aerosp. Comput. Inf. Commun..

Automatic generation of network element software (AGNES): short paper

Christopher A. Rouff, M. Douglas Williams, Qinqing Zhang, 2017, CISRC.

Verification of NASA Emergent Systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, ICECCS.

Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Formal Methods at NASA Goddard Space Flight Center

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2006 .

Formal Approaches to Agent-Based Systems

Christopher A. Rouff, Mike Hinchey, James L. Rash, 2001, Lecture Notes in Computer Science.

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Roy Sterritt, Walter Truszkowski, Harold L. Hallock, 2007, NASA Monographs in Systems and Software Engineering.

FAABS 2000: Formal Approaches to Agent-Based Systems

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2001 .

Swarms in Space Missions

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

A formal approach to requirements-based programming

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Ground Autonomy Evolution

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

Leveraging Emergent Ontologies in the Intelligence Community

Christopher A. Rouff, Brian P. Kettler, James Starz, 2008, OIC.

NASA's Swarm Missions: The Challenge of Building Autonomous Software

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, IT Prof..

Introduction to the Second Special Section on the DARPA Urban Grand Challenge

Christopher A. Rouff, 2008, J. Aerosp. Comput. Inf. Commun..

Enabling requirements-based programming for highly-dependable complex parallel and distributed systems

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005 .

Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems

Roy Sterritt, Christopher A. Rouff, James L. Rash, 2005 .

UsingFormalMethods andAgent-Oriented Software Engineering forModeling NASASwarm-Based Systems

Christopher A. Rouff, Michael G. Hinchey, Joaquin PenaandAntonio Ruiz-Cortes, 2007 .

Autonomous and agent technology in future space missions

Christopher A. Rouff, 2003, 2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652).

Autonomous and Autonomic Swarms

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Software Engineering Research and Practice.

ACS Without an Attitude

Harold L. Hallock, Christopher A. Rouff, David G. Simpson, 2017, NASA Monographs in Systems and Software Engineering.

Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing

Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

Core Technologies for Developing Autonomous and Autonomic Systems

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

Swarms and Swarm Intelligence

Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, 2007, Computer.

Asteroid exploration with autonomic systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

A cooperative mission development environment for crossplatform integration

Christopher A. Rouff, Mary Ann Robbert, Christian Burkhardt, 1997, SAC '97.

Workshop on Radical Agent Concepts (WRAC)

Roy Sterritt, Michael G. Hinchey, Christopher A. Rouff, 2005 .

Overview of Flight and Ground Software

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2012, Conquering Complexity.

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers

Christopher A. Rouff, James L. Rash, Diana F. Gordon, 2001 .

Progressive Autonomy - An Incremental Agent-based Approach

Mike Rilee, Walter Truszkowski, Christopher A. Rouff, 2005, Software Engineering Research and Practice.

Workshop on formal specification of user interfaces (abstract)

Christopher A. Rouff, 1995, CHI '95.

Flight Autonomy Evolution

Roy Sterritt, Walt Truszkowski, Harold L. Hallock, 2010 .

Properties of a formal method for prediction of emergent behaviors in swarm-based systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2005 .

Formal requirements-based programming for complex systems

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Verifying large numbers of cooperating adaptive agents

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Detecting Emergence in Social Networks

Christopher A. Rouff, Peter P. Haglich, Laura Pullum, 2010, 2010 IEEE Second International Conference on Social Computing.

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2013 .

An Intelligent Agent for Testing Distributed Agent-based Systems

Lockheed Martin, Christopher A. Rouff, Suk C. Lee, 2008 .

Autonomic Management of Space Missions. Chapter 12

Roy Sterritt, Michael G. Hinchey, Christopher A. Rouff, 2006 .

Towards Formal Specification and Generation of Autonomic Policies

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, EUC Workshops.

Towards an automated development methodology for dependable systems with application to sensor networks

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005..

Memetic Engineering as a Basis for Learning in Robotic Communities

Christopher A. Rouff, Walter F. Truszkowski, Mohammad H. Akhavannik, 2014 .

Developing Software for NASA Missions in the New Millennia

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2004 .

A test agent for testing agents and their communities

Christopher A. Rouff, C. Rouff, 2002, Proceedings, IEEE Aerospace Conference.

Autonomicity of NASA Missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Second International Conference on Autonomic Computing (ICAC'05).

Autonomy in Future Space Missions

Christopher A. Rouff, 2002 .

You can’t get there from here! Problems and potential solutions in developing new classes of complex computer systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2008, 2008 International Multiconference on Computer Science and Information Technology.

A requirements-based programming approach to developing a NASA autonomous ground control system

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2006, Artificial Intelligence Review.

Verification of NASA emergent systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

Completing and Adapting Models of Biological Processes

Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2006, BICC.

Software engineering and swarm-based systems

Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, 2006, International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

Robot Memetics: A Space Exploration Perspective

Edward Tunstel, Walt Truszkowski, Christopher A. Rouff, 2020 .

The AdaptiV approach to verification of adaptive systems

Richard W. Buskens, Christopher A. Rouff, Michael G. Hinchey, 2012, C3S2E '12.

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

Antonio Ruiz Cortés, Christopher A. Rouff, Michael G. Hinchey, 2009, Software & Systems Modeling.

Self*- Properties in NASA Mission

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Software Engineering Research and Practice.

Agent Technology from a Formal Perspective

Christopher A. Rouff, James L. Rash, Walter F. Truszkowski, 2006 .

Achieving dependability in sensor networks through automated requirements-based programming

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2006, Comput. Commun..

Experience using formal methods for specifying a multi-agent system

Christopher A. Rouff, James L. Rash, M. G. Hinchey, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

Experience from the DARPA Urban Challenge

Christopher A. Rouff, Mike Hinchey, 2011 .

Swarm Technology at NASA: Building Resilient Systems

Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, 2012, IT Professional.

Spectrum of Robots

Edward Tunstel, Walt Truszkowski, Christopher A. Rouff, 2020 .

Agent-Based Spacecraft Autonomy Design Concepts

Roy Sterritt, Harold L. Hallock, Christopher A. Rouff, 2010 .

Formal approaches to intelligent swarms

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..

Mars Settlement Scenario

Edward Tunstel, Walt Truszkowski, Christopher A. Rouff, 2020 .

Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2004 .

Formal Methods for Autonomic and Swarm-based Systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2004, ISoLA.

Challenges of Developing New Classes of NASA Self-Managing Missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)

Walt Truszkowski, Christopher A. Rouff, James L. Rash, 2004 .

Verification of Adaptive Systems

Richard W. Buskens, Christopher A. Rouff, Michael G. Hinchey, 2012, Infotech@Aerospace.

Modeling space systems with the Data Systems Dynamic Simulator Plus

Christopher A. Rouff, P. Message, 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

Intelligence in Future NASA Swarm-based Missions

Christopher A. Rouff, C. Rouff, 2007, AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems.

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

A Tool for Requirements-Based Programming

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2005 .

Experiences applying formal approaches in the development of swarm-based space exploration systems

Walter Truszkowski, Christopher A. Rouff, James L. Rash, 2006, International Journal on Software Tools for Technology Transfer.

Sustainable and autonomic space exploration missions

Roy Sterritt, Christopher A. Rouff, James L. Rash, 2006, 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06).

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

Antonio Ruiz Cortés, Christopher A. Rouff, Michael G. Hinchey, 2007, 2007 IEEE Swarm Intelligence Symposium.

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, Trans. SDPS.

Freeform Command and Control of Robotic Platforms

Lockheed Martin, Paul Scerri, Christopher A. Rouff, 2010 .

Developing the cooperative mission development environment

Christopher A. Rouff, Mary Ann Robbert, 1997, GROUP '97.

Introduction to Formal Methods

Jonathan P. Bowen, Christopher A. Rouff, Mike Hinchey, 2006 .

Next generation system and software architectures: Challenges from future NASA exploration missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2006, Sci. Comput. Program..

Progressive autonomy: a method for gradually introducing autonomy into space missions

Mike Rilee, Walter Truszkowski, Christopher A. Rouff, 2005, Innovations in Systems and Software Engineering.

Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system

Christopher A. Rouff, James L. Rash, Denis Gracanin, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Sustainable space exploration missions

Roy Sterritt, Christopher A. Rouff, Mike Hinchey, 2009 .

Systems of Systems Verification

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2005 .

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September ... Papers (Lecture Notes in Computer Science)

Roy Sterritt, Michael G. Hinchey, Christopher A. Rouff, 2007 .

Modeling the LOGOS Multi-Agent System with CSP

Christopher A. Rouff, Mike Hinchey, 2001 .

Some Verification Issues at NASA Goddard Space Flight Center

Christopher A. Rouff, James L. Rash, Michael G. Hinchey, 2005, VSTTE.

Detecting Emergent Behaviors with Semi-Boolean Algebra

Laura L. Pullum, Christopher A. Rouff, Peter P. Haglich, 2010, AIAA Infotech@Aerospace 2010.

A process for introducing agent technology into Space missions

Christopher A. Rouff, W. Truszkowski, 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).

Testing and Monitoring Intelligent Agents

Christopher A. Rouff, C. Rouff, 2002, WRAC.

Formal Approaches to Agent-Based Systems

James, James, Christopher A. Rouff, 2004, Lecture Notes in Computer Science.

Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers

Christopher A. Rouff, James L. Rash, Mike Hinchey, 2000 .

Towards Autonomic Management of NASA Missions

Roy Sterritt, Walter Truszkowski, Christopher A. Rouff, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies

Salim Hariri, Roy Sterritt, Christopher A. Rouff, 2021, 2021 IEEE International Conference on Cyber Security and Resilience (CSR).