Christopher A. Rouff

Lanier A. Watkins

Found. Trends Priv. Secur., 2022

2021

SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2017

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

[BibT_eX]

[DOI]

Proceedings of the 12th Annual Conference on Cyber and Information Security Research, 2017

ACS Without an Attitude

[BibT_eX]

[DOI]

NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-4471-7325-0, 2017

2012

Swarm Technology at NASA: Building Resilient Systems.

[BibT_eX]

[DOI]

IT Prof., 2012

Verification of Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

The <i>AdaptiV</i> approach to verification of adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

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

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

2010

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

[BibT_eX]

[DOI]

NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-84628-233-1, 2010

Detecting Emergence in Social Networks.

[BibT_eX]

[DOI]

Peter Haglich

Laura Pullum

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

2008

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

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2008

Leveraging Emergent Ontologies in the Intelligence Community.

[BibT_eX]

[DOI]

Proceedings of the Towards Effective Exploitation and Integration of Intelligence Resources, 2008

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

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007

Introduction: DARPA Urban Grand Challenge.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2007

Swarms and Swarm Intelligence.

[BibT_eX]

[DOI]

Roy Sterritt

Computer, 2007

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

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Swarm Intelligence Symposium, 2007

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

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Intelligence in Future NASA Swarm-based Missions.

[BibT_eX]

[DOI]

Proceedings of the Regarding the Intelligence in Distributed Intelligent Systems, 2007

2006

Autonomous and autonomic systems: a paradigm for future space exploration missions.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2006

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Achieving dependability in sensor networks through automated requirements-based programming.

[BibT_eX]

[DOI]

Comput. Commun., 2006

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

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2006

Enhanced Requirements-Based Programming for Embedded Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Completing and Adapting Models of Biological Processes.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Cooperative Computing, 2006

Software engineering and swarm-based systems.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

2005

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

[BibT_eX]

[DOI]

Trans. SDPS, 2005

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

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2005

Some Verification Issues at NASA Goddard Space Flight Center.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Progressive Autonomy - An Incremental Agent-based Approach.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Self*- Properties in NASA Mission.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Autonomous and Autonomic Swarms.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

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

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Performance Computing and Communications Conference, 2005

Verifying Large Numbers of Cooperating Adaptive Agents.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Towards Autonomic Management of NASA Missions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Challenges of Developing New Classes of NASA Self-Managing Missions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Formal Requirements-Based Programming for Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Autonomicity of NASA Missions.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Requirements of an integrated formal method for intelligent swarms.

[BibT_eX]

[DOI]

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Towards Formal Specification and Generation of Autonomic Policies.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

A Formal Approach to Requirements-Based Programming.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

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

[BibT_eX]

[DOI]

IT Prof., 2004

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Methods for Autonomic and Swarm-based Systems.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Verification of Nasa Emergent Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Asteroid Exploration with Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Verification of Emergent Behaviors in Swarm-based Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Formal Approaches to Intelligent Swarms.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002

Testing and Monitoring Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

2000

Experience Using Formal Methods for Specifying a Multi-Agent System.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1997

A cooperative mission development environment for crossplatform integration.

[BibT_eX]

[DOI]

Mary Ann Robbert

Christian Burkhardt

Proceedings of the 1997 ACM symposium on Applied Computing, 1997

Developing the cooperative mission development environment.

[BibT_eX]

[DOI]

Mary Ann Robbert

Proceedings of GROUP'97, 1997

1996

Formal specification of user interfaces.

[BibT_eX]

[DOI]

ACM SIGCHI Bull., 1996

1995

Workshop on formal specification of user interfaces (abstract).

[BibT_eX]

[DOI]